Skip to content
Coq

Make whole sepapps canceling work when not all entries are evars #1258

Sign in to view logs

Make whole sepapps canceling work when not all entries are evars

Make whole sepapps canceling work when not all entries are evars #1258

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (8.17.0)
1h 22m 43s
build (master)
1h 20m 56s
2h 43m 39s