Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1322 from rsoeldner/json-accessors docker-ci #578: Commit a62035f pushed by konrad-slind
October 14, 2024 21:24 2h 14m 55s develop
develop
October 14, 2024 21:24 2h 14m 55s
Cleanup character-encoding, TABs and trailing whitespace in Json docker-ci #577: Commit 9ee2f86 pushed by mn200
October 13, 2024 23:26 2h 14m 21s develop
develop
October 13, 2024 23:26 2h 14m 21s
Bare bones JSON parser and prettyprinter. docker-ci #576: Commit 09787b0 pushed by konrad-slind
October 12, 2024 08:19 2h 10m 40s develop
develop
October 12, 2024 08:19 2h 10m 40s
Incremental progress towards equivalence of regular languages docker-ci #575: Commit f594dd7 pushed by konrad-slind
October 12, 2024 08:17 2h 10m 39s develop
develop
October 12, 2024 08:17 2h 10m 39s
DESCRIPTION: index "modern syntax" docker-ci #574: Commit 03e6a40 pushed by mn200
October 11, 2024 06:01 2h 8m 21s develop
develop
October 11, 2024 06:01 2h 8m 21s
cv translator: allow known fun types in ctors docker-ci #573: Commit 4d1b164 pushed by mn200
October 11, 2024 00:11 2h 7m 28s master
master
October 11, 2024 00:11 2h 7m 28s
Add cv support for finite sets of nums (#1318) docker-ci #572: Commit daa2bab pushed by mn200
October 10, 2024 00:27 2h 10m 10s develop
develop
October 10, 2024 00:27 2h 10m 10s
cv translator: allow known fun types in ctors docker-ci #571: Commit 4d1b164 pushed by xrchz
October 9, 2024 12:54 2h 15m 11s develop
develop
October 9, 2024 12:54 2h 15m 11s
Document our current .dat format docker-ci #570: Commit 8554cee pushed by mn200
October 9, 2024 10:02 1h 55m 55s develop
develop
October 9, 2024 10:02 1h 55m 55s
[emacs-mode] enable yas-snippets for holscript mode more readily docker-ci #569: Commit 6b163b4 pushed by mn200
October 4, 2024 06:35 1h 57m 28s develop
develop
October 4, 2024 06:35 1h 57m 28s
Add proofs about clock for fun-op-sem/imp (#1310) docker-ci #568: Commit 277f6ad pushed by mn200
October 4, 2024 04:19 1h 57m 36s master
master
October 4, 2024 04:19 1h 57m 36s
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