Skip to content

Actions: ppedrot/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
328 workflow runs
328 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
More backwards compatible pretyping of template Check conflicts #1987: Commit 5bb9475 pushed by SkySkimmer
June 27, 2024 13:56 11s template-no-sup-constraint
template-no-sup-constraint
June 27, 2024 13:56 11s
Fix Scheme Equality with template poly Check conflicts #1986: Commit 99da525 pushed by ppedrot
June 26, 2024 12:33 11s template-no-sup-constraint
template-no-sup-constraint
June 26, 2024 12:33 11s
Document the restrictions to template universe levels in the changelog. Check conflicts #1985: Commit e193b6f pushed by ppedrot
June 25, 2024 13:57 12s template-no-sup-constraint-kernel
template-no-sup-constraint-kernel
June 25, 2024 13:57 12s
Fix Scheme Equality with template poly Check conflicts #1984: Commit ab9f9e3 pushed by ppedrot
June 25, 2024 13:26 11s template-no-sup-constraint
template-no-sup-constraint
June 25, 2024 13:26 11s
Adding changelog. Check conflicts #1983: Commit 268de62 pushed by ppedrot
June 25, 2024 13:12 14s template-no-sup-constraint-kernel
template-no-sup-constraint-kernel
June 25, 2024 13:12 14s
Faster guardedness check when checking non-recursivity. Check conflicts #1982: Commit a851a49 pushed by ppedrot
June 25, 2024 11:12 16s fast-rtree-inductive-check
fast-rtree-inductive-check
June 25, 2024 11:12 16s
[CoqIDE] Display warnings in their own tab. Check conflicts #1981: Commit c0b489c pushed by ppedrot
June 25, 2024 08:22 13s coqide-warning-tab
coqide-warning-tab
June 25, 2024 08:22 13s
Small inlining of array-manipulating functions in Cbv. Check conflicts #1980: Commit bcea77b pushed by ppedrot
June 24, 2024 20:22 10s cbv-stack-list
cbv-stack-list
June 24, 2024 20:22 10s
Laxer kernel typing rule for template inductive types. Check conflicts #1979: Commit 62f4873 pushed by ppedrot
June 24, 2024 19:41 11s template-no-sup-constraint-kernel
template-no-sup-constraint-kernel
June 24, 2024 19:41 11s
Forbid non-linear template polymorphic universe levels. Check conflicts #1978: Commit ed15f2c pushed by ppedrot
June 24, 2024 12:37 12s template-linear-levels
template-linear-levels
June 24, 2024 12:37 12s
Forbid non-linear template polymorphic universe levels. Check conflicts #1977: Commit 228048e pushed by ppedrot
June 22, 2024 13:44 10s template-linear-levels
template-linear-levels
June 22, 2024 13:44 10s
Laxer kernel typing rule for template inductive types. Check conflicts #1976: Commit fb624bc pushed by ppedrot
June 22, 2024 12:53 10s template-no-sup-constraint-kernel
template-no-sup-constraint-kernel
June 22, 2024 12:53 10s
Fix Scheme Equality with template poly Check conflicts #1975: Commit bb86b07 pushed by ppedrot
June 21, 2024 13:16 11s template-no-sup-constraint
template-no-sup-constraint
June 21, 2024 13:16 11s
Forbid inflationary universes to be template polymorphic. Check conflicts #1974: Commit ce840d0 pushed by ppedrot
June 21, 2024 13:10 11s template-strict-level-constraint
template-strict-level-constraint
June 21, 2024 13:10 11s
Forbid inflationary universes to be template polymorphic. Check conflicts #1973: Commit 8e8165f pushed by ppedrot
June 20, 2024 20:33 10s template-strict-level-constraint
template-strict-level-constraint
June 20, 2024 20:33 10s
Stricter criterion for template universe levels. Check conflicts #1972: Commit 9f79877 pushed by ppedrot
June 20, 2024 19:57 13s template-strict-level-position
template-strict-level-position
June 20, 2024 19:57 13s
Fix Scheme Equality with template poly Check conflicts #1971: Commit 403c62d pushed by SkySkimmer
June 20, 2024 12:21 12s template-no-sup-constraint
template-no-sup-constraint
June 20, 2024 12:21 12s
Stricter criterion for template universe levels. Check conflicts #1970: Commit a7e1165 pushed by ppedrot
June 20, 2024 12:18 15s template-strict-level-position
template-strict-level-position
June 20, 2024 12:18 15s
Fix Scheme Equality with template poly Check conflicts #1969: Commit 688343b pushed by SkySkimmer
June 19, 2024 13:33 13s template-no-sup-constraint
template-no-sup-constraint
June 19, 2024 13:33 13s
Fix Typing.checked_appvect vs template poly Check conflicts #1968: Commit 39d2b20 pushed by ppedrot
June 19, 2024 12:45 13s template-no-sup-constraint
template-no-sup-constraint
June 19, 2024 12:45 13s
Adding overlays. Check conflicts #1967: Commit 48bea8e pushed by ppedrot
June 18, 2024 15:10 10s clenv-missing-centralize-api
clenv-missing-centralize-api
June 18, 2024 15:10 10s
Fix Typing.checked_appvect vs template poly Check conflicts #1966: Commit c9e52cc pushed by ppedrot
June 18, 2024 15:00 12s template-no-sup-constraint
template-no-sup-constraint
June 18, 2024 15:00 12s
pretyping doesn't generate extra template poly constraints Check conflicts #1965: Commit b5e5905 pushed by SkySkimmer
June 18, 2024 14:31 10s template-no-sup-constraint
template-no-sup-constraint
June 18, 2024 14:31 10s
pretyping doesn't generate extra template poly constraints Check conflicts #1964: Commit 8824dd2 pushed by SkySkimmer
June 18, 2024 13:48 11s template-no-sup-constraint
template-no-sup-constraint
June 18, 2024 13:48 11s
Reduce further the code generating useless template constraints. Check conflicts #1963: Commit ec90e8a pushed by ppedrot
June 18, 2024 13:20 15s template-no-sup-constraint
template-no-sup-constraint
June 18, 2024 13:20 15s