Skip to content

Actions: mit-plv/rewriter

Actions

CI (Coq, docker)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-docker.yml
41 workflow run results
41 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
[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
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
CI (Coq, docker) CI (Coq, docker) #90: Scheduled
July 1, 2024 01:33 6m 16s master
master
July 1, 2024 01:33 6m 16s
Remove upstreamed Ltac2 constr interators. (#155) CI (Coq, docker) #89: Commit edcec73 pushed by JasonGross
June 4, 2024 06:08 6m 22s master
master
June 4, 2024 06:08 6m 22s
CI (Coq, docker) CI (Coq, docker) #86: Scheduled
June 1, 2024 01:21 6m 19s master
master
June 1, 2024 01:21 6m 19s
CI (Coq, docker) CI (Coq, docker) #84: Scheduled
May 1, 2024 01:17 6m 19s master
master
May 1, 2024 01:17 6m 19s
Create dependabot-automerge.yml CI (Coq, docker) #83: Commit b1e8367 pushed by JasonGross
April 18, 2024 23:43 6m 28s master
master
April 18, 2024 23:43 6m 28s
Schedule dependabot updates leading fiat-crypto (#153) CI (Coq, docker) #82: Commit 6b55acf pushed by JasonGross
April 18, 2024 23:42 6m 36s master
master
April 18, 2024 23:42 6m 36s
Bump etc/coq-scripts from 5876e80 to 857071d (#152) CI (Coq, docker) #80: Commit 56ae1fe pushed by JasonGross
April 17, 2024 20:55 6m 23s master
master
April 17, 2024 20:55 6m 23s
CI (Coq, docker) CI (Coq, docker) #78: Scheduled
April 1, 2024 01:16 6m 18s master
master
April 1, 2024 01:16 6m 18s
Bump etc/coq-scripts from 7b54b75 to 5876e80 (#150) CI (Coq, docker) #77: Commit 1cd64f2 pushed by JasonGross
March 19, 2024 22:54 34m 2s master
master
March 19, 2024 22:54 34m 2s
CI (Coq, docker) CI (Coq, docker) #74: Scheduled
March 1, 2024 01:14 16m 26s master
master
March 1, 2024 01:14 16m 26s
Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) (#149) CI (Coq, docker) #73: Commit 21b82e9 pushed by JasonGross
February 7, 2024 18:04 6m 21s master
master
February 7, 2024 18:04 6m 21s
CI (Coq, docker) CI (Coq, docker) #71: Scheduled
February 1, 2024 01:13 6m 12s master
master
February 1, 2024 01:13 6m 12s
adapt to coq/coq#18563 CI (Coq, docker) #70: Commit 3342e29 pushed by andres-erbsen
January 30, 2024 16:13 6m 22s master
master
January 30, 2024 16:13 6m 22s
[CI] [Alpine] Don't use PR version of Alpine Coq (#145) CI (Coq, docker) #68: Commit 9e81a52 pushed by andres-erbsen
January 30, 2024 15:35 6m 11s master
master
January 30, 2024 15:35 6m 11s
CI (Coq, docker) CI (Coq, docker) #65: Scheduled
January 1, 2024 01:19 6m 23s master
master
January 1, 2024 01:19 6m 23s