Skip to content
Build Isabelle/Set

feat(*) bump all dependencies; fix many (but not all) errors due to c… #103

Sign in to view logs

feat(*) bump all dependencies; fix many (but not all) errors due to c…

feat(*) bump all dependencies; fix many (but not all) errors due to c… #103

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
14m 42s
14m 42s