Skip to content

Merge branch 'main' of github.com:control-toolbox/CTModels.jl #32

Merge branch 'main' of github.com:control-toolbox/CTModels.jl

Merge branch 'main' of github.com:control-toolbox/CTModels.jl #32

Workflow file for this run

# [.github/workflows/coverage.yml]
name: coverage
on:
push:
branches:
- main
tags: '*'
jobs:
test:
uses: control-toolbox/CTActions/.github/workflows/coverage.yml@main