Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test more resumption/finalisation behaviours to do with attributes docker-ci #1273: Commit 097e68a pushed by mn200
2h 8m 49s develop
develop
2h 8m 49s
Tweak top-level README file docker-ci #1272: Commit 402a533 pushed by mn200
2h 9m 2s develop
develop
2h 9m 2s
More SML Int structure hackery docker-ci #1271: Commit 50aba70 pushed by mn200
2h 10m 18s develop
develop
2h 10m 18s
Fix regression test given change in f72738479 docker-ci #1270: Commit a78b117 pushed by mn200
2h 14m 35s develop
develop
2h 14m 35s
[emacs-mode] Extend M-h g to also start resumed goals docker-ci #1269: Commit 964552a pushed by mn200
2h 9m 24s develop
develop
2h 9m 24s
Attempt to work around type errors on CI images docker-ci #1268: Commit ec9441e pushed by mn200
1h 56m 4s develop
develop
1h 56m 4s
Restore hol buildheap documentation in Italian translation docker-ci #1267: Commit 26443a4 pushed by mn200
2h 13m 32s develop
develop
2h 13m 32s
[DESCRIPTION:] minor tweaks to suspend/resume subsection docker-ci #1266: Commit 214c184 pushed by mn200
2h 10m 51s develop
develop
2h 10m 51s
[DESCRIPTION:] Describe suspend/resume in new advanced tactics section docker-ci #1265: Commit eeb0ac0 pushed by mn200
2h 12m 6s develop
develop
2h 12m 6s
eliminate a few annoying usages of Raise docker-ci #1264: Commit e48b8e2 pushed by konrad-slind
2h 14m 26s develop
develop
2h 14m 26s
Fix PSL proof failure: move [simp] from LENGTH_FRONT to LENGTH_FRONT_… docker-ci #1263: Commit a0a5bc2 pushed by mn200
2h 29m 44s develop
develop
2h 29m 44s
Reorganise doc directory docker-ci #1262: Commit 66bae64 pushed by mn200
2h 15m 6s develop
develop
2h 15m 6s
termination_solve_simps: use ThmSetData API docker-ci #1261: Commit 041858f pushed by mn200
2h 16m 9s develop
develop
2h 16m 9s
Merge branch 'mcandidate' into develop docker-ci #1260: Commit bc3b2df pushed by mn200
2h 20m 25s develop
develop
2h 20m 25s
An update for change to MOD (and a new theorem too) docker-ci #1259: Commit 46bd0da pushed by mn200
2h 20m 3s master
master
2h 20m 3s
[emacs-mode]: Highlight and recognise Finalise as a keyword docker-ci #1258: Commit 8f4d170 pushed by mn200
2h 19m 27s develop
develop
2h 19m 27s
Remove some unnecessary lambdas docker-ci #1257: Commit 1e3df80 pushed by mn200
2h 20m 35s develop
develop
2h 20m 35s
Fix Moscow ML build for util directory reorganization docker-ci #1256: Commit 63b2cc9 pushed by mn200
2h 17m 24s develop
develop
2h 17m 24s
Add cv_rep theorem for FUNION on num fmaps docker-ci #1255: Commit 578a23f pushed by mn200
2h 18m 31s develop
develop
2h 18m 31s
Implement much of Resume keyword in modern syntax docker-ci #1254: Commit 95cc365 pushed by mn200
2h 20m 0s develop
develop
2h 20m 0s
Polish messages; handle multi-goals better in susp/resume tech docker-ci #1253: Commit 583d4cc pushed by mn200
2h 21m 36s develop
develop
2h 21m 36s
Sketch implementation of facility to handle script chunks docker-ci #1252: Commit ec2580f pushed by mn200
2h 19m 34s master
master
2h 19m 34s
Q_TAC0 now does finer analysis of failure docker-ci #1251: Commit 4e19ad4 pushed by konrad-slind
2h 23m 17s develop
develop
2h 23m 17s
Add documentation for note_tac docker-ci #1250: Commit 81b3e42 pushed by mn200
2h 18m 50s develop
develop
2h 18m 50s
Test that resumption steps can indeed call suspend themselves docker-ci #1249: Commit 7f9c769 pushed by mn200
2h 21m 22s develop
develop
2h 21m 22s