Skip to content
CI

Merge pull request #152 from formal-methods-mpi/feature/dontrundoctest #313

Sign in to view logs

Merge pull request #152 from formal-methods-mpi/feature/dontrundoctest

Merge pull request #152 from formal-methods-mpi/feature/dontrundoctest #313

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Documentation
2m 39s
Julia 1.6 - ubuntu-latest - x64 - push
1m 23s
Julia 1.9 - ubuntu-latest - x64 - push
1m 9s
Julia nightly - ubuntu-latest - x64 - push
1m 23s
6m 34s