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
362 workflow runs
362 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Polarity search functionality docker-ci-for-pr #221: Pull request #1208 synchronize by Eric-C-Hall
March 19, 2024 11:59 59m 54s develop
develop
March 19, 2024 11:59 59m 54s
Minor fix & updates to probability materials docker-ci-for-pr #219: Pull request #1214 synchronize by binghe
March 19, 2024 00:50 59m 53s binghe:probability.fixes
binghe:probability.fixes
March 19, 2024 00:50 59m 53s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #218: Pull request #1210 synchronize by someplaceguy
March 18, 2024 17:41 1h 1m 47s someplaceguy:u/divmod
someplaceguy:u/divmod
March 18, 2024 17:41 1h 1m 47s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #217: Pull request #1210 synchronize by someplaceguy
March 18, 2024 17:21 1h 1m 11s someplaceguy:u/divmod
someplaceguy:u/divmod
March 18, 2024 17:21 1h 1m 11s
Minor fix & updates to probability materials docker-ci-for-pr #216: Pull request #1214 synchronize by binghe
March 18, 2024 12:23 1h 2m 13s binghe:probability.fixes
binghe:probability.fixes
March 18, 2024 12:23 1h 2m 13s
Minor fix & updates to probability materials docker-ci-for-pr #215: Pull request #1214 opened by binghe
March 18, 2024 03:44 1h 0m 18s binghe:probability.fixes
binghe:probability.fixes
March 18, 2024 03:44 1h 0m 18s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #214: Pull request #1210 synchronize by someplaceguy
March 17, 2024 12:09 1h 1m 30s someplaceguy:u/divmod
someplaceguy:u/divmod
March 17, 2024 12:09 1h 1m 30s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #213: Pull request #1210 synchronize by someplaceguy
March 17, 2024 12:01 1h 0m 22s someplaceguy:u/divmod
someplaceguy:u/divmod
March 17, 2024 12:01 1h 0m 22s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #212: Pull request #1210 synchronize by someplaceguy
March 15, 2024 12:03 1h 0m 48s someplaceguy:u/divmod
someplaceguy:u/divmod
March 15, 2024 12:03 1h 0m 48s
Better diagnose syntax problems in inductive definitions with double implications docker-ci-for-pr #211: Pull request #1213 opened by mrichards30
March 15, 2024 07:00 1h 0m 0s mrichards30:feature/inductive-definition-errors
mrichards30:feature/inductive-definition-errors
March 15, 2024 07:00 1h 0m 0s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #210: Pull request #1210 synchronize by someplaceguy
March 14, 2024 17:25 1h 1m 15s someplaceguy:u/divmod
someplaceguy:u/divmod
March 14, 2024 17:25 1h 1m 15s
[lambda] Boehm_out_lemma (Proposition 10.3.7 (i) [1, p.248]) docker-ci-for-pr #209: Pull request #1212 opened by binghe
March 14, 2024 08:13 59m 9s binghe:Boehm_out_lemma
binghe:Boehm_out_lemma
March 14, 2024 08:13 59m 9s
Updated HOL Description (more math-related contents) docker-ci-for-pr #208: Pull request #1211 opened by binghe
March 13, 2024 12:03 59m 38s binghe:Description.updates
binghe:Description.updates
March 13, 2024 12:03 59m 38s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #207: Pull request #1210 synchronize by someplaceguy
March 12, 2024 14:55 1h 3m 2s someplaceguy:u/divmod
someplaceguy:u/divmod
March 12, 2024 14:55 1h 3m 2s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #206: Pull request #1210 synchronize by someplaceguy
March 12, 2024 14:03 1h 2m 28s someplaceguy:u/divmod
someplaceguy:u/divmod
March 12, 2024 14:03 1h 2m 28s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #205: Pull request #1210 opened by someplaceguy
March 12, 2024 13:36 1h 1m 31s someplaceguy:u/divmod
someplaceguy:u/divmod
March 12, 2024 13:36 1h 1m 31s
Polarity search functionality docker-ci-for-pr #204: Pull request #1208 opened by Eric-C-Hall
March 11, 2024 11:33 1m 40s develop
develop
March 11, 2024 11:33 1m 40s
HolSmt: add support for num type, fix proof replay, build smtheap docker-ci-for-pr #203: Pull request #1206 opened by someplaceguy
March 10, 2024 03:47 59m 33s someplaceguy:u/num
someplaceguy:u/num
March 10, 2024 03:47 59m 33s
[lambda] Boehm_transform_exists_lemma (Lemma 10.3.6 (ii) [1, p.247]) docker-ci-for-pr #202: Pull request #1205 synchronize by binghe
March 9, 2024 02:51 1h 0m 48s binghe:Boehm_transform_exists_lemma
binghe:Boehm_transform_exists_lemma
March 9, 2024 02:51 1h 0m 48s
[lambda] Boehm_transform_exists_lemma (Lemma 10.3.6 (ii) [1, p.247]) docker-ci-for-pr #201: Pull request #1205 opened by binghe
March 8, 2024 05:00 1h 3m 4s binghe:Boehm_transform_exists_lemma
binghe:Boehm_transform_exists_lemma
March 8, 2024 05:00 1h 3m 4s
add WF_PULL to relationTheory docker-ci-for-pr #200: Pull request #1204 synchronize by Gordon-Sau
March 6, 2024 07:25 59m 14s Gordon-Sau:WF_PULL
Gordon-Sau:WF_PULL
March 6, 2024 07:25 59m 14s
add WF_PULL to relationTheory docker-ci-for-pr #199: Pull request #1204 synchronize by Gordon-Sau
March 6, 2024 06:30 3m 4s Gordon-Sau:WF_PULL
Gordon-Sau:WF_PULL
March 6, 2024 06:30 3m 4s
add WF_PULL to relationTheory docker-ci-for-pr #198: Pull request #1204 synchronize by Gordon-Sau
March 6, 2024 06:26 1m 37s Gordon-Sau:WF_PULL
Gordon-Sau:WF_PULL
March 6, 2024 06:26 1m 37s
add WF_PULL to relationTheory docker-ci-for-pr #197: Pull request #1204 opened by Gordon-Sau
March 6, 2024 06:16 1m 40s Gordon-Sau:WF_PULL
Gordon-Sau:WF_PULL
March 6, 2024 06:16 1m 40s
add few finite map theorems docker-ci-for-pr #196: Pull request #1202 synchronize by rsoeldner
February 29, 2024 09:52 1h 1m 10s rsoeldner:rsoeldner/finite-map-addition
rsoeldner:rsoeldner/finite-map-addition
February 29, 2024 09:52 1h 1m 10s