Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
889 workflow runs
889 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[lambda] ltree_finite_BT_bnf (by ltree_finite_by_unfolding) docker-ci-for-pr #564: Pull request #1393 opened by binghe
February 8, 2025 08:19 2h 2m 6s binghe:ltree_finite_by_unfolding
binghe:ltree_finite_by_unfolding
February 8, 2025 08:19 2h 2m 6s
Tweak drule_all* so negated conclusions are not seen as implications docker-ci #720: Commit 8c4bb7e pushed by mn200
February 3, 2025 03:28 1h 59m 37s master
master
February 3, 2025 03:28 1h 59m 37s
Tweak drule_all* so negated conclusions are not seen as implications docker-ci #719: Commit 8c4bb7e pushed by mn200
January 31, 2025 04:26 2h 6m 11s develop
develop
January 31, 2025 04:26 2h 6m 11s
[cheatsheet] Two superficial fixes Regenerate tactic cheatsheet #2: Commit 83213aa pushed by mn200
January 31, 2025 04:25 46s master
master
January 31, 2025 04:25 46s
[cheatsheet] Two superficial fixes docker-ci #718: Commit 83213aa pushed by mn200
January 31, 2025 04:25 1h 58m 20s master
master
January 31, 2025 04:25 1h 58m 20s
[cheatsheet] Attempt to regenerate cheatsheet automatically docker-ci #717: Commit f1872be pushed by mn200
January 30, 2025 22:45 2h 0m 32s master
master
January 30, 2025 22:45 2h 0m 32s
Regenerate tactic cheatsheet Regenerate tactic cheatsheet #1: Manually run by mn200
January 30, 2025 22:39 43s develop
develop
January 30, 2025 22:39 43s
[cheatsheet] Two superficial fixes docker-ci #716: Commit 83213aa pushed by mn200
January 30, 2025 22:08 2h 2m 22s develop
develop
January 30, 2025 22:08 2h 2m 22s
[cheatsheet] Cheatsheet updates docker-ci-for-pr #563: Pull request #1391 opened by hrutvik
January 30, 2025 11:18 1h 59m 57s cheatsheet-updates
cheatsheet-updates
January 30, 2025 11:18 1h 59m 57s
[cheatsheet] Attempt to regenerate cheatsheet automatically docker-ci #715: Commit f1872be pushed by mn200
January 29, 2025 23:07 2h 4m 17s develop
develop
January 29, 2025 23:07 2h 4m 17s
[cheatsheet] Attempt to regenerate cheatsheet automatically docker-ci-for-pr #562: Pull request #1390 synchronize by hrutvik
January 29, 2025 20:44 2h 3m 36s auto-regen-cheatsheet
auto-regen-cheatsheet
January 29, 2025 20:44 2h 3m 36s
hilbert axioms and geometry theorems docker-ci #714: Commit cc77214 pushed by mn200
January 29, 2025 03:11 1h 58m 17s master
master
January 29, 2025 03:11 1h 58m 17s
Cheatsheet fixes docker-ci #713: Commit 0d03901 pushed by mn200
January 29, 2025 00:30 1h 53m 30s master
master
January 29, 2025 00:30 1h 53m 30s
Fix case of theory declared in hilbertScript.sml docker-ci #712: Commit c4bc6cd pushed by mn200
January 29, 2025 00:18 2h 0m 33s develop
develop
January 29, 2025 00:18 2h 0m 33s
hilbert axioms and geometry theorems docker-ci #711: Commit cc77214 pushed by mn200
January 28, 2025 23:44 2h 0m 59s develop
develop
January 28, 2025 23:44 2h 0m 59s
sigma protocol docker-ci #710: Commit f4e0b01 pushed by mn200
January 28, 2025 23:43 1h 59m 43s develop
develop
January 28, 2025 23:43 1h 59m 43s
[ltree] More supporting theorems for rose trees docker-ci #709: Commit 66f0c58 pushed by mn200
January 28, 2025 23:42 2h 2m 33s develop
develop
January 28, 2025 23:42 2h 2m 33s
[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