Skip to content

Actions: mit-plv/rewriter

Actions

CI (Coq, docker)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-docker.yml
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI (Coq, docker) CI (Coq, docker) #116: Scheduled
November 1, 2024 01:46 12m 32s master
master
November 1, 2024 01:46 12m 32s
Adapt to coq/coq#19783 (ml_tactic_name contains hash) CI (Coq, docker) #115: Pull request #163 opened by SkySkimmer
October 30, 2024 12:57 6m 47s SkySkimmer:ltac2-hashmaps
SkySkimmer:ltac2-hashmaps
October 30, 2024 12:57 6m 47s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) (… CI (Coq, docker) #114: Commit e4d987c pushed by JasonGross
October 15, 2024 09:41 9m 19s master
master
October 15, 2024 09:41 9m 19s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) CI (Coq, docker) #113: Pull request #160 synchronize by JasonGross
October 15, 2024 09:34 6m 36s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 15, 2024 09:34 6m 36s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) CI (Coq, docker) #112: Pull request #160 synchronize by JasonGross
October 15, 2024 09:07 6m 42s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 15, 2024 09:07 6m 42s
Bump etc/coq-scripts from e4d9e81 to 4327aa1 CI (Coq, docker) #111: Pull request #162 opened by dependabot bot
October 9, 2024 07:41 33m 9s dependabot/submodules/etc/coq-scripts-4327aa1
dependabot/submodules/etc/coq-scripts-4327aa1
October 9, 2024 07:41 33m 9s
Use docker for all Coq versions (#161) CI (Coq, docker) #110: Commit aad1a9b pushed by JasonGross
October 4, 2024 20:24 9m 12s master
master
October 4, 2024 20:24 9m 12s
Use docker for all Coq versions CI (Coq, docker) #109: Pull request #161 synchronize by JasonGross
October 4, 2024 20:17 6m 50s docker-only
docker-only
October 4, 2024 20:17 6m 50s
Use docker for all Coq versions CI (Coq, docker) #108: Pull request #161 synchronize by JasonGross
October 4, 2024 20:15 2m 44s docker-only
docker-only
October 4, 2024 20:15 2m 44s
Use docker for all Coq versions CI (Coq, docker) #107: Pull request #161 opened by JasonGross
October 4, 2024 20:13 2m 9s docker-only
docker-only
October 4, 2024 20:13 2m 9s
Update README.md with publications CI (Coq, docker) #106: Commit 87581f8 pushed by JasonGross
October 4, 2024 20:11 6m 18s master
master
October 4, 2024 20:11 6m 18s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) CI (Coq, docker) #105: Pull request #160 opened by SkySkimmer
October 1, 2024 14:04 2m 9s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 1, 2024 14:04 2m 9s
CI (Coq, docker) CI (Coq, docker) #104: Scheduled
October 1, 2024 01:47 6m 24s master
master
October 1, 2024 01:47 6m 24s
Adapt to https://github.com/coq/coq/pull/19530 (#159) CI (Coq, docker) #103: Commit 1ce9f1a pushed by JasonGross
September 19, 2024 21:37 1h 16m 35s master
master
September 19, 2024 21:37 1h 16m 35s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, docker) #102: Pull request #159 synchronize by proux01
September 18, 2024 10:54 2h 30m 45s proux01:stdlib_repo
proux01:stdlib_repo
September 18, 2024 10:54 2h 30m 45s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, docker) #101: Pull request #159 synchronize by proux01
September 17, 2024 09:08 3m 24s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 09:08 3m 24s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, docker) #100: Pull request #159 opened by proux01
September 17, 2024 06:22 3m 18s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:22 3m 18s
CI (Coq, docker) CI (Coq, docker) #99: Scheduled
September 1, 2024 01:45 6m 18s master
master
September 1, 2024 01:45 6m 18s
CI (Coq, docker) CI (Coq, docker) #98: Scheduled
August 1, 2024 01:34 6m 21s master
master
August 1, 2024 01:34 6m 21s
speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157) CI (Coq, docker) #97: Commit 19f344b pushed by JasonGross
July 29, 2024 21:55 6m 17s master
master
July 29, 2024 21:55 6m 17s
speedup wf{3,4}_of_wf by factorizing raw matches to definitions CI (Coq, docker) #96: Pull request #157 synchronize by JasonGross
July 29, 2024 21:47 6m 20s SkySkimmer:speed-wf-of-wf
SkySkimmer:speed-wf-of-wf
July 29, 2024 21:47 6m 20s
[CI] Update Python to install python-is-python3 (#158) CI (Coq, docker) #95: Commit b9b7761 pushed by JasonGross
July 29, 2024 21:46 6m 30s master
master
July 29, 2024 21:46 6m 30s
[CI] Update Python to install python-is-python3 CI (Coq, docker) #94: Pull request #158 opened by JasonGross
July 29, 2024 21:37 6m 35s python-is-python3
python-is-python3
July 29, 2024 21:37 6m 35s
speedup wf{3,4}_of_wf by factorizing raw matches to definitions CI (Coq, docker) #93: Pull request #157 opened by SkySkimmer
July 29, 2024 14:38 1m 47s SkySkimmer:speed-wf-of-wf
SkySkimmer:speed-wf-of-wf
July 29, 2024 14:38 1m 47s
Adapt to coq/coq#19384 (cleanup ustate universe demote APIs) (#156) CI (Coq, docker) #92: Commit 2315c27 pushed by JasonGross
July 27, 2024 23:04 5m 56s master
master
July 27, 2024 23:04 5m 56s