Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
890 workflow runs
890 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor more theory-reading code docker-ci #703: Commit 41e0bdc pushed by mn200
January 22, 2025 23:51 2m 18s develop
develop
January 22, 2025 23:51 2m 18s
Clean up stringScript.sml further docker-ci #702: Commit ec5d0e6 pushed by mn200
January 22, 2025 01:26 2h 4m 7s develop
develop
January 22, 2025 01:26 2h 4m 7s
[lambda] agree_upto_thm docker-ci #701: Commit 8ae9192 pushed by mn200
January 21, 2025 22:54 2h 0m 34s develop
develop
January 21, 2025 22:54 2h 0m 34s
Remove some more adjoin_to* (from pairScript.sml) docker-ci #700: Commit 5c11317 pushed by mn200
January 21, 2025 22:34 2h 5m 36s master
master
January 21, 2025 22:34 2h 5m 36s
[lambda] agree_upto_thm docker-ci-for-pr #559: Pull request #1388 opened by binghe
January 21, 2025 13:19 2h 1m 47s binghe:agree_upto_thm
binghe:agree_upto_thm
January 21, 2025 13:19 2h 1m 47s
Remove some more adjoin_to* (from pairScript.sml) docker-ci #699: Commit 5c11317 pushed by mn200
January 20, 2025 23:56 2h 0m 46s develop
develop
January 20, 2025 23:56 2h 0m 46s
fix linebreak in holindex if rule exceeds line length docker-ci-for-pr #558: Pull request #1387 opened by rsoeldner
January 20, 2025 19:29 2h 1m 3s rsoeldner:fix-holindex-rule
rsoeldner:fix-holindex-rule
January 20, 2025 19:29 2h 1m 3s
Continue to refactor TheoryReader code docker-ci #698: Commit 09f9535 pushed by mn200
January 19, 2025 23:11 2h 1m 38s master
master
January 19, 2025 23:11 2h 1m 38s
Continue to refactor TheoryReader code docker-ci #697: Commit 09f9535 pushed by mn200
January 16, 2025 22:31 2h 4m 38s develop
develop
January 16, 2025 22:31 2h 4m 38s
Refactor theory-reading API docker-ci #696: Commit d2fbffc pushed by mn200
January 15, 2025 23:12 2h 2m 18s develop
develop
January 15, 2025 23:12 2h 2m 18s
sigma protocol docker-ci-for-pr #557: Pull request #1386 opened by rm720
January 12, 2025 01:19 2h 0m 5s rm720:sigma-protocol
rm720:sigma-protocol
January 12, 2025 01:19 2h 0m 5s
Sigma Protocol Theory docker-ci-for-pr #556: Pull request #1385 synchronize by rm720
January 11, 2025 09:35 2h 6m 15s rm720:develop
rm720:develop
January 11, 2025 09:35 2h 6m 15s
Sigma Protocol Theory docker-ci-for-pr #555: Pull request #1385 opened by rm720
January 11, 2025 09:16 2h 3m 3s rm720:develop
rm720:develop
January 11, 2025 09:16 2h 3m 3s
Hilbert axioms and geometry theorems docker-ci-for-pr #554: Pull request #1384 opened by lizdoki
January 10, 2025 02:20 3h 21m 30s lizdoki:develop
lizdoki:develop
January 10, 2025 02:20 3h 21m 30s
Remove some uses of Theory.adjoin* docker-ci #695: Commit defd113 pushed by mn200
January 9, 2025 04:03 2h 14m 47s master
master
January 9, 2025 04:03 2h 14m 47s
Remove some uses of Theory.adjoin* docker-ci #694: Commit defd113 pushed by mn200
January 8, 2025 00:50 2h 14m 56s develop
develop
January 8, 2025 00:50 2h 14m 56s
[lambda] remove non-standard is_ready'; move equivalent_def, etc. out… docker-ci #693: Commit da2d9a2 pushed by mn200
January 7, 2025 22:36 2h 13m 30s master
master
January 7, 2025 22:36 2h 13m 30s
Update INCLUDES-lines in formal-languages/regular's Holmakefile docker-ci #692: Commit e0c9e4e pushed by mn200
January 6, 2025 23:02 2h 11m 45s master
master
January 6, 2025 23:02 2h 11m 45s
Tweak cheatsheet generation docker-ci-for-pr #553: Pull request #1382 synchronize by hrutvik
January 6, 2025 19:13 2h 13m 30s hrutvik:cheatsheet-pandoc-tweaks
hrutvik:cheatsheet-pandoc-tweaks
January 6, 2025 19:13 2h 13m 30s
Tweak cheatsheet generation docker-ci-for-pr #552: Pull request #1382 opened by hrutvik
January 6, 2025 17:55 2h 16m 48s hrutvik:cheatsheet-pandoc-tweaks
hrutvik:cheatsheet-pandoc-tweaks
January 6, 2025 17:55 2h 16m 48s
[lambda] remove non-standard is_ready'; move equivalent_def, etc. out… docker-ci #691: Commit da2d9a2 pushed by mn200
January 6, 2025 05:41 2h 15m 39s develop
develop
January 6, 2025 05:41 2h 15m 39s
Update INCLUDES-lines in formal-languages/regular's Holmakefile docker-ci #690: Commit e0c9e4e pushed by mn200
January 3, 2025 21:23 2h 13m 34s develop
develop
January 3, 2025 21:23 2h 13m 34s
Extract "Boehm_construction" from the proof of subtree_equiv_lemma docker-ci-for-pr #551: Pull request #1381 synchronize by binghe
January 1, 2025 11:31 2h 13m 46s binghe:Boehm_construction
binghe:Boehm_construction
January 1, 2025 11:31 2h 13m 46s
Extract "Boehm_construction" from the proof of subtree_equiv_lemma docker-ci-for-pr #550: Pull request #1381 opened by binghe
January 1, 2025 00:59 2h 11m 21s binghe:Boehm_construction
binghe:Boehm_construction
January 1, 2025 00:59 2h 11m 21s
Start on state minimization docker-ci #689: Commit bb77ef0 pushed by konrad-slind
December 30, 2024 19:00 2h 10m 47s develop
develop
December 30, 2024 19:00 2h 10m 47s