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

Initial work on the theory of solvable terms docker-ci-for-pr #90: Pull request #1148 synchronize by binghe
September 28, 2023 07:41 1h 23m 40s binghe:solvableTheory
binghe:solvableTheory
September 28, 2023 07:41 1h 23m 40s
Initial work on the theory of solvable terms docker-ci-for-pr #89: Pull request #1148 synchronize by binghe
September 28, 2023 04:43 1h 36m 38s binghe:solvableTheory
binghe:solvableTheory
September 28, 2023 04:43 1h 36m 38s
Initial work on the theory of solvable terms docker-ci-for-pr #88: Pull request #1148 synchronize by binghe
September 27, 2023 06:59 1h 19m 42s binghe:solvableTheory
binghe:solvableTheory
September 27, 2023 06:59 1h 19m 42s
Initial work on the theory of solvable terms docker-ci-for-pr #87: Pull request #1148 opened by binghe
September 27, 2023 06:27 1h 34m 47s binghe:solvableTheory
binghe:solvableTheory
September 27, 2023 06:27 1h 34m 47s
Fermat docker-ci-for-pr #85: Pull request #1146 synchronize by jhlchan
September 25, 2023 08:53 1h 22m 7s jhlchan:fermat
jhlchan:fermat
September 25, 2023 08:53 1h 22m 7s
Fermat docker-ci-for-pr #84: Pull request #1146 synchronize by jhlchan
September 23, 2023 00:32 1h 22m 3s jhlchan:fermat
jhlchan:fermat
September 23, 2023 00:32 1h 22m 3s
Fermat docker-ci-for-pr #83: Pull request #1146 synchronize by jhlchan
September 23, 2023 00:13 1h 22m 59s jhlchan:fermat
jhlchan:fermat
September 23, 2023 00:13 1h 22m 59s
Fermat docker-ci-for-pr #82: Pull request #1146 synchronize by jhlchan
September 22, 2023 15:05 1h 20m 13s jhlchan:fermat
jhlchan:fermat
September 22, 2023 15:05 1h 20m 13s
Fermat docker-ci-for-pr #81: Pull request #1146 synchronize by jhlchan
September 22, 2023 03:30 1h 22m 37s jhlchan:fermat
jhlchan:fermat
September 22, 2023 03:30 1h 22m 37s
Fermat docker-ci-for-pr #80: Pull request #1146 synchronize by jhlchan
September 21, 2023 05:56 1h 29m 21s jhlchan:fermat
jhlchan:fermat
September 21, 2023 05:56 1h 29m 21s
Fixed duplicated theorems after the forbidden "rebinds" changes docker-ci-for-pr #74: Pull request #1144 opened by binghe
September 8, 2023 02:47 20m 21s binghe:rebinds.fix
binghe:rebinds.fix
September 8, 2023 02:47 20m 21s
Fix a shadowed lemma name docker-ci-for-pr #73: Pull request #1143 opened by IlmariReissumies
September 5, 2023 03:49 1h 27m 16s itree-shadow
itree-shadow
September 5, 2023 03:49 1h 27m 16s
Automation for defining from/to functions for cv_compute's cv type docker-ci-for-pr #72: Pull request #1142 synchronize by myreen
August 27, 2023 20:47 1h 34m 6s cv_types
cv_types
August 27, 2023 20:47 1h 34m 6s
Automation for defining from/to functions for cv_compute's cv type docker-ci-for-pr #71: Pull request #1142 opened by myreen
August 25, 2023 08:48 1h 34m 20s cv_types
cv_types
August 25, 2023 08:48 1h 34m 20s
pairwiseN (pred_set) and pairwiseD (topology) docker-ci-for-pr #70: Pull request #1136 synchronize by binghe
August 17, 2023 22:19 47m 29s binghe:pairwise.new
binghe:pairwise.new
August 17, 2023 22:19 47m 29s
Fermat docker-ci-for-pr #69: Pull request #1139 synchronize by jhlchan
August 17, 2023 02:13 1h 32m 57s jhlchan:fermat
jhlchan:fermat
August 17, 2023 02:13 1h 32m 57s
Fermat docker-ci-for-pr #68: Pull request #1139 synchronize by jhlchan
August 16, 2023 13:08 1h 21m 23s jhlchan:fermat
jhlchan:fermat
August 16, 2023 13:08 1h 21m 23s
Fermat docker-ci-for-pr #67: Pull request #1139 synchronize by jhlchan
August 15, 2023 14:33 1h 23m 57s jhlchan:fermat
jhlchan:fermat
August 15, 2023 14:33 1h 23m 57s
Fermat docker-ci-for-pr #66: Pull request #1139 opened by jhlchan
August 15, 2023 01:22 1h 21m 12s jhlchan:fermat
jhlchan:fermat
August 15, 2023 01:22 1h 21m 12s
[fsgraph] Edge induction principle (fsg_edge_induction) docker-ci-for-pr #65: Pull request #1138 synchronize by binghe
August 14, 2023 13:14 1h 22m 30s binghe:fsg_edge_induction
binghe:fsg_edge_induction
August 14, 2023 13:14 1h 22m 30s
[fsgraph] Edge induction principle (fsg_edge_induction) docker-ci-for-pr #64: Pull request #1138 synchronize by binghe
August 13, 2023 19:13 45m 29s binghe:fsg_edge_induction
binghe:fsg_edge_induction
August 13, 2023 19:13 45m 29s
[fsgraph] Edge induction principle (fsg_edge_induction) docker-ci-for-pr #63: Pull request #1138 opened by binghe
August 13, 2023 17:48 1h 30m 44s binghe:fsg_edge_induction
binghe:fsg_edge_induction
August 13, 2023 17:48 1h 30m 44s
[fsgraph] fixed walk_def, etc. for trivial (single-vertex) walks docker-ci-for-pr #62: Pull request #1137 opened by binghe
August 10, 2023 23:13 1h 25m 11s binghe:walk_def.fix
binghe:walk_def.fix
August 10, 2023 23:13 1h 25m 11s
pairwiseN (pred_set) and pairwiseD (topology) docker-ci-for-pr #61: Pull request #1136 opened by binghe
August 10, 2023 22:39 1h 29m 33s binghe:pairwise.new
binghe:pairwise.new
August 10, 2023 22:39 1h 29m 33s
Promote HOL-Light's pairwise to pred_setTheory replacing the old one docker-ci-for-pr #60: Pull request #1135 opened by binghe
August 8, 2023 13:53 1h 30m 22s binghe:pairwise
binghe:pairwise
August 8, 2023 13:53 1h 30m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-08-08 or the other filters available.