Skip to content

Actions: mit-plv/rewriter

Actions

CI (Coq, Alpine)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-alpine.yml
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use docker for all Coq versions CI (Coq, Alpine) #84: Pull request #161 synchronize by JasonGross
October 4, 2024 20:17 6m 36s docker-only
docker-only
October 4, 2024 20:17 6m 36s
Use docker for all Coq versions CI (Coq, Alpine) #83: Pull request #161 synchronize by JasonGross
October 4, 2024 20:15 2m 48s docker-only
docker-only
October 4, 2024 20:15 2m 48s
Use docker for all Coq versions CI (Coq, Alpine) #82: Pull request #161 opened by JasonGross
October 4, 2024 20:13 2m 7s docker-only
docker-only
October 4, 2024 20:13 2m 7s
Update README.md with publications CI (Coq, Alpine) #81: Commit 87581f8 pushed by JasonGross
October 4, 2024 20:11 6m 19s master
master
October 4, 2024 20:11 6m 19s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) CI (Coq, Alpine) #80: Pull request #160 opened by SkySkimmer
October 1, 2024 14:04 1m 2s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 1, 2024 14:04 1m 2s
CI (Coq, Alpine) CI (Coq, Alpine) #79: Scheduled
October 1, 2024 01:45 6m 18s master
master
October 1, 2024 01:45 6m 18s
Adapt to https://github.com/coq/coq/pull/19530 (#159) CI (Coq, Alpine) #78: Commit 1ce9f1a pushed by JasonGross
September 19, 2024 21:37 1h 14m 55s master
master
September 19, 2024 21:37 1h 14m 55s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, Alpine) #77: Pull request #159 synchronize by proux01
September 18, 2024 10:54 2h 30m 53s proux01:stdlib_repo
proux01:stdlib_repo
September 18, 2024 10:54 2h 30m 53s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, Alpine) #76: Pull request #159 synchronize by proux01
September 17, 2024 09:08 2m 52s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 09:08 2m 52s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, Alpine) #75: Pull request #159 opened by proux01
September 17, 2024 06:22 4m 32s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:22 4m 32s
CI (Coq, Alpine) CI (Coq, Alpine) #74: Scheduled
September 1, 2024 01:44 6m 36s master
master
September 1, 2024 01:44 6m 36s
CI (Coq, Alpine) CI (Coq, Alpine) #73: Scheduled
August 1, 2024 01:33 6m 14s master
master
August 1, 2024 01:33 6m 14s
speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157) CI (Coq, Alpine) #72: Commit 19f344b pushed by JasonGross
July 29, 2024 21:55 6m 14s master
master
July 29, 2024 21:55 6m 14s
speedup wf{3,4}_of_wf by factorizing raw matches to definitions CI (Coq, Alpine) #71: Pull request #157 synchronize by JasonGross
July 29, 2024 21:47 6m 15s SkySkimmer:speed-wf-of-wf
SkySkimmer:speed-wf-of-wf
July 29, 2024 21:47 6m 15s
[CI] Update Python to install python-is-python3 (#158) CI (Coq, Alpine) #70: Commit b9b7761 pushed by JasonGross
July 29, 2024 21:46 6m 38s master
master
July 29, 2024 21:46 6m 38s
[CI] Update Python to install python-is-python3 CI (Coq, Alpine) #69: Pull request #158 opened by JasonGross
July 29, 2024 21:37 6m 37s python-is-python3
python-is-python3
July 29, 2024 21:37 6m 37s
speedup wf{3,4}_of_wf by factorizing raw matches to definitions CI (Coq, Alpine) #68: Pull request #157 opened by SkySkimmer
July 29, 2024 14:38 6m 23s SkySkimmer:speed-wf-of-wf
SkySkimmer:speed-wf-of-wf
July 29, 2024 14:38 6m 23s
Adapt to coq/coq#19384 (cleanup ustate universe demote APIs) (#156) CI (Coq, Alpine) #67: Commit 2315c27 pushed by JasonGross
July 27, 2024 23:04 6m 30s master
master
July 27, 2024 23:04 6m 30s
Adapt to coq/coq#19384 (cleanup ustate universe demote APIs) CI (Coq, Alpine) #66: Pull request #156 opened by SkySkimmer
July 17, 2024 12:12 6m 35s SkySkimmer:more-demote
SkySkimmer:more-demote
July 17, 2024 12:12 6m 35s
CI (Coq, Alpine) CI (Coq, Alpine) #65: Scheduled
July 1, 2024 01:25 6m 46s master
master
July 1, 2024 01:25 6m 46s
Remove upstreamed Ltac2 constr interators. (#155) CI (Coq, Alpine) #64: Commit edcec73 pushed by JasonGross
June 4, 2024 06:08 6m 34s master
master
June 4, 2024 06:08 6m 34s
Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973). CI (Coq, Alpine) #63: Pull request #155 synchronize by rlepigre
June 3, 2024 21:14 6m 34s rlepigre:br/prim-string
rlepigre:br/prim-string
June 3, 2024 21:14 6m 34s
Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973). CI (Coq, Alpine) #62: Pull request #155 opened by rlepigre
June 3, 2024 12:14 7m 10s rlepigre:br/prim-string
rlepigre:br/prim-string
June 3, 2024 12:14 7m 10s
CI (Coq, Alpine) CI (Coq, Alpine) #61: Scheduled
June 1, 2024 01:20 6m 32s master
master
June 1, 2024 01:20 6m 32s
Bump etc/coq-scripts from 857071d to e4d9e81 CI (Coq, Alpine) #60: Pull request #154 opened by dependabot bot
May 9, 2024 07:20 7h 30m 8s dependabot/submodules/etc/coq-scripts-e4d9e81
dependabot/submodules/etc/coq-scripts-e4d9e81
May 9, 2024 07:20 7h 30m 8s