Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix OpenTheoryReader's compile errors in light of located_thms docker-ci #609: Commit a05c02a pushed by mn200
November 12, 2024 04:10 1h 18m 59s develop
develop
November 12, 2024 04:10 1h 18m 59s
fix broken links on cheatsheet docker-ci #608: Commit 6f94f13 pushed by mn200
November 11, 2024 22:44 1h 20m 30s develop
develop
November 11, 2024 22:44 1h 20m 30s
Set PPBackEnd to vt100_terminal when COLORTERM is defined docker-ci #607: Commit e7c167f pushed by mn200
November 11, 2024 01:26 1h 19m 36s develop
develop
November 11, 2024 01:26 1h 19m 36s
Merge branch 'located_thms' into develop docker-ci #606: Commit 45c4596 pushed by mn200
November 11, 2024 00:44 1h 17m 38s develop
develop
November 11, 2024 00:44 1h 17m 38s
Record a dependency in a Holmakefile docker-ci #605: Commit ffb2699 pushed by mn200
November 10, 2024 23:21 2h 8m 51s develop
develop
November 10, 2024 23:21 2h 8m 51s
Add pandoc flag to cheatsheet generation docker-ci #604: Commit 618f249 pushed by mn200
November 7, 2024 23:59 1h 12m 59s develop
develop
November 7, 2024 23:59 1h 12m 59s
Add a cute problem to examples/misc docker-ci #603: Commit 2de6b3c pushed by mn200
October 31, 2024 05:06 2h 9m 10s master
master
October 31, 2024 05:06 2h 9m 10s
Add a cute problem to examples/misc docker-ci #602: Commit 2de6b3c pushed by mn200
October 30, 2024 04:37 3h 31m 0s develop
develop
October 30, 2024 04:37 3h 31m 0s
mllex: write accepting branches in source order docker-ci #601: Commit a1ea6a0 pushed by mn200
October 30, 2024 03:56 2h 16m 37s master
master
October 30, 2024 03:56 2h 16m 37s
mllex: write accepting branches in source order docker-ci #600: Commit a1ea6a0 pushed by mn200
October 28, 2024 06:12 2h 17m 14s develop
develop
October 28, 2024 06:12 2h 17m 14s
Remove many TABs under tools/ docker-ci #599: Commit 5f7cdc6 pushed by mn200
October 28, 2024 06:09 2h 15m 36s develop
develop
October 28, 2024 06:09 2h 15m 36s
Strengthen conc_lemma and add language conversions to simp docker-ci #598: Commit b021270 pushed by mn200
October 28, 2024 01:05 2h 8m 21s develop
develop
October 28, 2024 01:05 2h 8m 21s
Allow passing .sig files to hol docker-ci #597: Commit f1aefbd pushed by mn200
October 28, 2024 00:30 2h 7m 22s develop
develop
October 28, 2024 00:30 2h 7m 22s
fix doc docker-ci #596: Commit d5d7697 pushed by mn200
October 28, 2024 00:24 2h 9m 35s develop
develop
October 28, 2024 00:24 2h 9m 35s
Revert "Make it apparent (with Poly/ML for now) that Arbint.int = Int… docker-ci #595: Commit d313757 pushed by mn200
October 28, 2024 00:03 2h 13m 20s develop
develop
October 28, 2024 00:03 2h 13m 20s
Provide toReal for Moscow ML Arb{int,num} docker-ci #594: Commit f7bb5bb pushed by mn200
October 27, 2024 23:54 1h 7m 35s develop
develop
October 27, 2024 23:54 1h 7m 35s
Don't attempt to compile src/portableML/JSON code under Moscow ML docker-ci #593: Commit 3ec6fe2 pushed by mn200
October 27, 2024 23:50 1h 11m 41s develop
develop
October 27, 2024 23:50 1h 11m 41s
Fix repl Holmakefile to run all tests; use diff -a docker-ci #592: Commit 8dd3e49 pushed by mn200
October 27, 2024 23:18 1h 42m 14s develop
develop
October 27, 2024 23:18 1h 42m 14s
A couple of useful theorems about NUM_CEILING docker-ci #591: Commit 4fe6a2a pushed by mn200
October 25, 2024 06:47 2h 14m 13s develop
develop
October 25, 2024 06:47 2h 14m 13s
Make it apparent (with Poly/ML for now) that Arbint.int = IntInf.int docker-ci #590: Commit e38b007 pushed by mn200
October 25, 2024 00:33 2h 15m 22s develop
develop
October 25, 2024 00:33 2h 15m 22s
- full proof of equiv between regular and finite state langs docker-ci #589: Commit 729e1b5 pushed by konrad-slind
October 24, 2024 07:40 2h 10m 12s develop
develop
October 24, 2024 07:40 2h 10m 12s
Avoid double computeLib entry for word_exp docker-ci #588: Commit 783678f pushed by xrchz
October 22, 2024 19:53 2h 5m 6s develop
develop
October 22, 2024 19:53 2h 5m 6s
Add a version of the SML/NJ JSON library to src/portableML docker-ci #587: Commit 35902c7 pushed by mn200
October 21, 2024 02:13 2h 5m 48s develop
develop
October 21, 2024 02:13 2h 5m 48s
Add some theorems to finite_setTheory (#1320) docker-ci #586: Commit 592eb5e pushed by mn200
October 16, 2024 11:24 2h 2m 41s develop
develop
October 16, 2024 11:24 2h 2m 41s
Move some theorems out of keccakScript.sml docker-ci #585: Commit f7ad0d9 pushed by mn200
October 16, 2024 02:34 2h 6m 20s develop
develop
October 16, 2024 02:34 2h 6m 20s