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

Add Keccak (SHA-3) docker-ci-for-pr #169: Pull request #1189 synchronize by xrchz
January 30, 2024 01:01 59m 55s rsoeldner:develop
rsoeldner:develop
January 30, 2024 01:01 59m 55s
Add Keccak (SHA-3) docker-ci-for-pr #168: Pull request #1189 opened by xrchz
January 30, 2024 00:40 1h 0m 48s rsoeldner:develop
rsoeldner:develop
January 30, 2024 00:40 1h 0m 48s
HolSmt: fix Z3 proof replay in real arithmetic with rational coefficients docker-ci-for-pr #167: Pull request #1188 synchronize by someplaceguy
January 26, 2024 21:43 1h 0m 11s someplaceguy:u/holsmt-real
someplaceguy:u/holsmt-real
January 26, 2024 21:43 1h 0m 11s
HolSmt: fix Z3 proof replay in real arithmetic with rational coefficients docker-ci-for-pr #166: Pull request #1188 opened by someplaceguy
January 26, 2024 02:50 1h 1m 11s someplaceguy:u/holsmt-real
someplaceguy:u/holsmt-real
January 26, 2024 02:50 1h 1m 11s
HolSmt: add some support for tuples and for the reals' min, max and abs docker-ci-for-pr #165: Pull request #1187 opened by someplaceguy
January 25, 2024 19:53 58m 58s someplaceguy:u/holsmt
someplaceguy:u/holsmt
January 25, 2024 19:53 58m 58s
[rich_list] Added IS_PREFIX_FINITE, etc. (The set of prefixes is finite) docker-ci-for-pr #164: Pull request #1184 synchronize by binghe
January 24, 2024 11:13 1h 0m 36s binghe:IS_PREFIX_FINITE
binghe:IS_PREFIX_FINITE
January 24, 2024 11:13 1h 0m 36s
HolSmt improvements docker-ci-for-pr #163: Pull request #1186 synchronize by someplaceguy
January 23, 2024 16:54 1h 0m 26s someplaceguy:u/holsmt-fixes
someplaceguy:u/holsmt-fixes
January 23, 2024 16:54 1h 0m 26s
HolSmt improvements docker-ci-for-pr #162: Pull request #1186 synchronize by someplaceguy
January 23, 2024 16:40 59m 27s someplaceguy:u/holsmt-fixes
someplaceguy:u/holsmt-fixes
January 23, 2024 16:40 59m 27s
HolSmt improvements docker-ci-for-pr #161: Pull request #1186 synchronize by someplaceguy
January 23, 2024 16:39 1h 1m 14s someplaceguy:u/holsmt-fixes
someplaceguy:u/holsmt-fixes
January 23, 2024 16:39 1h 1m 14s
HolSmt improvements docker-ci-for-pr #160: Pull request #1186 opened by someplaceguy
January 23, 2024 11:10 1h 1m 26s someplaceguy:u/holsmt-fixes
someplaceguy:u/holsmt-fixes
January 23, 2024 11:10 1h 1m 26s
Move legacy probability theories to examples docker-ci-for-pr #159: Pull request #1185 synchronize by binghe
January 22, 2024 09:46 1h 0m 35s binghe:probability.legacy
binghe:probability.legacy
January 22, 2024 09:46 1h 0m 35s
Move legacy probability theories to examples docker-ci-for-pr #158: Pull request #1185 synchronize by binghe
January 22, 2024 07:46 28m 27s binghe:probability.legacy
binghe:probability.legacy
January 22, 2024 07:46 28m 27s
Move legacy probability theories to examples docker-ci-for-pr #157: Pull request #1185 synchronize by binghe
January 22, 2024 06:26 31m 13s binghe:probability.legacy
binghe:probability.legacy
January 22, 2024 06:26 31m 13s
Move legacy probability theories to examples docker-ci-for-pr #156: Pull request #1185 opened by binghe
January 22, 2024 06:25 30m 54s binghe:probability.legacy
binghe:probability.legacy
January 22, 2024 06:25 30m 54s
[rich_list] Added IS_PREFIX_FINITE, etc. (The set of prefixes is finite) docker-ci-for-pr #155: Pull request #1184 opened by binghe
January 22, 2024 04:49 59m 4s binghe:IS_PREFIX_FINITE
binghe:IS_PREFIX_FINITE
January 22, 2024 04:49 59m 4s
Add a couple of sptree theorems docker-ci-for-pr #154: Pull request #1183 opened by xrchz
January 19, 2024 10:06 1h 1m 13s sptthms
sptthms
January 19, 2024 10:06 1h 1m 13s
Add chunks_def to rich_listTheory docker-ci-for-pr #153: Pull request #1182 opened by xrchz
January 19, 2024 07:27 59m 54s chunks
chunks
January 19, 2024 07:27 59m 54s
[lambda, CCS] "fromPairs" ported from CCS to lambda example docker-ci-for-pr #152: Pull request #1181 opened by binghe
January 19, 2024 00:44 59m 18s binghe:fromPairs
binghe:fromPairs
January 19, 2024 00:44 59m 18s
Updated Docker CI workflow with SMT solvers (HolSmt) docker-ci-for-pr #151: Pull request #1179 synchronize by binghe
January 16, 2024 23:24 59m 51s binghe:docker-ci-smt
binghe:docker-ci-smt
January 16, 2024 23:24 59m 51s
Updated Docker CI workflow with SMT solvers (HolSmt) docker-ci-for-pr #150: Pull request #1179 synchronize by binghe
January 16, 2024 23:23 1h 0m 1s binghe:docker-ci-smt
binghe:docker-ci-smt
January 16, 2024 23:23 1h 0m 1s
Fixed temporal_deep tests docker-ci-for-pr #149: Pull request #1180 opened by binghe
January 16, 2024 09:59 59m 55s binghe:mosml_examples
binghe:mosml_examples
January 16, 2024 09:59 59m 55s
Updated Docker CI workflow with SMT solvers (HolSmt) docker-ci-for-pr #148: Pull request #1179 synchronize by binghe
January 15, 2024 22:33 1h 0m 14s binghe:docker-ci-smt
binghe:docker-ci-smt
January 15, 2024 22:33 1h 0m 14s
Updated Docker CI workflow with SMT solvers (HolSmt) docker-ci-for-pr #147: Pull request #1179 opened by binghe
January 15, 2024 13:51 55m 40s binghe:docker-ci-smt
binghe:docker-ci-smt
January 15, 2024 13:51 55m 40s
Add to sptree compset docker-ci-for-pr #146: Pull request #1178 synchronize by xrchz
January 13, 2024 12:52 59m 3s sptcompute
sptcompute
January 13, 2024 12:52 59m 3s
Add to sptree compset docker-ci-for-pr #145: Pull request #1178 synchronize by xrchz
January 12, 2024 21:31 59m 33s sptcompute
sptcompute
January 12, 2024 21:31 59m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-01-12 or the other filters available.