Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci.yml
692 workflow runs
692 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
quiet bare top level opens docker-ci #1458: Commit 1cb6081 pushed by mn200
2h 13m 14s develop
develop
2h 13m 14s
Fix isOnlyComments docker-ci #1457: Commit 8bfa052 pushed by mn200
2h 23m 8s develop
develop
2h 23m 8s
Fix statements of lameq_subterm_cong docker-ci #1456: Commit 49d0553 pushed by mn200
2h 19m 51s develop
develop
2h 19m 51s
Add PFT replay module docker-ci #1455: Commit e519ff8 pushed by mn200
2h 20m 29s develop
develop
2h 20m 29s
Fix nested suspense/resume proofs (#1923) docker-ci #1454: Commit 7f7569b pushed by mn200
2h 36m 3s develop
develop
2h 36m 3s
Don't change the navigation logic so much docker-ci #1453: Commit 5f6f73f pushed by mn200
2h 21m 21s develop
develop
2h 21m 21s
Get longcmdlock selftest to pass under Moscow ML docker-ci #1452: Commit 1d7b982 pushed by mn200
2h 35m 45s develop
develop
2h 35m 45s
Include new longcmdlock selftest for Holmake in std. sequence docker-ci #1451: Commit f439019 pushed by mn200
2h 20m 12s develop
develop
2h 20m 12s
Don't use long command filename for locks (#1921) docker-ci #1450: Commit 86a5d9b pushed by mn200
2h 18m 54s develop
develop
2h 18m 54s
Functional suspend/Resume (#1912) docker-ci #1449: Commit 602e639 pushed by mn200
2h 14m 50s develop
develop
2h 14m 50s
Start on work to remove large comments from *Theory.sig files docker-ci #1448: Commit 1ea272c pushed by mn200
2h 36m 13s develop
develop
2h 36m 13s
[emacs-mode] Provide add-unicode to pair w/remove-unicode; change keys docker-ci #1447: Commit 27b28d2 pushed by mn200
2h 14m 41s develop
develop
2h 14m 41s
Add support for Holmake building from a cache (#1911) docker-ci #1446: Commit e26190f pushed by mn200
2h 20m 42s develop
develop
2h 20m 42s
Avoid rebuilds based on mtime, using cachekey instead (#381, #1913) docker-ci #1445: Commit 1ad8b7e pushed by mn200
2h 16m 39s develop
develop
2h 16m 39s
Merge branch 'master' into develop docker-ci #1444: Commit 4186723 pushed by mn200
2h 20m 2s develop
develop
2h 20m 2s
patch no_sig_docs for asl-equiv docker-ci #1443: Commit 77fad20 pushed by mn200
2h 18m 52s master
master
2h 18m 52s
Remove some unnecessary dependencies on simpLib and boolSimps docker-ci #1442: Commit 01f9e7c pushed by mn200
2h 37m 24s develop
develop
2h 37m 24s
fix docker-ci #1441: Commit 0ec2719 pushed by mn200
2h 20m 57s develop
develop
2h 20m 57s
Use hol.state0 for our early tests docker-ci #1440: Commit a4dc9ce pushed by mn200
2h 25m 56s develop
develop
2h 25m 56s
Fix build_tns for possibly multiple elements in uns docker-ci #1439: Commit 915a1f4 pushed by mn200
2h 25m 56s develop
develop
2h 25m 56s
Correct error in latex-generation's write-up (s/horizontal/vertical) docker-ci #1438: Commit 7ea54e7 pushed by mn200
2h 13m 51s develop
develop
2h 13m 51s
Handle --thmsrc tr more gracefully on systems without Word64 docker-ci #1437: Commit 9356dcf pushed by mn200
2h 33m 54s develop
develop
2h 33m 54s
fix #1902 docker-ci #1436: Commit 2c00f95 pushed by mn200
2h 30m 24s develop
develop
2h 30m 24s
Adjust TeXification of f⦇..⦈ to use \ensuremath docker-ci #1435: Commit 3ea0810 pushed by mn200
2h 23m 12s develop
develop
2h 23m 12s
Fix mosml build in src/portableML/rawtheory docker-ci #1434: Commit e87a924 pushed by mn200
2h 37m 41s develop
develop
2h 37m 41s