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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make pmatch use its own case keyword docker-ci-for-pr #1155: Pull request #1777 synchronize by xrchz
2h 9m 24s pmatch
pmatch
2h 9m 24s
Make pmatch use its own case keyword docker-ci-for-pr #1154: Pull request #1777 synchronize by xrchz
2h 27m 36s pmatch
pmatch
2h 27m 36s
Make pmatch use its own case keyword docker-ci-for-pr #1153: Pull request #1777 synchronize by xrchz
30m 26s pmatch
pmatch
30m 26s
Make pmatch use its own case keyword docker-ci-for-pr #1152: Pull request #1777 opened by xrchz
2h 30m 4s pmatch
pmatch
2h 30m 4s
Make it so that RM get optimized to take in 3 args in PolyML docker-ci-for-pr #1151: Pull request #1776 opened by ordinarymath
2h 6m 28s ordinarymath:RM_arity
ordinarymath:RM_arity
2h 6m 28s
Add LIST_REL aliases for EVERY2 theorems docker-ci-for-pr #1150: Pull request #1772 opened by xrchz
2h 6m 55s every2
every2
2h 6m 55s
Replace free_vars with FVL in HO_PART_MATCH docker-ci-for-pr #1149: Pull request #1768 opened by xrchz
2h 10m 35s hopartfvl
hopartfvl
2h 10m 35s
Compset values docker-ci-for-pr #1148: Pull request #1766 opened by xrchz
2h 10m 58s compset_values
compset_values
2h 10m 58s
Add lcp (longest common prefix of list) with cv_trans support docker-ci-for-pr #1147: Pull request #1765 synchronize by xrchz
2h 21m 46s lcp
lcp
2h 21m 46s
Add lcp (longest common prefix of list) with cv_trans support docker-ci-for-pr #1146: Pull request #1765 synchronize by xrchz
2h 5m 7s lcp
lcp
2h 5m 7s
Add lcp (longest common prefix of list) with cv_trans support docker-ci-for-pr #1145: Pull request #1765 opened by xrchz
2h 16m 36s lcp
lcp
2h 16m 36s
Make computeLib API functional docker-ci-for-pr #1144: Pull request #1764 synchronize by xrchz
2h 16m 41s fcompute
fcompute
2h 16m 41s
Make computeLib API functional docker-ci-for-pr #1143: Pull request #1764 synchronize by xrchz
2h 13m 36s fcompute
fcompute
2h 13m 36s
Make computeLib API functional docker-ci-for-pr #1142: Pull request #1764 synchronize by xrchz
2h 11m 38s fcompute
fcompute
2h 11m 38s
Make computeLib API functional docker-ci-for-pr #1141: Pull request #1764 synchronize by xrchz
2h 18m 55s fcompute
fcompute
2h 18m 55s
Make computeLib API functional docker-ci-for-pr #1140: Pull request #1764 synchronize by xrchz
11m 25s fcompute
fcompute
11m 25s
Make computeLib API functional docker-ci-for-pr #1139: Pull request #1764 synchronize by xrchz
10m 56s fcompute
fcompute
10m 56s
Make computeLib API functional docker-ci-for-pr #1138: Pull request #1764 synchronize by xrchz
10m 50s fcompute
fcompute
10m 50s
Make computeLib API functional docker-ci-for-pr #1137: Pull request #1764 synchronize by xrchz
2h 15m 4s fcompute
fcompute
2h 15m 4s
Make computeLib API functional docker-ci-for-pr #1136: Pull request #1764 synchronize by xrchz
2h 1m 16s fcompute
fcompute
2h 1m 16s
Make computeLib API functional docker-ci-for-pr #1135: Pull request #1764 synchronize by xrchz
2h 12m 54s fcompute
fcompute
2h 12m 54s
Make computeLib API functional docker-ci-for-pr #1134: Pull request #1764 synchronize by xrchz
2h 15m 10s fcompute
fcompute
2h 15m 10s
Make computeLib API functional docker-ci-for-pr #1133: Pull request #1764 synchronize by xrchz
2h 24m 24s fcompute
fcompute
2h 24m 24s
Make computeLib API functional docker-ci-for-pr #1132: Pull request #1764 synchronize by xrchz
2h 14m 46s fcompute
fcompute
2h 14m 46s
Move dependency-related tools code to subdirectory docker-ci-for-pr #1131: Pull request #1763 synchronize by xrchz
2h 10m 59s toolrefactor
toolrefactor
2h 10m 59s