Skip to content

Actions: mit-plv/rewriter

Actions

CI (Coq)

Actions

Loading...

Show workflow options

Create status badge

coq.yml
208 workflow runs
208 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fix unfolding of let in rewrite rule proving CI (Coq) #615: Pull request #131 opened by JasonGross
December 9, 2023 00:21 8m 59s JasonGross:better-let-in
JasonGross:better-let-in
December 9, 2023 00:21 8m 59s
Allow leaving over shelved goals when debugging cache_term CI (Coq) #614: Pull request #130 opened by JasonGross
December 8, 2023 22:18 8m 18s JasonGross:cache-term-debug
JasonGross:cache-term-debug
December 8, 2023 22:18 8m 18s
Add prod_rect_nodep_eta (#129) CI (Coq) #613: Commit 3a0a5f7 pushed by JasonGross
December 7, 2023 23:43 13m 57s master
master
December 7, 2023 23:43 13m 57s
Add prod_rect_nodep_eta CI (Coq) #612: Pull request #129 opened by JasonGross
December 7, 2023 23:27 23m 16s prod-rect-nodep-eta
prod-rect-nodep-eta
December 7, 2023 23:27 23m 16s
Add prod_rect_nodep_eta CI (Coq) #611: Commit 6ec4cac pushed by JasonGross
December 7, 2023 23:27 16m 27s prod-rect-nodep-eta
prod-rect-nodep-eta
December 7, 2023 23:27 16m 27s
Add related_hetero_and_Proper (#128) CI (Coq) #610: Commit 026f87b pushed by JasonGross
December 3, 2023 21:24 10m 11s master
master
December 3, 2023 21:24 10m 11s
Add related_hetero_and_Proper CI (Coq) #609: Pull request #128 opened by JasonGross
December 3, 2023 21:16 8m 13s JasonGross:related-for-abstraction
JasonGross:related-for-abstraction
December 3, 2023 21:16 8m 13s
Add type.eqv_of_is_not_higher_order (#127) CI (Coq) #608: Commit c45abd0 pushed by JasonGross
December 3, 2023 01:08 10m 19s master
master
December 3, 2023 01:08 10m 19s
Add type.eqv_of_is_not_higher_order CI (Coq) #607: Pull request #127 opened by JasonGross
December 3, 2023 01:00 8m 21s JasonGross:eqv_of_is_not_higher_order
JasonGross:eqv_of_is_not_higher_order
December 3, 2023 01:00 8m 21s
CI (Coq) CI (Coq) #606: Scheduled
December 1, 2023 00:36 15m 49s master
master
December 1, 2023 00:36 15m 49s
Generalize is_not_higher_order (#126) CI (Coq) #605: Commit bf64674 pushed by JasonGross
November 29, 2023 20:18 10m 26s master
master
November 29, 2023 20:18 10m 26s
Generalize is_not_higher_order CI (Coq) #604: Pull request #126 synchronize by JasonGross
November 29, 2023 20:10 8m 24s JasonGross:is-not-higher-order-than
JasonGross:is-not-higher-order-than
November 29, 2023 20:10 8m 24s
Generalize is_not_higher_order CI (Coq) #603: Pull request #126 opened by JasonGross
November 29, 2023 20:08 2m 3s JasonGross:is-not-higher-order-than
JasonGross:is-not-higher-order-than
November 29, 2023 20:08 2m 3s
Add more wf3/wf4 proofs (#125) CI (Coq) #602: Commit cd6022f pushed by JasonGross
November 26, 2023 03:28 16m 46s master
master
November 26, 2023 03:28 16m 46s
Add more wf3/wf4 proofs CI (Coq) #601: Pull request #125 opened by JasonGross
November 26, 2023 03:02 16m 20s JasonGross:wf4-more
JasonGross:wf4-more
November 26, 2023 03:02 16m 20s
Add expr.Wf4 (#124) CI (Coq) #600: Commit 1dc4096 pushed by JasonGross
November 25, 2023 22:09 10m 20s master
master
November 25, 2023 22:09 10m 20s
Add expr.Wf4 CI (Coq) #599: Pull request #124 opened by JasonGross
November 25, 2023 22:01 8m 29s JasonGross:wf4
JasonGross:wf4
November 25, 2023 22:01 8m 29s
Adapt to coq/coq#18280 (case relevance outside case info) (#122) CI (Coq) #598: Commit 3e84ec2 pushed by JasonGross
November 13, 2023 18:21 14m 12s master
master
November 13, 2023 18:21 14m 12s
Adapt to coq/coq#18280 (case relevance outside case info) CI (Coq) #597: Pull request #122 synchronize by JasonGross
November 13, 2023 14:54 10m 12s SkySkimmer:ci-relevance
SkySkimmer:ci-relevance
November 13, 2023 14:54 10m 12s
Fix Util/Strings/String.v (#123) CI (Coq) #596: Commit 1e001e7 pushed by JasonGross
November 11, 2023 17:45 49m 41s master
master
November 11, 2023 17:45 49m 41s
Fix Util/Strings/String.v CI (Coq) #595: Pull request #123 opened by Villetaneuse
November 11, 2023 14:23 3h 21m 56s Villetaneuse:minus_0_r
Villetaneuse:minus_0_r
November 11, 2023 14:23 3h 21m 56s
Adapt to coq/coq#18280 (case relevance outside case info) CI (Coq) #594: Pull request #122 opened by SkySkimmer
November 9, 2023 15:00 10m 50s SkySkimmer:ci-relevance
SkySkimmer:ci-relevance
November 9, 2023 15:00 10m 50s
Bump etc/coq-scripts from 2df5dbe to d3dc888 (#121) CI (Coq) #593: Commit 5d274d2 pushed by JasonGross
November 7, 2023 17:15 12m 14s master
master
November 7, 2023 17:15 12m 14s
Bump etc/coq-scripts from 2df5dbe to d3dc888 CI (Coq) #592: Pull request #121 opened by dependabot bot
November 7, 2023 15:37 1h 6m 14s dependabot/submodules/etc/coq-scripts-d3dc888
dependabot/submodules/etc/coq-scripts-d3dc888
November 7, 2023 15:37 1h 6m 14s
Bump etc/coq-scripts from 2df5dbe to d3dc888 CI (Coq) #591: Commit b02817c pushed by dependabot bot
November 7, 2023 15:37 58m 48s dependabot/submodules/etc/coq-scripts-d3dc888
dependabot/submodules/etc/coq-scripts-d3dc888
November 7, 2023 15:37 58m 48s