Skip to content
Coq Build

Added Relations example (over types), with individual structures for … #17

Sign in to view logs

Added Relations example (over types), with individual structures for …

Added Relations example (over types), with individual structures for … #17

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (8.14, default)
1m 54s
build (8.15, default)
1m 46s
build (8.16, default)
2m 21s
build (8.17, default)
2m 13s
build (8.18, default)
2m 0s
build (dev, default)
1m 53s
12m 7s