Skip to content

Actions: ppedrot/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
342 workflow runs
342 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Reduce the use of structural equality in Notationextern. GitHub macOS CI #1061: Commit 32780f8 pushed by ppedrot
July 7, 2024 08:48 25m 54s notationops-cleanup-map
notationops-cleanup-map
July 7, 2024 08:48 25m 54s
Reduce the use of structural equality in Notationextern. GitHub macOS CI #1060: Commit 2d0387b pushed by ppedrot
July 7, 2024 08:42 12m 40s notationops-cleanup-map
notationops-cleanup-map
July 7, 2024 08:42 12m 40s
Add a test extracted from #19066. GitHub macOS CI #1059: Commit 9dab5ce pushed by ppedrot
July 5, 2024 14:03 29m 18s conversion-skip-runtime-irrelevant-args-retry
conversion-skip-runtime-irrelevant-args-retry
July 5, 2024 14:03 29m 18s
Restrict fast conversion to kernel calls. GitHub macOS CI #1058: Commit b5b94e0 pushed by ppedrot
July 5, 2024 13:57 30m 19s conversion-skip-runtime-irrelevant-args-retry
conversion-skip-runtime-irrelevant-args-retry
July 5, 2024 13:57 30m 19s
Fix documentation of overlays after change of coq-elpi branch. GitHub macOS CI #1057: Commit b63e51b pushed by ppedrot
July 5, 2024 12:45 29m 57s fix-elpi-branch-doc
fix-elpi-branch-doc
July 5, 2024 12:45 29m 57s
Use kernel reduction to assess whether a term can be a canonical stru… GitHub macOS CI #1056: Commit b806fbf pushed by ppedrot
July 5, 2024 08:44 30m 41s fast-canonical-check
fast-canonical-check
July 5, 2024 08:44 30m 41s
Restrict fast conversion to kernel calls. GitHub macOS CI #1055: Commit 44e6217 pushed by ppedrot
July 4, 2024 19:36 26m 33s conversion-skip-runtime-irrelevant-args-retry
conversion-skip-runtime-irrelevant-args-retry
July 4, 2024 19:36 26m 33s
Add overlays. GitHub macOS CI #1054: Commit ef6d8ea pushed by ppedrot
July 4, 2024 09:28 29m 31s ltac1-split-some-plugins
ltac1-split-some-plugins
July 4, 2024 09:28 29m 31s
Use irrelevance masks to ignore arguments in flex / flex conversions. GitHub macOS CI #1053: Commit c209696 pushed by ppedrot
July 3, 2024 14:27 31m 40s conversion-skip-runtime-irrelevant-args-retry
conversion-skip-runtime-irrelevant-args-retry
July 3, 2024 14:27 31m 40s
Split the nsatz plugin into a core package and an Ltac1 syntax. GitHub macOS CI #1052: Commit 87b6354 pushed by ppedrot
July 3, 2024 13:47 32m 28s ltac1-split-some-plugins
ltac1-split-some-plugins
July 3, 2024 13:47 32m 28s
Split the nsatz plugin into a core package and an Ltac1 syntax. GitHub macOS CI #1051: Commit 9260be4 pushed by ppedrot
July 3, 2024 13:27 29m 0s ltac1-split-some-plugins
ltac1-split-some-plugins
July 3, 2024 13:27 29m 0s
Inline calls to Functional Scheme in FMapAVL. GitHub macOS CI #1050: Commit a8ee67a pushed by ppedrot
July 3, 2024 12:14 25m 52s rm-funind-fmapavl
rm-funind-fmapavl
July 3, 2024 12:14 25m 52s
Algorithmically faster computation of argument scopes. GitHub macOS CI #1049: Commit 4ec6f2e pushed by ppedrot
July 2, 2024 09:37 29m 59s fast-scope-computation
fast-scope-computation
July 2, 2024 09:37 29m 59s
More backwards compatible pretyping of template GitHub macOS CI #1048: Commit 8985225 pushed by ppedrot
June 28, 2024 12:26 27m 37s template-no-sup-constraint
template-no-sup-constraint
June 28, 2024 12:26 27m 37s
More backwards compatible pretyping of template GitHub macOS CI #1047: Commit 5bb9475 pushed by SkySkimmer
June 27, 2024 13:56 27m 35s template-no-sup-constraint
template-no-sup-constraint
June 27, 2024 13:56 27m 35s
Fix Scheme Equality with template poly GitHub macOS CI #1046: Commit 99da525 pushed by ppedrot
June 26, 2024 12:33 29m 1s template-no-sup-constraint
template-no-sup-constraint
June 26, 2024 12:33 29m 1s
Document the restrictions to template universe levels in the changelog. GitHub macOS CI #1045: Commit e193b6f pushed by ppedrot
June 25, 2024 13:57 27m 40s template-no-sup-constraint-kernel
template-no-sup-constraint-kernel
June 25, 2024 13:57 27m 40s
Fix Scheme Equality with template poly GitHub macOS CI #1044: Commit ab9f9e3 pushed by ppedrot
June 25, 2024 13:26 28m 13s template-no-sup-constraint
template-no-sup-constraint
June 25, 2024 13:26 28m 13s
Adding changelog. GitHub macOS CI #1043: Commit 268de62 pushed by ppedrot
June 25, 2024 13:12 26m 55s template-no-sup-constraint-kernel
template-no-sup-constraint-kernel
June 25, 2024 13:12 26m 55s
Faster guardedness check when checking non-recursivity. GitHub macOS CI #1042: Commit a851a49 pushed by ppedrot
June 25, 2024 11:12 28m 24s fast-rtree-inductive-check
fast-rtree-inductive-check
June 25, 2024 11:12 28m 24s
[CoqIDE] Display warnings in their own tab. GitHub macOS CI #1041: Commit c0b489c pushed by ppedrot
June 25, 2024 08:22 36m 8s coqide-warning-tab
coqide-warning-tab
June 25, 2024 08:22 36m 8s
Small inlining of array-manipulating functions in Cbv. GitHub macOS CI #1040: Commit bcea77b pushed by ppedrot
June 24, 2024 20:22 28m 14s cbv-stack-list
cbv-stack-list
June 24, 2024 20:22 28m 14s
Laxer kernel typing rule for template inductive types. GitHub macOS CI #1039: Commit 62f4873 pushed by ppedrot
June 24, 2024 19:41 29m 48s template-no-sup-constraint-kernel
template-no-sup-constraint-kernel
June 24, 2024 19:41 29m 48s
Forbid non-linear template polymorphic universe levels. GitHub macOS CI #1038: Commit ed15f2c pushed by ppedrot
June 24, 2024 12:37 29m 43s template-linear-levels
template-linear-levels
June 24, 2024 12:37 29m 43s
Forbid non-linear template polymorphic universe levels. GitHub macOS CI #1037: Commit 228048e pushed by ppedrot
June 22, 2024 13:44 26m 57s template-linear-levels
template-linear-levels
June 22, 2024 13:44 26m 57s