Skip to content
Nix CI for bundle 8.15

Cleanup and exports in set partitions #12

Sign in to view logs

Cleanup and exports in set partitions

Cleanup and exports in set partitions #12

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
12s
coq-combi
0s
12s