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

Removed wrongly committed dead code docker-ci #528: Commit 0619699 pushed by mn200
September 2, 2024 01:40 1h 57m 31s develop
develop
September 2, 2024 01:40 1h 57m 31s
Infinite-dimensional Borel space docker-ci #527: Commit 6b42bd1 pushed by mn200
September 2, 2024 01:38 2h 9m 18s develop
develop
September 2, 2024 01:38 2h 9m 18s
Update des_propScript.sml docker-ci #526: Commit bfe9f78 pushed by mn200
September 2, 2024 01:37 2h 1m 29s develop
develop
September 2, 2024 01:37 2h 1m 29s
[emacs-mode] Fix error in detection of structures caused by previous docker-ci #525: Commit 0027639 pushed by mn200
August 30, 2024 04:56 1h 57m 34s master
master
August 30, 2024 04:56 1h 57m 34s
[emacs-mode] Fix error in detection of structures caused by previous docker-ci #524: Commit 0027639 pushed by mn200
August 29, 2024 06:24 2h 0m 31s develop
develop
August 29, 2024 06:24 2h 0m 31s
[examples/fun-op-sem] modernise syntax in SN for CBV λ-calc. proof docker-ci #523: Commit 993e2b7 pushed by mn200
August 29, 2024 03:49 2h 2m 25s develop
develop
August 29, 2024 03:49 2h 2m 25s
Fix aatgroup for the experimental kernel docker-ci #522: Commit de7fb61 pushed by mn200
August 29, 2024 03:48 2h 3m 14s master
master
August 29, 2024 03:48 2h 3m 14s
[emacs-mode] Fix modes to properly support modern Quote syntax docker-ci #521: Commit aaa51b3 pushed by mn200
August 29, 2024 02:33 2h 10m 1s develop
develop
August 29, 2024 02:33 2h 10m 1s
Fix aatgroup for the experimental kernel docker-ci #520: Commit de7fb61 pushed by mn200
August 27, 2024 23:57 2h 1m 37s develop
develop
August 27, 2024 23:57 2h 1m 37s
Transfer more theorems to "groups as a type" docker-ci #519: Commit 2cb041d pushed by mn200
August 27, 2024 08:32 2h 5m 35s develop
develop
August 27, 2024 08:32 2h 5m 35s
Fixed statements of IN_MEASURABLE_BOREL_EL docker-ci #518: Commit 24c6103 pushed by mn200
August 24, 2024 01:49 2h 2m 10s develop
develop
August 24, 2024 01:49 2h 2m 10s
Fix a proof broken in the experimental kernel docker-ci #517: Commit 330e640 pushed by mn200
August 24, 2024 01:33 2h 2m 51s develop
develop
August 24, 2024 01:33 2h 2m 51s
Put algebras-as-types examples directory into regression sequence docker-ci #516: Commit ee92118 pushed by mn200
August 23, 2024 02:30 2h 9m 26s develop
develop
August 23, 2024 02:30 2h 9m 26s
FTBFS seqTheory docker-ci #515: Commit 7134b96 pushed by mn200
August 23, 2024 00:44 2h 2m 34s develop
develop
August 23, 2024 00:44 2h 2m 34s
Add missing export docker-ci #514: Commit 5fc7a60 pushed by mn200
August 22, 2024 02:33 2h 0m 23s master
master
August 22, 2024 02:33 2h 0m 23s
Add missing export docker-ci #513: Commit 5fc7a60 pushed by mn200
August 21, 2024 10:25 1h 58m 16s develop
develop
August 21, 2024 10:25 1h 58m 16s
Remove some unused code docker-ci #512: Commit 257a822 pushed by mn200
August 21, 2024 05:33 2h 0m 17s master
master
August 21, 2024 05:33 2h 0m 17s
Add l3-to-sail refinement proofs for 32bit load and store docker-ci #511: Commit b55f097 pushed by mn200
August 21, 2024 05:27 2h 0m 43s develop
develop
August 21, 2024 05:27 2h 0m 43s
Remove some unused code docker-ci #510: Commit 257a822 pushed by mn200
August 20, 2024 04:08 1h 58m 53s develop
develop
August 20, 2024 04:08 1h 58m 53s
some FUNPOW Tau and spin lemmas for itreeTau docker-ci #509: Commit a18a10a pushed by mn200
August 20, 2024 03:15 1h 58m 28s master
master
August 20, 2024 03:15 1h 58m 28s
some FUNPOW Tau and spin lemmas for itreeTau docker-ci #508: Commit a18a10a pushed by mn200
August 16, 2024 00:45 2h 3m 3s develop
develop
August 16, 2024 00:45 2h 3m 3s
Change addUDEdge to take set of nodes as edge argument docker-ci #507: Commit 201b945 pushed by mn200
August 15, 2024 03:24 2h 4m 0s master
master
August 15, 2024 03:24 2h 4m 0s
Update generic_graphs README for yesterday's change to addUDEdge docker-ci #506: Commit 866178e pushed by mn200
August 14, 2024 23:51 2h 22m 3s develop
develop
August 14, 2024 23:51 2h 22m 3s
Change addUDEdge to take set of nodes as edge argument docker-ci #505: Commit 201b945 pushed by mn200
August 14, 2024 10:40 2h 3m 56s develop
develop
August 14, 2024 10:40 2h 3m 56s
Fixes required by rename of generic_finite_graphs directory docker-ci #504: Commit 26d5df2 pushed by mn200
August 13, 2024 23:57 2h 0m 57s develop
develop
August 13, 2024 23:57 2h 0m 57s