Skip to content

Actions: ppedrot/coq

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
828 workflow runs
828 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Remove the cutrewrite tactic. Windows CI #935: Commit e68ad67 pushed by ppedrot
May 24, 2024 08:51 58m 32s rm-cutrewrite
rm-cutrewrite
May 24, 2024 08:51 58m 32s
Remove the cutrewrite tactic. GitHub macOS CI #986: Commit e68ad67 pushed by ppedrot
May 24, 2024 08:51 27m 3s rm-cutrewrite
rm-cutrewrite
May 24, 2024 08:51 27m 3s
Remove the cutrewrite tactic. Check conflicts #1926: Commit e68ad67 pushed by ppedrot
May 24, 2024 08:51 11s rm-cutrewrite
rm-cutrewrite
May 24, 2024 08:51 11s
Add tests for the new replace variants. Windows CI #934: Commit 7d7fa02 pushed by ppedrot
May 22, 2024 20:37 59m 24s replace-with-diropt
replace-with-diropt
May 22, 2024 20:37 59m 24s
Add tests for the new replace variants. Check conflicts #1925: Commit 7d7fa02 pushed by ppedrot
May 22, 2024 20:37 12s replace-with-diropt
replace-with-diropt
May 22, 2024 20:37 12s
Add tests for the new replace variants. GitHub macOS CI #985: Commit 7d7fa02 pushed by ppedrot
May 22, 2024 20:37 29m 38s replace-with-diropt
replace-with-diropt
May 22, 2024 20:37 29m 38s
Make nf_evar raise an anomaly on missing evars. GitHub macOS CI #984: Commit ef0ea63 pushed by ppedrot
May 22, 2024 13:14 30m 52s strict-nf-evar
strict-nf-evar
May 22, 2024 13:14 30m 52s
Make nf_evar raise an anomaly on missing evars. Windows CI #933: Commit ef0ea63 pushed by ppedrot
May 22, 2024 13:14 1h 10m 21s strict-nf-evar
strict-nf-evar
May 22, 2024 13:14 1h 10m 21s
Make nf_evar raise an anomaly on missing evars. Check conflicts #1924: Commit ef0ea63 pushed by ppedrot
May 22, 2024 13:14 12s strict-nf-evar
strict-nf-evar
May 22, 2024 13:14 12s
Tweak a weird syntax in CClosure. Check conflicts #1923: Commit 71ad4d6 pushed by ppedrot
May 22, 2024 11:02 10s cclosure-weird-syntax-fix
cclosure-weird-syntax-fix
May 22, 2024 11:02 10s
Tweak a weird syntax in CClosure. GitHub macOS CI #983: Commit 71ad4d6 pushed by ppedrot
May 22, 2024 11:02 34m 22s cclosure-weird-syntax-fix
cclosure-weird-syntax-fix
May 22, 2024 11:02 34m 22s
Tweak a weird syntax in CClosure. Windows CI #932: Commit 71ad4d6 pushed by ppedrot
May 22, 2024 11:02 42m 22s cclosure-weird-syntax-fix
cclosure-weird-syntax-fix
May 22, 2024 11:02 42m 22s
Use irrelevance masks to ignore arguments in flex / flex conversions. GitHub macOS CI #982: Commit cdce832 pushed by ppedrot
May 22, 2024 10:55 41m 44s conversion-skip-runtime-irrelevant-args
conversion-skip-runtime-irrelevant-args
May 22, 2024 10:55 41m 44s
Use irrelevance masks to ignore arguments in flex / flex conversions. Windows CI #931: Commit cdce832 pushed by ppedrot
May 22, 2024 10:55 54m 39s conversion-skip-runtime-irrelevant-args
conversion-skip-runtime-irrelevant-args
May 22, 2024 10:55 54m 39s
Use irrelevance masks to ignore arguments in flex / flex conversions. Check conflicts #1922: Commit cdce832 pushed by ppedrot
May 22, 2024 10:55 14s conversion-skip-runtime-irrelevant-args
conversion-skip-runtime-irrelevant-args
May 22, 2024 10:55 14s
Tweak a weird syntax in CClosure. Check conflicts #1921: Commit f65fb11 pushed by ppedrot
May 22, 2024 09:11 10s cclosure-weird-syntax-fix
cclosure-weird-syntax-fix
May 22, 2024 09:11 10s
Tweak a weird syntax in CClosure. GitHub macOS CI #981: Commit f65fb11 pushed by ppedrot
May 22, 2024 09:11 32m 14s cclosure-weird-syntax-fix
cclosure-weird-syntax-fix
May 22, 2024 09:11 32m 14s
Tweak a weird syntax in CClosure. Windows CI #930: Commit f65fb11 pushed by ppedrot
May 22, 2024 09:11 37m 38s cclosure-weird-syntax-fix
cclosure-weird-syntax-fix
May 22, 2024 09:11 37m 38s
Add tests for the new replace variants. Check conflicts #1920: Commit 2b6bff9 pushed by ppedrot
May 22, 2024 08:29 15s replace-with-diropt
replace-with-diropt
May 22, 2024 08:29 15s
Add tests for the new replace variants. GitHub macOS CI #980: Commit 2b6bff9 pushed by ppedrot
May 22, 2024 08:29 36m 7s replace-with-diropt
replace-with-diropt
May 22, 2024 08:29 36m 7s
Add tests for the new replace variants. Windows CI #929: Commit 2b6bff9 pushed by ppedrot
May 22, 2024 08:29 55m 22s replace-with-diropt
replace-with-diropt
May 22, 2024 08:29 55m 22s
Add tests for bug #4160. Windows CI #928: Commit 41071f1 pushed by ppedrot
May 22, 2024 08:02 56m 55s fix-4160
fix-4160
May 22, 2024 08:02 56m 55s
Add tests for bug #4160. Check conflicts #1919: Commit 41071f1 pushed by ppedrot
May 22, 2024 08:02 10s fix-4160
fix-4160
May 22, 2024 08:02 10s
Add tests for bug #4160. GitHub macOS CI #979: Commit 41071f1 pushed by ppedrot
May 22, 2024 08:02 30m 45s fix-4160
fix-4160
May 22, 2024 08:02 30m 45s
Force empty case nodes from irrelevant to relevant sorts to be CaseIn… Windows CI #927: Commit 1b2701f pushed by ppedrot
May 21, 2024 18:01 40m 26s sprop-empty-case-invert
sprop-empty-case-invert
May 21, 2024 18:01 40m 26s