Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow run results
33 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
Add project work on iTrees (monads, exists/every, finite, paths) docker-ci-for-pr #59: Pull request #1130 synchronize by clairexhuang
July 31, 2023 02:12 1h 31m 27s clairexhuang:develop
clairexhuang:develop
July 31, 2023 02:12 1h 31m 27s
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
Add project work on iTrees (monads, exists/every, finite, paths) docker-ci-for-pr #58: Pull request #1130 synchronize by clairexhuang
July 27, 2023 00:49 2m 13s clairexhuang:develop
clairexhuang:develop
July 27, 2023 00:49 2m 13s
Make Arithconv use cv_compute docker-ci-for-pr #57: Pull request #1132 synchronize by myreen
July 26, 2023 11:09 1h 23m 41s cv_work
cv_work
July 26, 2023 11:09 1h 23m 41s
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
Promote examples/vector/permutationTheory to the core library docker-ci-for-pr #56: Pull request #1134 opened by binghe
July 25, 2023 22:16 1h 18m 26s binghe:permutesTheory
binghe:permutesTheory
July 25, 2023 22:16 1h 18m 26s
Make Arithconv use cv_compute docker-ci-for-pr #55: Pull request #1132 synchronize by myreen
July 25, 2023 08:05 6m 48s cv_work
cv_work
July 25, 2023 08:05 6m 48s
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
Make Arithconv use cv_compute docker-ci-for-pr #54: Pull request #1132 opened by myreen
July 24, 2023 11:29 2m 4s cv_work
cv_work
July 24, 2023 11:29 2m 4s
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
Add project work on iTrees (monads, exists/every, finite, paths) docker-ci-for-pr #53: Pull request #1130 opened by clairexhuang
July 24, 2023 02:41 2m 19s clairexhuang:develop
clairexhuang:develop
July 24, 2023 02:41 2m 19s
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
More properties of INT_FLOOR and INT_CEILING docker-ci-for-pr #52: Pull request #1129 synchronize by binghe
July 21, 2023 22:10 1h 24m 17s binghe:intrealTheory
binghe:intrealTheory
July 21, 2023 22:10 1h 24m 17s
More properties of INT_FLOOR and INT_CEILING docker-ci-for-pr #51: Pull request #1129 opened by binghe
July 21, 2023 21:09 45m 28s binghe:intrealTheory
binghe:intrealTheory
July 21, 2023 21:09 45m 28s
extreal_baseTheory (in src/real) docker-ci-for-pr #50: Pull request #1128 synchronize by binghe
July 21, 2023 08:37 1h 20m 0s binghe:extreal_base
binghe:extreal_base
July 21, 2023 08:37 1h 20m 0s