Skip to content

Actions: mit-plv/rewriter

Actions

CI (Coq, Alpine)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI (Coq, Alpine) CI (Coq, Alpine) #107: Scheduled
February 1, 2025 01:40 34m 53s master
master
February 1, 2025 01:40 34m 53s
Better timer (fix build on mac) CI (Coq, Alpine) #106: Commit 1e17dcd pushed by JasonGross
January 29, 2025 01:50 6m 21s master
master
January 29, 2025 01:50 6m 21s
Work around issue with -I CI (Coq, Alpine) #105: Commit 3c0618f pushed by JasonGross
January 29, 2025 01:19 6m 25s master
master
January 29, 2025 01:19 6m 25s
Don't build .vo files when EXTERNAL_PERF_DEPENDENCIES=1 CI (Coq, Alpine) #104: Commit ca0eed1 pushed by JasonGross
January 28, 2025 20:28 41m 56s master
master
January 28, 2025 20:28 41m 56s
[CI] also test opam packages, including perf CI (Coq, Alpine) #103: Commit ef98e7d pushed by JasonGross
January 28, 2025 20:22 48m 30s master
master
January 28, 2025 20:22 48m 30s
Bump etc/coq-scripts from 9479734 to bf7754a CI (Coq, Alpine) #102: Pull request #169 opened by dependabot bot
January 15, 2025 07:56 6m 19s dependabot/submodules/etc/coq-scripts-bf7754a
dependabot/submodules/etc/coq-scripts-bf7754a
January 15, 2025 07:56 6m 19s
Bump etc/coq-scripts from 4327aa1 to 9479734 CI (Coq, Alpine) #101: Pull request #168 opened by dependabot bot
January 14, 2025 07:51 6m 31s dependabot/submodules/etc/coq-scripts-9479734
dependabot/submodules/etc/coq-scripts-9479734
January 14, 2025 07:51 6m 31s
CI (Coq, Alpine) CI (Coq, Alpine) #100: Scheduled
January 1, 2025 01:45 6m 45s master
master
January 1, 2025 01:45 6m 45s
rm .github/workflows/coq.yml CI (Coq, Alpine) #99: Commit 1e36197 pushed by JasonGross
December 6, 2024 07:21 6m 20s master
master
December 6, 2024 07:21 6m 20s
Rewriter v0.0.12 CI (Coq, Alpine) #98: Release v0.0.12 published by JasonGross
December 5, 2024 20:00 6m 28s
December 5, 2024 20:00 6m 28s
CI (Coq, Alpine) CI (Coq, Alpine) #97: Scheduled
December 1, 2024 01:59 10m 42s master
master
December 1, 2024 01:59 10m 42s
Adapt to coq#19822 (#165) CI (Coq, Alpine) #96: Commit 8ab716a pushed by JasonGross
November 20, 2024 06:42 6m 40s master
master
November 20, 2024 06:42 6m 40s
Adapt to coq#19822 CI (Coq, Alpine) #95: Pull request #165 synchronize by JasonGross
November 20, 2024 06:36 6m 17s Tragicus:pr19822
Tragicus:pr19822
November 20, 2024 06:36 6m 17s
Adapt to coq#19822 CI (Coq, Alpine) #94: Pull request #165 opened by Tragicus
November 18, 2024 16:59 6m 16s Tragicus:pr19822
Tragicus:pr19822
November 18, 2024 16:59 6m 16s
add missing nounfold for Qeq_bool in Sample.v CI (Coq, Alpine) #93: Commit edd0611 pushed by andres-erbsen
November 3, 2024 16:52 6m 19s master
master
November 3, 2024 16:52 6m 19s
add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801) CI (Coq, Alpine) #92: Pull request #164 opened by andres-erbsen
November 3, 2024 16:22 6m 23s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:22 6m 23s
CI (Coq, Alpine) CI (Coq, Alpine) #91: Scheduled
November 1, 2024 01:45 10m 21s master
master
November 1, 2024 01:45 10m 21s
Adapt to coq/coq#19783 (ml_tactic_name contains hash) CI (Coq, Alpine) #90: Pull request #163 opened by SkySkimmer
October 30, 2024 12:57 6m 18s SkySkimmer:ltac2-hashmaps
SkySkimmer:ltac2-hashmaps
October 30, 2024 12:57 6m 18s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) (… CI (Coq, Alpine) #89: Commit e4d987c pushed by JasonGross
October 15, 2024 09:41 6m 13s master
master
October 15, 2024 09:41 6m 13s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) CI (Coq, Alpine) #88: Pull request #160 synchronize by JasonGross
October 15, 2024 09:34 6m 25s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 15, 2024 09:34 6m 25s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) CI (Coq, Alpine) #87: Pull request #160 synchronize by JasonGross
October 15, 2024 09:07 1m 12s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 15, 2024 09:07 1m 12s
Bump etc/coq-scripts from e4d9e81 to 4327aa1 CI (Coq, Alpine) #86: Pull request #162 opened by dependabot bot
October 9, 2024 07:41 33m 51s dependabot/submodules/etc/coq-scripts-4327aa1
dependabot/submodules/etc/coq-scripts-4327aa1
October 9, 2024 07:41 33m 51s
Use docker for all Coq versions (#161) CI (Coq, Alpine) #85: Commit aad1a9b pushed by JasonGross
October 4, 2024 20:24 6m 22s master
master
October 4, 2024 20:24 6m 22s
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