Skip to content

Actions: JasonGross/rewriter

Actions

CI (Coq)

Actions

Loading...

Show workflow options

Create status badge

coq.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
53 workflow runs
53 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI (Coq) CI (Coq) #108: Scheduled
April 1, 2024 01:07 10m 38s master
master
April 1, 2024 01:07 10m 38s
CI (Coq) CI (Coq) #107: Scheduled
March 1, 2024 01:06 11m 11s master
master
March 1, 2024 01:06 11m 11s
CI (Coq) CI (Coq) #106: Scheduled
February 1, 2024 01:04 1h 49m 39s master
master
February 1, 2024 01:04 1h 49m 39s
CI (Coq) CI (Coq) #105: Scheduled
January 1, 2024 01:10 10m 17s master
master
January 1, 2024 01:10 10m 17s
Also run Alpine CI on alpine-testing CI (Coq) #104: Commit 7cdc6a1 pushed by JasonGross
December 25, 2023 02:09 18m 44s master
master
December 25, 2023 02:09 18m 44s
Move unfolding of fst and snd earlier (#142) CI (Coq) #103: Commit 95d7ef4 pushed by JasonGross
December 24, 2023 05:47 10m 16s master
master
December 24, 2023 05:47 10m 16s
Allow prove_eq_by_Proper to prove Proper instances recursively and by… CI (Coq) #102: Commit 83e5c7e pushed by JasonGross
December 24, 2023 05:47 10m 26s more-powerful-proper
more-powerful-proper
December 24, 2023 05:47 10m 26s
Update coq.yml CI (Coq) #101: Commit 2630932 pushed by JasonGross
December 24, 2023 05:47 10m 14s describe-system-config-shared
describe-system-config-shared
December 24, 2023 05:47 10m 14s
[CI] [Alpine] Use dev version of Coq CI (Coq) #100: Commit a8f3f03 pushed by JasonGross
December 23, 2023 23:45 10m 21s ci-alpine
ci-alpine
December 23, 2023 23:45 10m 21s
[CI] [Alpine] Use dev version of Coq CI (Coq) #99: Commit 55be379 pushed by JasonGross
December 23, 2023 23:37 10m 19s ci-alpine
ci-alpine
December 23, 2023 23:37 10m 19s
[CI] Don't duplicate warnings CI (Coq) #98: Commit c272647 pushed by JasonGross
December 23, 2023 23:34 10m 25s no-duplicate-warnings
no-duplicate-warnings
December 23, 2023 23:34 10m 25s
[CI] [Alpine] Use dev version of Coq CI (Coq) #97: Commit a8a8730 pushed by JasonGross
December 23, 2023 23:30 10m 19s ci-alpine
ci-alpine
December 23, 2023 23:30 10m 19s
[CI] [Alpine] Use dev version of Coq CI (Coq) #96: Commit e2f0d3e pushed by JasonGross
December 23, 2023 23:14 11m 45s ci-alpine
ci-alpine
December 23, 2023 23:14 11m 45s
[CI] [Alpine] Demonstrate workaround CI (Coq) #95: Commit 79ca97a pushed by JasonGross
December 23, 2023 23:13 10m 25s ci-alpine
ci-alpine
December 23, 2023 23:13 10m 25s
Add Alpine CI CI (Coq) #94: Commit 8c30f28 pushed by JasonGross
December 23, 2023 23:11 10m 48s ci-alpine
ci-alpine
December 23, 2023 23:11 10m 48s
Add Alpine CI CI (Coq) #93: Commit d581a9f pushed by JasonGross
December 23, 2023 23:10 1m 15s ci-alpine
ci-alpine
December 23, 2023 23:10 1m 15s
Update coq.yml CI (Coq) #92: Commit 2630932 pushed by JasonGross
December 23, 2023 22:59 10m 38s describe-system-config-shared
describe-system-config-shared
December 23, 2023 22:59 10m 38s
[CI] docker-coq->coq-docker,describe-system-config CI (Coq) #91: Commit 4825a39 pushed by JasonGross
December 23, 2023 22:57 1m 23s describe-system-config-shared
describe-system-config-shared
December 23, 2023 22:57 1m 23s
Allow prove_eq_by_Proper to prove Proper instances recursively and by… CI (Coq) #90: Commit 83e5c7e pushed by JasonGross
December 23, 2023 02:01 36m 20s more-powerful-proper
more-powerful-proper
December 23, 2023 02:01 36m 20s
Allow prove_eq_by_Proper to prove Proper instances recursively and by… CI (Coq) #89: Commit b4d9004 pushed by JasonGross
December 23, 2023 01:53 36m 4s more-powerful-proper
more-powerful-proper
December 23, 2023 01:53 36m 4s
Actually give access to the Proper type.eqv hyp CI (Coq) #88: Commit 140c565 pushed by JasonGross
December 23, 2023 01:43 42m 36s give-eqv-hyp
give-eqv-hyp
December 23, 2023 01:43 42m 36s
Provide a convenience hypothesis with eqv assumptions CI (Coq) #87: Commit 05216ca pushed by JasonGross
December 23, 2023 01:11 1h 9m 51s give-eqv-hyp
give-eqv-hyp
December 23, 2023 01:11 1h 9m 51s
Add expr.reify_as_interp_related CI (Coq) #86: Commit 1f6262b pushed by JasonGross
December 22, 2023 23:22 10m 12s more-reify-as-interp-related
more-reify-as-interp-related
December 22, 2023 23:22 10m 12s
Fix unfolding of let in rewrite rule proving CI (Coq) #85: Commit b2bd8ee pushed by JasonGross
December 9, 2023 00:20 10m 11s better-let-in
better-let-in
December 9, 2023 00:20 10m 11s
Allow leaving over shelved goals when debugging cache_term CI (Coq) #84: Commit 879b5bb pushed by JasonGross
December 8, 2023 22:16 10m 24s cache-term-debug
cache-term-debug
December 8, 2023 22:16 10m 24s