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

[examples/unification]: fix silly syntax errors in previous commits docker-ci #178: Commit 9795801 pushed by mn200
August 22, 2023 23:57 1h 25m 33s develop
develop
August 22, 2023 23:57 1h 25m 33s
Get close to tailcall-ification of unify algorithm docker-ci #177: Commit 6fd1cd2 pushed by mn200
August 22, 2023 23:54 1h 31m 36s master
master
August 22, 2023 23:54 1h 31m 36s
Modernise some syntax in unifDefScript.sml docker-ci #176: Commit 1b464b8 pushed by mn200
August 22, 2023 06:21 1h 22m 38s develop
develop
August 22, 2023 06:21 1h 22m 38s
Get close to tailcall-ification of unify algorithm docker-ci #175: Commit 6fd1cd2 pushed by mn200
August 21, 2023 07:16 1h 27m 4s develop
develop
August 21, 2023 07:16 1h 27m 4s
Initial work on making triangular unification tail-recursive docker-ci #174: Commit 1b35c01 pushed by mn200
August 21, 2023 07:00 1h 24m 7s master
master
August 21, 2023 07:00 1h 24m 7s
Initial work on making triangular unification tail-recursive docker-ci #173: Commit 1b35c01 pushed by mn200
August 18, 2023 07:45 1h 23m 54s develop
develop
August 18, 2023 07:45 1h 23m 54s
Fix dumb error in 43f2b1663 docker-ci #172: Commit 0f5d5e9 pushed by mn200
August 18, 2023 02:27 1h 32m 24s develop
develop
August 18, 2023 02:27 1h 32m 24s
Implement utility to generate "nice" list of type variables docker-ci #171: Commit 43f2b16 pushed by mn200
August 18, 2023 02:23 2m 58s develop
develop
August 18, 2023 02:23 2m 58s
Fix the proof of zagier_fix in experimental kernel. docker-ci #170: Commit c505f57 pushed by mn200
August 18, 2023 01:47 1h 32m 3s master
master
August 18, 2023 01:47 1h 32m 3s
Move disjoint_def to pred_setTheory with new proofs docker-ci #169: Commit edaa7fb pushed by mn200
August 18, 2023 01:00 1h 32m 58s develop
develop
August 18, 2023 01:00 1h 32m 58s
Modernise some ratScript.sml syntax docker-ci #168: Commit 357d6c4 pushed by mn200
August 17, 2023 07:02 1h 25m 1s master
master
August 17, 2023 07:02 1h 25m 1s
Fix the proof of zagier_fix in experimental kernel. docker-ci #167: Commit c505f57 pushed by mn200
August 17, 2023 06:53 46m 42s develop
develop
August 17, 2023 06:53 46m 42s
Modernise some ratScript.sml syntax docker-ci #166: Commit 357d6c4 pushed by mn200
August 15, 2023 05:21 1h 31m 39s develop
develop
August 15, 2023 05:21 1h 31m 39s
Some minor lemmas about the rationals and their RATN, RATD constants docker-ci #165: Commit 14a0af4 pushed by mn200
August 15, 2023 04:57 45m 5s develop
develop
August 15, 2023 04:57 45m 5s
[fsgraph] removed fsgAddEdge (using fsgAddEdges {e} instead) docker-ci #164: Commit 7d7a995 pushed by mn200
August 15, 2023 02:12 1h 29m 15s develop
develop
August 15, 2023 02:12 1h 29m 15s
Hide some markerTheory names that don't need to be user-visible docker-ci #163: Commit 6865a9c pushed by mn200
August 14, 2023 04:28 1h 23m 36s master
master
August 14, 2023 04:28 1h 23m 36s
Hide some markerTheory names that don't need to be user-visible docker-ci #162: Commit 6865a9c pushed by mn200
August 11, 2023 07:12 1h 26m 6s develop
develop
August 11, 2023 07:12 1h 26m 6s
Fix ratRingLib given 8726c99a4621 docker-ci #161: Commit 7165c1c pushed by mn200
August 11, 2023 07:01 1h 25m 14s master
master
August 11, 2023 07:01 1h 25m 14s
[Holmake] Revise HOL_LNSIGOBJ to not "link" selftest.{uo,ui} docker-ci #160: Commit 33ec7d9 pushed by mn200
August 11, 2023 02:46 1h 31m 48s develop
develop
August 11, 2023 02:46 1h 31m 48s
[fsgraph] Make trivial_{path,walk} results iff rewrites docker-ci #159: Commit cfe9ee0 pushed by mn200
August 11, 2023 00:37 1h 30m 12s develop
develop
August 11, 2023 00:37 1h 30m 12s
[fsgraph] open listTheory in script preamble docker-ci #158: Commit 7283d14 pushed by mn200
August 11, 2023 00:25 1h 26m 1s develop
develop
August 11, 2023 00:25 1h 26m 1s
[fsgraph] fixed walk_def, etc. for trivial (single-vertex) walks docker-ci #157: Commit 468a83a pushed by mn200
August 10, 2023 23:14 1h 25m 27s develop
develop
August 10, 2023 23:14 1h 25m 27s
Fix ratRingLib given 8726c99a4621 docker-ci #156: Commit 7165c1c pushed by mn200
August 10, 2023 00:28 1h 29m 1s develop
develop
August 10, 2023 00:28 1h 29m 1s
emacs-mode: add hol-unicode keybinding for lower-case kappa (κ) docker-ci #155: Commit 6933036 pushed by mn200
August 9, 2023 05:40 1h 22m 14s develop
develop
August 9, 2023 05:40 1h 22m 14s
Fix faults in a93d43e; extend tests to riscv_stepLib docker-ci #154: Commit 86b636c pushed by mn200
August 8, 2023 01:54 1h 23m 0s master
master
August 8, 2023 01:54 1h 23m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-08-08 or the other filters available.