Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci.yml
20 workflow run results
20 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix faults in a93d43e; extend tests to riscv_stepLib docker-ci #153: Commit 86b636c pushed by mn200
August 4, 2023 00:43 1h 33m 48s develop
develop
August 4, 2023 00:43 1h 33m 48s
remove unicode docker-ci #152: Commit 7c8e229 pushed by mn200
August 3, 2023 03:01 1h 35m 34s master
master
August 3, 2023 03:01 1h 35m 34s
Make l3-machine-code stepLibs more robust to external grammar change docker-ci #151: Commit a93d43e pushed by mn200
August 3, 2023 02:25 1h 35m 20s develop
develop
August 3, 2023 02:25 1h 35m 20s
remove unicode docker-ci #150: Commit 7c8e229 pushed by mn200
August 2, 2023 01:29 1h 29m 43s develop
develop
August 2, 2023 01:29 1h 29m 43s
Fixes after Num and Pair hidden docker-ci #149: Commit cd25f91 pushed by mn200
July 31, 2023 03:29 1h 21m 54s master
master
July 31, 2023 03:29 1h 21m 54s
Fixes after Num and Pair hidden docker-ci #148: Commit cd25f91 pushed by mn200
July 29, 2023 01:41 1h 29m 22s develop
develop
July 29, 2023 01:41 1h 29m 22s
Tweak cardinalTheory's def'ns of bijns+set_exp to mesh with permutes docker-ci #147: Commit d4726e9 pushed by mn200
July 28, 2023 12:16 1h 23m 1s develop
develop
July 28, 2023 12:16 1h 23m 1s
Promoted examples/vector/permutationTheory to permutesTheory in core … docker-ci #146: Commit 3edcbc7 pushed by mn200
July 28, 2023 06:49 1h 22m 35s master
master
July 28, 2023 06:49 1h 22m 35s
Fix a variety of documentation typos docker-ci #145: Commit d49ab30 pushed by mn200
July 28, 2023 06:46 1h 20m 52s develop
develop
July 28, 2023 06:46 1h 20m 52s
Promoted examples/vector/permutationTheory to permutesTheory in core … docker-ci #144: Commit 3edcbc7 pushed by mn200
July 25, 2023 23:56 1h 28m 36s develop
develop
July 25, 2023 23:56 1h 28m 36s
Purge unnecessary ind_type$NUMPAIR and friends; tidy cardinalTheory docker-ci #143: Commit 052afcf pushed by mn200
July 25, 2023 06:39 1h 24m 45s develop
develop
July 25, 2023 06:39 1h 24m 45s
Improved statements of is_int_thm docker-ci #142: Commit b449637 pushed by mn200
July 25, 2023 04:11 1h 24m 22s master
master
July 25, 2023 04:11 1h 24m 22s
Improved statements of is_int_thm docker-ci #141: Commit b449637 pushed by mn200
July 24, 2023 06:58 1h 20m 21s develop
develop
July 24, 2023 06:58 1h 20m 21s
Equivalence between ‘lim$differentiable’ and ‘derivative$differentiable’ docker-ci #140: Commit 5e1e2f4 pushed by mn200
July 24, 2023 06:56 1h 17m 20s develop
develop
July 24, 2023 06:56 1h 17m 20s
Merge pull request #1128 from binghe/extreal_base docker-ci #139: Commit ad5f77a pushed by mn200
July 24, 2023 00:06 1h 23m 51s develop
develop
July 24, 2023 00:06 1h 23m 51s
Fix OT quotient material docker-ci #138: Commit 410c5dc pushed by mn200
July 21, 2023 06:51 1h 18m 39s develop
develop
July 21, 2023 06:51 1h 18m 39s
Merge branch 'quotient-reloc' into develop docker-ci #137: Commit e5752ea pushed by mn200
July 20, 2023 22:54 1h 17m 9s develop
develop
July 20, 2023 22:54 1h 17m 9s
Some tweaks and optimisations in src/rational docker-ci #136: Commit 7a42bd7 pushed by mn200
July 20, 2023 22:50 1h 16m 15s develop
develop
July 20, 2023 22:50 1h 16m 15s
Added converge_LP (An equivalent definition using extreal_lim (ext_te… docker-ci #135: Commit 8f595ca pushed by mn200
July 20, 2023 03:57 43m 48s develop
develop
July 20, 2023 03:57 43m 48s
Renames in src/ring/src, freeing name "ring" for examples/algebra docker-ci #134: Commit 8726c99 pushed by mn200
July 19, 2023 12:14 34m 15s develop
develop
July 19, 2023 12:14 34m 15s