Skip to content

Actions: mit-plv/rewriter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
746 workflow runs
746 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix unfolding of let in rewrite rule proving (#131) .github/workflows/coq.yml #617: Commit 22162aa pushed by JasonGross
December 9, 2023 00:30 17m 25s master
master
December 9, 2023 00:30 17m 25s
Allow leaving over shelved goals when debugging cache_term (#130) .github/workflows/coq.yml #616: Commit 1f0751a pushed by JasonGross
December 9, 2023 00:23 13m 46s master
master
December 9, 2023 00:23 13m 46s
Allow leaving over shelved goals when debugging cache_term (#130) CI (Coq, docker) #560: Commit 1f0751a pushed by JasonGross
December 9, 2023 00:23 13m 36s master
master
December 9, 2023 00:23 13m 36s
Fix unfolding of let in rewrite rule proving .github/workflows/coq.yml #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
Fix unfolding of let in rewrite rule proving CI (Coq, docker) #559: Pull request #131 opened by JasonGross
December 9, 2023 00:21 8m 49s JasonGross:better-let-in
JasonGross:better-let-in
December 9, 2023 00:21 8m 49s
Allow leaving over shelved goals when debugging cache_term .github/workflows/coq.yml #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
Allow leaving over shelved goals when debugging cache_term CI (Coq, docker) #558: Pull request #130 opened by JasonGross
December 8, 2023 22:18 6m 29s JasonGross:cache-term-debug
JasonGross:cache-term-debug
December 8, 2023 22:18 6m 29s
Add prod_rect_nodep_eta (#129) .github/workflows/coq.yml #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 (#129) CI (Coq, docker) #557: Commit 3a0a5f7 pushed by JasonGross
December 7, 2023 23:43 7m 51s master
master
December 7, 2023 23:43 7m 51s
Add prod_rect_nodep_eta CI (Coq, docker) #556: Pull request #129 opened by JasonGross
December 7, 2023 23:27 23m 3s prod-rect-nodep-eta
prod-rect-nodep-eta
December 7, 2023 23:27 23m 3s
Add prod_rect_nodep_eta .github/workflows/coq.yml #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, docker) #555: Commit 6ec4cac pushed by JasonGross
December 7, 2023 23:27 16m 19s prod-rect-nodep-eta
prod-rect-nodep-eta
December 7, 2023 23:27 16m 19s
Add prod_rect_nodep_eta .github/workflows/coq.yml #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, docker) #554: Commit 026f87b pushed by JasonGross
December 3, 2023 21:24 6m 26s master
master
December 3, 2023 21:24 6m 26s
Add related_hetero_and_Proper (#128) .github/workflows/coq.yml #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, docker) #553: Pull request #128 opened by JasonGross
December 3, 2023 21:16 6m 30s JasonGross:related-for-abstraction
JasonGross:related-for-abstraction
December 3, 2023 21:16 6m 30s
Add related_hetero_and_Proper .github/workflows/coq.yml #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, docker) #552: Commit c45abd0 pushed by JasonGross
December 3, 2023 01:08 6m 32s master
master
December 3, 2023 01:08 6m 32s
Add type.eqv_of_is_not_higher_order (#127) .github/workflows/coq.yml #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, docker) #551: Pull request #127 opened by JasonGross
December 3, 2023 01:00 6m 26s JasonGross:eqv_of_is_not_higher_order
JasonGross:eqv_of_is_not_higher_order
December 3, 2023 01:00 6m 26s
Add type.eqv_of_is_not_higher_order .github/workflows/coq.yml #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
ProTip! You can narrow down the results and go further in time using created:<2023-12-03 or the other filters available.