Skip to content
CI

Merge pull request #156 from formal-methods-mpi/databaseexample #321

Sign in to view logs

Merge pull request #156 from formal-methods-mpi/databaseexample

Merge pull request #156 from formal-methods-mpi/databaseexample #321

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Documentation
2m 30s
Julia 1.6 - ubuntu-latest - x64 - push
1m 30s
Julia 1.9 - ubuntu-latest - x64 - push
1m 17s
Julia nightly - ubuntu-latest - x64 - push
1m 20s
6m 37s