Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
833 workflow runs
833 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove a number of theorems about list$adjacent docker-ci #558: Commit e1640d9 pushed by mn200
September 30, 2024 04:49 2h 4m 42s master
master
September 30, 2024 04:49 2h 4m 42s
Add some entries to DESCRIPTION's index docker-ci #557: Commit 202feca pushed by mn200
September 30, 2024 04:37 1h 59m 41s develop
develop
September 30, 2024 04:37 1h 59m 41s
Remove some HOL88 quoting from a .doc file docker-ci #556: Commit c453c8a pushed by mn200
September 30, 2024 01:41 1h 58m 24s develop
develop
September 30, 2024 01:41 1h 58m 24s
Zero-terminated repl v2 docker-ci #555: Commit 8397f82 pushed by mn200
September 30, 2024 00:17 1h 58m 57s develop
develop
September 30, 2024 00:17 1h 58m 57s
Zero-terminated repl v2 docker-ci-for-pr #399: Pull request #1314 synchronize by digama0
September 29, 2024 03:48 1h 58m 34s digama0:zterm
digama0:zterm
September 29, 2024 03:48 1h 58m 34s
Zero-terminated repl v2 docker-ci-for-pr #398: Pull request #1314 opened by digama0
September 29, 2024 03:12 1h 55m 5s digama0:zterm
digama0:zterm
September 29, 2024 03:12 1h 55m 5s
Prove a number of theorems about list$adjacent docker-ci #554: Commit e1640d9 pushed by mn200
September 27, 2024 00:52 1h 59m 53s develop
develop
September 27, 2024 00:52 1h 59m 53s
Build real heap on top of core HOL heap (saving some time) docker-ci #553: Commit 938c94e pushed by mn200
September 26, 2024 07:17 1h 59m 50s develop
develop
September 26, 2024 07:17 1h 59m 50s
more context lines on failure docker-ci #552: Commit 2b7b84f pushed by mn200
September 26, 2024 01:49 1h 59m 18s develop
develop
September 26, 2024 01:49 1h 59m 18s
more context lines on failure docker-ci-for-pr #397: Pull request #1312 opened by digama0
September 25, 2024 15:29 2h 1m 30s digama0:more_lines
digama0:more_lines
September 25, 2024 15:29 2h 1m 30s
Add tracing kernel docker-ci-for-pr #396: Pull request #1309 synchronize by digama0
September 25, 2024 13:03 2m 32s digama0:trknl
digama0:trknl
September 25, 2024 13:03 2m 32s
Add more primitive proof rules docker-ci #551: Commit 72a01e7 pushed by mn200
September 25, 2024 04:28 1h 57m 18s master
master
September 25, 2024 04:28 1h 57m 18s
add an extra 0 for initial prompt docker-ci #550: Commit 19ebd25 pushed by mn200
September 25, 2024 02:05 1h 56m 31s develop
develop
September 25, 2024 02:05 1h 56m 31s
Zero-terminated REPL docker-ci-for-pr #395: Pull request #1311 synchronize by digama0
September 24, 2024 23:22 1h 59m 1s digama0:zterm
digama0:zterm
September 24, 2024 23:22 1h 59m 1s
Zero-terminated REPL docker-ci-for-pr #394: Pull request #1311 opened by digama0
September 24, 2024 21:21 1h 54m 9s digama0:zterm
digama0:zterm
September 24, 2024 21:21 1h 54m 9s
Remove mutability from theorem proof field docker-ci-for-pr #393: Pull request #1307 synchronize by digama0
September 24, 2024 16:01 1h 15m 35s digama0:proof_ref
digama0:proof_ref
September 24, 2024 16:01 1h 15m 35s
Add tracing kernel docker-ci-for-pr #392: Pull request #1309 synchronize by digama0
September 23, 2024 23:42 2m 18s digama0:trknl
digama0:trknl
September 23, 2024 23:42 2m 18s
Add tracing kernel docker-ci-for-pr #391: Pull request #1309 synchronize by digama0
September 23, 2024 23:26 2m 33s digama0:trknl
digama0:trknl
September 23, 2024 23:26 2m 33s
Add more primitive proof rules docker-ci #549: Commit 72a01e7 pushed by mn200
September 23, 2024 23:08 1h 57m 20s develop
develop
September 23, 2024 23:08 1h 57m 20s
Remove mutability from theorem proof field docker-ci-for-pr #390: Pull request #1307 synchronize by digama0
September 23, 2024 15:03 1h 17m 28s digama0:proof_ref
digama0:proof_ref
September 23, 2024 15:03 1h 17m 28s
Fix errors caused by generated names docker-ci #548: Commit 04bef39 pushed by mn200
September 23, 2024 05:13 2h 0m 28s develop
develop
September 23, 2024 05:13 2h 0m 28s
Remove pauses in configure script docker-ci #547: Commit c7ca762 pushed by mn200
September 23, 2024 00:24 2h 0m 40s develop
develop
September 23, 2024 00:24 2h 0m 40s
Fixes to opentheory build docker-ci #546: Commit 859de11 pushed by mn200
September 23, 2024 00:24 1h 58m 21s develop
develop
September 23, 2024 00:24 1h 58m 21s
Fixed some obvious issues in Emacs related files docker-ci #545: Commit 0ee9368 pushed by mn200
September 23, 2024 00:23 2h 1m 12s develop
develop
September 23, 2024 00:23 2h 1m 12s
Report error locations on unhandled exceptions docker-ci #544: Commit 8094199 pushed by mn200
September 23, 2024 00:21 2h 4m 2s develop
develop
September 23, 2024 00:21 2h 4m 2s