Skip to content
Scala CI

Merge pull request #765 from viperproject/meilers_silicon_seq_set_axioms #778

Sign in to view logs

Merge pull request #765 from viperproject/meilers_silicon_seq_set_axioms

Merge pull request #765 from viperproject/meilers_silicon_seq_set_axioms #778

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (windows-latest, 11)
5m 36s
test (ubuntu-latest, 11)
4m 1s
test (macos-latest, 11)
6m 34s
16m 11s