Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
904 workflow runs
904 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[cheatsheet] Attempt to regenerate cheatsheet automatically docker-ci-for-pr #561: Pull request #1390 opened by hrutvik
January 26, 2025 23:01 2h 1m 58s auto-regen-cheatsheet
auto-regen-cheatsheet
January 26, 2025 23:01 2h 1m 58s
Cheatsheet fixes docker-ci #708: Commit 0d03901 pushed by mn200
January 24, 2025 01:37 2h 1m 46s develop
develop
January 24, 2025 01:37 2h 1m 46s
Move LT_EXISTS and LE_EXISTS theorems to arithmetic only docker-ci #707: Commit 33fff86 pushed by mn200
January 23, 2025 23:34 2h 1m 16s develop
develop
January 23, 2025 23:34 2h 1m 16s
[ltree] More supporting theorems for rose trees docker-ci-for-pr #560: Pull request #1389 opened by binghe
January 23, 2025 05:32 2h 0m 4s binghe:ltree_enrich
binghe:ltree_enrich
January 23, 2025 05:32 2h 0m 4s
Fix a Moscow ML compilation error from recent changes docker-ci #706: Commit 6c4ef89 pushed by mn200
January 23, 2025 03:49 2h 6m 11s develop
develop
January 23, 2025 03:49 2h 6m 11s
Finish (?) refactoring of theory-reading code docker-ci #705: Commit 8f3db54 pushed by mn200
January 23, 2025 00:32 2h 0m 29s develop
develop
January 23, 2025 00:32 2h 0m 29s
Include files that should have appeared in previous commit docker-ci #704: Commit 77c1bc8 pushed by mn200
January 23, 2025 00:02 2m 37s develop
develop
January 23, 2025 00:02 2m 37s
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