Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci-for-pr

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci-for-pr.yml
12 workflow run results
12 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
extreal_baseTheory (in src/real) docker-ci-for-pr #49: Pull request #1128 synchronize by binghe
July 20, 2023 10:34 1h 18m 58s binghe:extreal_base
binghe:extreal_base
July 20, 2023 10:34 1h 18m 58s
extreal_baseTheory (in src/real) docker-ci-for-pr #48: Pull request #1128 opened by binghe
July 20, 2023 09:46 38m 29s binghe:extreal_base
binghe:extreal_base
July 20, 2023 09:46 38m 29s