Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement basic regex search functionality for DB.find (#1246) docker-ci #478: Commit ec5eda5 pushed by mn200
July 11, 2024 06:00 1h 51m 23s develop
develop
July 11, 2024 06:00 1h 51m 23s
HolSmt: add tests for real division docker-ci #477: Commit a9ff443 pushed by mn200
July 11, 2024 05:59 1h 57m 46s develop
develop
July 11, 2024 05:59 1h 57m 46s
Added COUNTABLE_LIST_UNIV, etc.; Fixed CARD_COUNTABLE_CONG, etc. docker-ci #476: Commit 9a1bdaf pushed by mn200
July 11, 2024 05:58 1h 51m 23s develop
develop
July 11, 2024 05:58 1h 51m 23s
Get help/src-sml to build again after 7c55b699b9714 docker-ci #475: Commit a004768 pushed by mn200
July 3, 2024 02:11 1h 54m 9s master
master
July 3, 2024 02:11 1h 54m 9s
Get help/src-sml to build again after 7c55b699b9714 docker-ci #474: Commit a004768 pushed by mn200
July 2, 2024 04:05 1h 54m 17s develop
develop
July 2, 2024 04:05 1h 54m 17s
DES properties added (#1264) docker-ci #473: Commit 1bdff85 pushed by mn200
July 2, 2024 00:50 1h 57m 29s develop
develop
July 2, 2024 00:50 1h 57m 29s
FTBFS boehmTheory (due to code merging issue) docker-ci #472: Commit fd9093e pushed by mn200
July 2, 2024 00:46 1h 54m 2s develop
develop
July 2, 2024 00:46 1h 54m 2s
Remove more THENLs docker-ci #471: Commit 9650cff pushed by mn200
July 1, 2024 02:02 1h 56m 31s master
master
July 1, 2024 02:02 1h 56m 31s
Remove more THENLs docker-ci #470: Commit 9650cff pushed by mn200
June 29, 2024 20:01 1h 54m 5s develop
develop
June 29, 2024 20:01 1h 54m 5s
Add NOT_AND' (|- ~(~t /\ t)) to BOOL_ss (in addition to NOT_AND: |- ~… docker-ci #469: Commit 8939159 pushed by mn200
June 28, 2024 10:53 2h 2m 5s develop
develop
June 28, 2024 10:53 2h 2m 5s
Fix a failure to generate sufficient fresh names in one_line_ify docker-ci #468: Commit ee366f3 pushed by mn200
June 28, 2024 10:51 2h 6m 19s develop
develop
June 28, 2024 10:51 2h 6m 19s
Remove some unicode docker-ci #467: Commit 493fc3f pushed by mn200
June 20, 2024 00:54 2h 2m 17s master
master
June 20, 2024 00:54 2h 2m 17s
Remove some unicode docker-ci #466: Commit 493fc3f pushed by mn200
June 18, 2024 04:19 2h 1m 8s develop
develop
June 18, 2024 04:19 2h 1m 8s
Move NUM_FLOOR/NUM_CEILING to realaxTheory (#1256) docker-ci #465: Commit 04f56f8 pushed by mn200
June 18, 2024 04:09 2h 4m 18s master
master
June 18, 2024 04:09 2h 4m 18s
Move NUM_FLOOR/NUM_CEILING to realaxTheory (#1256) docker-ci #464: Commit 04f56f8 pushed by mn200
June 17, 2024 06:18 2h 7m 1s develop
develop
June 17, 2024 06:18 2h 7m 1s
[release-notes] document change to numLib.prefer_num docker-ci #463: Commit 212343b pushed by mn200
June 17, 2024 02:10 2h 2m 3s develop
develop
June 17, 2024 02:10 2h 2m 3s
Remove some uses of >> for THEN1 docker-ci #462: Commit 12a868b pushed by mn200
June 16, 2024 09:03 2h 10m 32s master
master
June 16, 2024 09:03 2h 10m 32s
Remove some uses of >> for THEN1 docker-ci #461: Commit 12a868b pushed by mn200
June 16, 2024 05:44 2h 1m 34s develop
develop
June 16, 2024 05:44 2h 1m 34s
Fixed C++ compilation failure of zc2hs on macOS docker-ci #460: Commit 3972bf8 pushed by mn200
June 15, 2024 02:22 2h 1m 18s develop
develop
June 15, 2024 02:22 2h 1m 18s
Minor updates to powr_def (more friendly as rewriting rules) docker-ci #459: Commit e087c0b pushed by mn200
June 14, 2024 04:59 2h 3m 21s master
master
June 14, 2024 04:59 2h 3m 21s
Minor updates to powr_def (more friendly as rewriting rules) docker-ci #458: Commit e087c0b pushed by mn200
June 12, 2024 23:46 2h 4m 45s develop
develop
June 12, 2024 23:46 2h 4m 45s
Avoid calling tailrec_define on non-recursive definitions docker-ci #457: Commit ce28fb9 pushed by mn200
June 12, 2024 23:44 2h 16m 0s develop
develop
June 12, 2024 23:44 2h 16m 0s
itree weak bisimulation up to finite taus (#1253) docker-ci #456: Commit 94e5570 pushed by mn200
June 12, 2024 23:43 2h 2m 11s develop
develop
June 12, 2024 23:43 2h 2m 11s
Updated CCS example docker-ci #455: Commit 2d2cddf pushed by mn200
June 11, 2024 00:34 2h 1m 18s master
master
June 11, 2024 00:34 2h 1m 18s
Updated CCS example docker-ci #454: Commit 2d2cddf pushed by mn200
June 6, 2024 23:22 2h 9m 1s develop
develop
June 6, 2024 23:22 2h 9m 1s