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

HOL-Light's INTEGER_TAC docker-ci-for-pr #271: Pull request #1238 synchronize by binghe
May 15, 2024 11:16 1h 59m 18s binghe:INTEGER_TAC
binghe:INTEGER_TAC
May 15, 2024 11:16 1h 59m 18s
HOL-Light's INTEGER_TAC docker-ci-for-pr #270: Pull request #1238 synchronize by binghe
May 15, 2024 05:23 1h 58m 5s binghe:INTEGER_TAC
binghe:INTEGER_TAC
May 15, 2024 05:23 1h 58m 5s
add lowercase rewrite tactics docker-ci-for-pr #269: Pull request #1239 opened by rsoeldner
May 13, 2024 17:43 1h 57m 19s rsoeldner:rsoeldner/rewrite-tacs-lowercase
rsoeldner:rsoeldner/rewrite-tacs-lowercase
May 13, 2024 17:43 1h 57m 19s
HOL-Light's INTEGER_TAC docker-ci-for-pr #268: Pull request #1238 synchronize by binghe
May 13, 2024 07:52 1h 50m 31s binghe:INTEGER_TAC
binghe:INTEGER_TAC
May 13, 2024 07:52 1h 50m 31s
HOL-Light's INTEGER_TAC docker-ci-for-pr #267: Pull request #1238 opened by binghe
May 13, 2024 07:45 1h 51m 26s binghe:INTEGER_TAC
binghe:INTEGER_TAC
May 13, 2024 07:45 1h 51m 26s
Combined group and ring theories from examples/algebra to core library docker-ci-for-pr #266: Pull request #1235 synchronize by binghe
May 13, 2024 04:51 1h 57m 0s binghe:ringTheory
binghe:ringTheory
May 13, 2024 04:51 1h 57m 0s
Add note to Dev. Manual to run cleanall docker-ci-for-pr #265: Pull request #1237 opened by rsoeldner
May 10, 2024 08:41 2h 0m 34s rsoeldner:rsoeldner/developers-manual-note
rsoeldner:rsoeldner/developers-manual-note
May 10, 2024 08:41 2h 0m 34s
add mk_bool docker-ci-for-pr #264: Pull request #1236 opened by rsoeldner
May 10, 2024 08:14 1h 58m 32s rsoeldner:rsoeldner/mk-bool
rsoeldner:rsoeldner/mk-bool
May 10, 2024 08:14 1h 58m 32s
Combined group and ring theories from examples/algebra to core library docker-ci-for-pr #263: Pull request #1235 opened by binghe
May 10, 2024 01:58 2h 2m 5s binghe:ringTheory
binghe:ringTheory
May 10, 2024 01:58 2h 2m 5s
Get Keccak hash function to evaluate fast using cv compute docker-ci-for-pr #262: Pull request #1234 opened by xrchz
May 9, 2024 20:54 1h 31m 26s keccak-cv
keccak-cv
May 9, 2024 20:54 1h 31m 26s
Make monadsyntax more aware of print depth docker-ci-for-pr #261: Pull request #1232 synchronize by hrutvik
May 8, 2024 09:27 1h 31m 56s monadsyntax-depth
monadsyntax-depth
May 8, 2024 09:27 1h 31m 56s
Make monadsyntax more aware of print depth docker-ci-for-pr #260: Pull request #1232 synchronize by hrutvik
May 7, 2024 13:59 1h 34m 54s monadsyntax-depth
monadsyntax-depth
May 7, 2024 13:59 1h 34m 54s
Make monadsyntax more aware of print depth docker-ci-for-pr #259: Pull request #1232 synchronize by hrutvik
May 7, 2024 13:15 1h 33m 34s monadsyntax-depth
monadsyntax-depth
May 7, 2024 13:15 1h 33m 34s
Make monadsyntax more aware of print depth docker-ci-for-pr #258: Pull request #1232 opened by hrutvik
May 4, 2024 11:25 20m 56s monadsyntax-depth
monadsyntax-depth
May 4, 2024 11:25 20m 56s
Fixing --otknl builds (up to hol-base.art in src/boss) docker-ci-for-pr #257: Pull request #1231 synchronize by binghe
May 3, 2024 14:01 1h 30m 8s binghe:hol-base.ot.fix
binghe:hol-base.ot.fix
May 3, 2024 14:01 1h 30m 8s
Fixing --otknl builds (up to hol-base.art in src/boss) docker-ci-for-pr #256: Pull request #1231 opened by binghe
May 3, 2024 13:47 1h 32m 51s binghe:hol-base.ot.fix
binghe:hol-base.ot.fix
May 3, 2024 13:47 1h 32m 51s
Monoid theory moved from examples/algebra to src/algebra (core library) docker-ci-for-pr #255: Pull request #1224 synchronize by binghe
May 3, 2024 03:33 1h 9m 36s binghe:monoidTheory
binghe:monoidTheory
May 3, 2024 03:33 1h 9m 36s
Monoid theory moved from examples/algebra to src/algebra (core library) docker-ci-for-pr #254: Pull request #1224 synchronize by binghe
May 3, 2024 01:47 1h 4m 16s binghe:monoidTheory
binghe:monoidTheory
May 3, 2024 01:47 1h 4m 16s
Updated Docker CI workflow docker-ci-for-pr #253: Pull request #1227 synchronize by binghe
April 30, 2024 08:49 1h 4m 3s binghe:docker-ci.mosml
binghe:docker-ci.mosml
April 30, 2024 08:49 1h 4m 3s
TRANS_TAC ported from HOL-Light (with improvements) docker-ci-for-pr #252: Pull request #1228 synchronize by binghe
April 28, 2024 02:56 1h 3m 37s binghe:TRANS_TAC
binghe:TRANS_TAC
April 28, 2024 02:56 1h 3m 37s
TRANS_TAC ported from HOL-Light (with improvements) docker-ci-for-pr #251: Pull request #1228 opened by binghe
April 27, 2024 03:03 1h 2m 37s binghe:TRANS_TAC
binghe:TRANS_TAC
April 27, 2024 03:03 1h 2m 37s
Updated Docker CI workflow docker-ci-for-pr #250: Pull request #1227 synchronize by binghe
April 25, 2024 11:13 1h 4m 18s binghe:docker-ci.mosml
binghe:docker-ci.mosml
April 25, 2024 11:13 1h 4m 18s
Monoid theory moved from examples/algebra to src/algebra (core library) docker-ci-for-pr #249: Pull request #1224 synchronize by binghe
April 25, 2024 10:46 1h 8m 47s binghe:monoidTheory
binghe:monoidTheory
April 25, 2024 10:46 1h 8m 47s
Updated Docker CI workflow docker-ci-for-pr #248: Pull request #1227 opened by binghe
April 25, 2024 08:52 1h 3m 27s binghe:docker-ci.mosml
binghe:docker-ci.mosml
April 25, 2024 08:52 1h 3m 27s
Monoid theory moved from examples/algebra to src/algebra (core library) docker-ci-for-pr #247: Pull request #1224 synchronize by binghe
April 23, 2024 01:21 1h 5m 35s binghe:monoidTheory
binghe:monoidTheory
April 23, 2024 01:21 1h 5m 35s