Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
179 workflow run results
179 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fermat docker-ci-for-pr #68: Pull request #1139 synchronize by jhlchan
August 16, 2023 13:08 1h 21m 23s jhlchan:fermat
jhlchan:fermat
August 16, 2023 13:08 1h 21m 23s
Fermat docker-ci-for-pr #67: Pull request #1139 synchronize by jhlchan
August 15, 2023 14:33 1h 23m 57s jhlchan:fermat
jhlchan:fermat
August 15, 2023 14:33 1h 23m 57s
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
Fermat docker-ci-for-pr #66: Pull request #1139 opened by jhlchan
August 15, 2023 01:22 1h 21m 12s jhlchan:fermat
jhlchan:fermat
August 15, 2023 01:22 1h 21m 12s
[fsgraph] Edge induction principle (fsg_edge_induction) docker-ci-for-pr #65: Pull request #1138 synchronize by binghe
August 14, 2023 13:14 1h 22m 30s binghe:fsg_edge_induction
binghe:fsg_edge_induction
August 14, 2023 13:14 1h 22m 30s
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
[fsgraph] Edge induction principle (fsg_edge_induction) docker-ci-for-pr #64: Pull request #1138 synchronize by binghe
August 13, 2023 19:13 45m 29s binghe:fsg_edge_induction
binghe:fsg_edge_induction
August 13, 2023 19:13 45m 29s
[fsgraph] Edge induction principle (fsg_edge_induction) docker-ci-for-pr #63: Pull request #1138 opened by binghe
August 13, 2023 17:48 1h 30m 44s binghe:fsg_edge_induction
binghe:fsg_edge_induction
August 13, 2023 17:48 1h 30m 44s
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
[fsgraph] fixed walk_def, etc. for trivial (single-vertex) walks docker-ci-for-pr #62: Pull request #1137 opened by binghe
August 10, 2023 23:13 1h 25m 11s binghe:walk_def.fix
binghe:walk_def.fix
August 10, 2023 23:13 1h 25m 11s
pairwiseN (pred_set) and pairwiseD (topology) docker-ci-for-pr #61: Pull request #1136 opened by binghe
August 10, 2023 22:39 1h 29m 33s binghe:pairwise.new
binghe:pairwise.new
August 10, 2023 22:39 1h 29m 33s
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
Promote HOL-Light's pairwise to pred_setTheory replacing the old one docker-ci-for-pr #60: Pull request #1135 opened by binghe
August 8, 2023 13:53 1h 30m 22s binghe:pairwise
binghe:pairwise
August 8, 2023 13:53 1h 30m 22s
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
Fix faults in a93d43e; extend tests to riscv_stepLib docker-ci #153: Commit 86b636c pushed by mn200
August 4, 2023 00:43 1h 33m 48s develop
develop
August 4, 2023 00:43 1h 33m 48s
remove unicode docker-ci #152: Commit 7c8e229 pushed by mn200
August 3, 2023 03:01 1h 35m 34s master
master
August 3, 2023 03:01 1h 35m 34s
Make l3-machine-code stepLibs more robust to external grammar change docker-ci #151: Commit a93d43e pushed by mn200
August 3, 2023 02:25 1h 35m 20s develop
develop
August 3, 2023 02:25 1h 35m 20s