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

Monoid theory moved from examples/algebra to src/algebra (core library) docker-ci-for-pr #246: Pull request #1224 synchronize by binghe
April 23, 2024 00:31 53m 34s binghe:monoidTheory
binghe:monoidTheory
April 23, 2024 00:31 53m 34s
Monoid theory moved from examples/algebra to src/algebra (core library) docker-ci-for-pr #245: Pull request #1224 synchronize by binghe
April 21, 2024 19:07 1h 5m 38s binghe:monoidTheory
binghe:monoidTheory
April 21, 2024 19:07 1h 5m 38s
Monoid theory moved from examples/algebra to src/algebra (core library) docker-ci-for-pr #244: Pull request #1224 synchronize by binghe
April 21, 2024 18:19 1h 5m 42s binghe:monoidTheory
binghe:monoidTheory
April 21, 2024 18:19 1h 5m 42s
Monoid theory moved from examples/algebra to src/algebra (core library) docker-ci-for-pr #243: Pull request #1224 opened by binghe
April 21, 2024 18:17 53m 10s binghe:monoidTheory
binghe:monoidTheory
April 21, 2024 18:17 53m 10s
Rework IN_CONV implementation docker-ci-for-pr #242: Pull request #1223 opened by acjf3
April 18, 2024 13:59 1h 3m 37s acjf3:in_conv
acjf3:in_conv
April 18, 2024 13:59 1h 3m 37s
cv translator docker-ci-for-pr #241: Pull request #1217 synchronize by mn200
April 16, 2024 05:21 1h 4m 37s cv_translator
cv_translator
April 16, 2024 05:21 1h 4m 37s
cv translator docker-ci-for-pr #240: Pull request #1217 synchronize by hrutvik
April 11, 2024 23:04 1h 2m 4s cv_translator
cv_translator
April 11, 2024 23:04 1h 2m 4s
cv translator docker-ci-for-pr #239: Pull request #1217 synchronize by hrutvik
April 11, 2024 22:24 19m 45s cv_translator
cv_translator
April 11, 2024 22:24 19m 45s
cv translator docker-ci-for-pr #238: Pull request #1217 synchronize by hrutvik
April 11, 2024 22:13 4m 30s cv_translator
cv_translator
April 11, 2024 22:13 4m 30s
cv translator docker-ci-for-pr #237: Pull request #1217 synchronize by myreen
April 11, 2024 05:37 4m 33s cv_translator
cv_translator
April 11, 2024 05:37 4m 33s
cv translator docker-ci-for-pr #236: Pull request #1217 synchronize by myreen
April 11, 2024 03:05 4m 28s cv_translator
cv_translator
April 11, 2024 03:05 4m 28s
cv translator docker-ci-for-pr #235: Pull request #1217 synchronize by myreen
April 11, 2024 02:16 23m 45s cv_translator
cv_translator
April 11, 2024 02:16 23m 45s
Move q_set from real_sigmaTheory to the new real_of_ratTheory docker-ci-for-pr #234: Pull request #1219 synchronize by binghe
April 9, 2024 10:26 1h 1m 29s binghe:real_of_rat.q_set
binghe:real_of_rat.q_set
April 9, 2024 10:26 1h 1m 29s
Move q_set from real_sigmaTheory to the new real_of_ratTheory docker-ci-for-pr #233: Pull request #1219 opened by binghe
April 9, 2024 07:15 1h 2m 16s binghe:real_of_rat.q_set
binghe:real_of_rat.q_set
April 9, 2024 07:15 1h 2m 16s
cv translator docker-ci-for-pr #232: Pull request #1217 synchronize by myreen
April 6, 2024 03:45 1h 18m 30s cv_translator
cv_translator
April 6, 2024 03:45 1h 18m 30s
cv translator docker-ci-for-pr #231: Pull request #1217 synchronize by myreen
April 4, 2024 02:23 5h 1m 2s cv_translator
cv_translator
April 4, 2024 02:23 5h 1m 2s
cv translator docker-ci-for-pr #230: Pull request #1217 synchronize by myreen
April 4, 2024 02:10 4h 16m 9s cv_translator
cv_translator
April 4, 2024 02:10 4h 16m 9s
EXTENSIONAL and RESTRICTION ported from HOL-Light docker-ci-for-pr #229: Pull request #1216 synchronize by binghe
March 27, 2024 03:28 59m 1s binghe:RESTRICTION
binghe:RESTRICTION
March 27, 2024 03:28 59m 1s
cv translator docker-ci-for-pr #228: Pull request #1217 synchronize by hrutvik
March 26, 2024 14:36 4h 52m 52s cv_translator
cv_translator
March 26, 2024 14:36 4h 52m 52s
cv translator docker-ci-for-pr #227: Pull request #1217 opened by hrutvik
March 26, 2024 13:04 1m 38s cv_translator
cv_translator
March 26, 2024 13:04 1m 38s
HolSmt: implement div and mod, fix proof replay, fix translation docker-ci-for-pr #226: Pull request #1210 synchronize by someplaceguy
March 25, 2024 14:35 1h 2m 3s someplaceguy:u/divmod
someplaceguy:u/divmod
March 25, 2024 14:35 1h 2m 3s
More arguments for newtypeTools.rich_new_type docker-ci-for-pr #225: Pull request #1215 synchronize by binghe
March 23, 2024 06:38 59m 48s binghe:newtypeTools.rich_new_type
binghe:newtypeTools.rich_new_type
March 23, 2024 06:38 59m 48s
EXTENSIONAL and RESTRICTION ported from HOL-Light docker-ci-for-pr #224: Pull request #1216 opened by binghe
March 22, 2024 04:34 59m 3s binghe:RESTRICTION
binghe:RESTRICTION
March 22, 2024 04:34 59m 3s
More arguments for newtypeTools.rich_new_type docker-ci-for-pr #223: Pull request #1215 opened by binghe
March 22, 2024 02:06 1h 0m 7s binghe:newtypeTools.rich_new_type
binghe:newtypeTools.rich_new_type
March 22, 2024 02:06 1h 0m 7s
Minor fix & updates to probability materials docker-ci-for-pr #222: Pull request #1214 synchronize by binghe
March 20, 2024 03:57 1h 0m 28s binghe:probability.fixes
binghe:probability.fixes
March 20, 2024 03:57 1h 0m 28s