Skip to content

Actions: SkySkimmer/coqutil

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
4 workflow runs
4 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Use Ltac2.Array.make 0 instead of Array.empty for compat (coq/coq… CI (Coq) #4: Commit 676f556 pushed by SkySkimmer
November 22, 2023 15:43 5m 50s ltac2-0arg-empty
ltac2-0arg-empty
November 22, 2023 15:43 5m 50s
Adapt to coq/coq#18197 (List and Array fold argument order change) CI (Coq) #3: Commit dc7dc82 pushed by SkySkimmer
November 13, 2023 12:17 2m 22s ltac2-fold-order
ltac2-fold-order
November 13, 2023 12:17 2m 22s
Adapt to coq/coq#18273 (Ltac2 supports head reduction) CI (Coq) #2: Commit f664c81 pushed by samuelgruetter
November 8, 2023 23:22 1m 52s ltac2-head-red
ltac2-head-red
November 8, 2023 23:22 1m 52s
Adapt to coq/coq#18273 (Ltac2 supports head reduction) CI (Coq) #1: Commit 579b902 pushed by SkySkimmer
November 8, 2023 12:50 2m 49s ltac2-head-red
ltac2-head-red
November 8, 2023 12:50 2m 49s