Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci.yml
477 workflow runs
477 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add proofs about clock for fun-op-sem/imp (#1310) docker-ci #567: Commit 277f6ad pushed by mn200
October 3, 2024 07:36 2h 2m 21s develop
develop
October 3, 2024 07:36 2h 2m 21s
Reinstate old behaviour when rewrites compete docker-ci #566: Commit 4ee759f pushed by mn200
October 3, 2024 06:31 1h 59m 47s develop
develop
October 3, 2024 06:31 1h 59m 47s
Fix hol-mode.sml references broken by 73921f89dd6 docker-ci #565: Commit d17a401 pushed by mn200
October 3, 2024 06:12 2h 0m 19s develop
develop
October 3, 2024 06:12 2h 0m 19s
Move editor support code into tools/editor-modes docker-ci #564: Commit 73921f8 pushed by mn200
October 2, 2024 07:23 1h 58m 33s develop
develop
October 2, 2024 07:23 1h 58m 33s
[emacs-mode] force ∀ and ∃ to be syntax class "punctuation" docker-ci #563: Commit b8219c4 pushed by mn200
October 2, 2024 04:21 1h 58m 57s develop
develop
October 2, 2024 04:21 1h 58m 57s
Document IgnAsm & NoAsms in DESCRIPTION; mention in release notes docker-ci #562: Commit f109565 pushed by mn200
October 2, 2024 03:18 1h 57m 18s master
master
October 2, 2024 03:18 1h 57m 18s
Document IgnAsm & NoAsms in DESCRIPTION; mention in release notes docker-ci #561: Commit f109565 pushed by mn200
October 1, 2024 05:38 1h 59m 26s develop
develop
October 1, 2024 05:38 1h 59m 26s
Add some entries to DESCRIPTION's index docker-ci #560: Commit 202feca pushed by mn200
October 1, 2024 05:02 1h 55m 38s master
master
October 1, 2024 05:02 1h 55m 38s
zero-repl: ensure all commands in block are processed docker-ci #559: Commit 966ae67 pushed by mn200
October 1, 2024 00:34 1h 57m 10s develop
develop
October 1, 2024 00:34 1h 57m 10s
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
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
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
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
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
Add definition of r-partite graphs and in particular bipartite graphs… docker-ci #543: Commit 9043f61 pushed by mn200
September 13, 2024 01:04 1h 59m 19s develop
develop
September 13, 2024 01:04 1h 59m 19s