Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,808 workflow runs
6,808 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #19938: coq_makefile produce timing info for coqdep GitHub macOS CI #4504: Commit f64f690 pushed by SkySkimmer
December 19, 2024 15:26 25m 46s master
master
December 19, 2024 15:26 25m 46s
Merge PR #19938: coq_makefile produce timing info for coqdep Check conflicts #6150: Commit f64f690 pushed by SkySkimmer
December 19, 2024 15:26 12s master
master
December 19, 2024 15:26 12s
Merge PR #19938: coq_makefile produce timing info for coqdep Windows CI #4342: Commit f64f690 pushed by SkySkimmer
December 19, 2024 15:26 57m 59s master
master
December 19, 2024 15:26 57m 59s
Separate pretyping of template poly from main loop pretyping GitHub macOS CI #4503: Commit 08b860c pushed by SkySkimmer
December 19, 2024 15:18 27m 50s template-poly-separate-pretype
template-poly-separate-pretype
December 19, 2024 15:18 27m 50s
Separate pretyping of template poly from main loop pretyping Windows CI #4341: Commit 08b860c pushed by SkySkimmer
December 19, 2024 15:18 1h 2m 24s template-poly-separate-pretype
template-poly-separate-pretype
December 19, 2024 15:18 1h 2m 24s
Separate pretyping of template poly from main loop pretyping Check conflicts #6149: Commit 08b860c pushed by SkySkimmer
December 19, 2024 15:18 13s template-poly-separate-pretype
template-poly-separate-pretype
December 19, 2024 15:18 13s
CI: validate jobs also check stdlib GitHub macOS CI #4502: Commit b5c14e8 pushed by SkySkimmer
December 19, 2024 12:42 24m 56s validate-stdlib
validate-stdlib
December 19, 2024 12:42 24m 56s
CI: validate jobs also check stdlib Check conflicts #6148: Commit b5c14e8 pushed by SkySkimmer
December 19, 2024 12:42 11s validate-stdlib
validate-stdlib
December 19, 2024 12:42 11s
CI: validate jobs also check stdlib Windows CI #4340: Commit b5c14e8 pushed by SkySkimmer
December 19, 2024 12:42 1h 3m 10s validate-stdlib
validate-stdlib
December 19, 2024 12:42 1h 3m 10s
stdlib use custom wrapper to avoid depending on coq-core GitHub macOS CI #4501: Commit d8f3879 pushed by SkySkimmer
December 19, 2024 12:30 24m 45s stdlib-no-coq
stdlib-no-coq
December 19, 2024 12:30 24m 45s
stdlib use custom wrapper to avoid depending on coq-core Check conflicts #6147: Commit d8f3879 pushed by SkySkimmer
December 19, 2024 12:30 12s stdlib-no-coq
stdlib-no-coq
December 19, 2024 12:30 12s
stdlib use custom wrapper to avoid depending on coq-core Windows CI #4339: Commit d8f3879 pushed by SkySkimmer
December 19, 2024 12:30 1h 1m 14s stdlib-no-coq
stdlib-no-coq
December 19, 2024 12:30 1h 1m 14s
CI: validate jobs also check stdlib GitHub macOS CI #4500: Commit 6f1767d pushed by SkySkimmer
December 19, 2024 12:22 21m 10s validate-stdlib
validate-stdlib
December 19, 2024 12:22 21m 10s
CI: validate jobs also check stdlib Check conflicts #6146: Commit 6f1767d pushed by SkySkimmer
December 19, 2024 12:22 10s validate-stdlib
validate-stdlib
December 19, 2024 12:22 10s
CI: validate jobs also check stdlib Windows CI #4338: Commit 6f1767d pushed by SkySkimmer
December 19, 2024 12:22 1h 0m 14s validate-stdlib
validate-stdlib
December 19, 2024 12:22 1h 0m 14s
Merge PR #19943: GADT-based representation of module / module types. Check conflicts #6145: Commit 734ec43 pushed by SkySkimmer
December 19, 2024 12:10 14s master
master
December 19, 2024 12:10 14s
Merge PR #19943: GADT-based representation of module / module types. Windows CI #4337: Commit 734ec43 pushed by SkySkimmer
December 19, 2024 12:10 59m 44s master
master
December 19, 2024 12:10 59m 44s
Merge PR #19943: GADT-based representation of module / module types. GitHub macOS CI #4499: Commit 734ec43 pushed by SkySkimmer
December 19, 2024 12:10 28m 36s master
master
December 19, 2024 12:10 28m 36s
Stale PRs Stale PRs #861: Scheduled
December 19, 2024 02:55 3s master
master
December 19, 2024 02:55 3s
Remove unused argument of Retyping make_param_univs Windows CI #4336: Commit 19d7f34 pushed by SkySkimmer
December 18, 2024 15:40 52m 39s retyping-indu
retyping-indu
December 18, 2024 15:40 52m 39s
Remove unused argument of Retyping make_param_univs Check conflicts #6144: Commit 19d7f34 pushed by SkySkimmer
December 18, 2024 15:40 11s retyping-indu
retyping-indu
December 18, 2024 15:40 11s
Remove unused argument of Retyping make_param_univs GitHub macOS CI #4498: Commit 19d7f34 pushed by SkySkimmer
December 18, 2024 15:40 29m 39s retyping-indu
retyping-indu
December 18, 2024 15:40 29m 39s
Fix dune-dbg (coqdep.bc doesn't exist anymore) Check conflicts #6143: Commit b07874f pushed by SkySkimmer
December 18, 2024 15:02 15s dbg-coqdep
dbg-coqdep
December 18, 2024 15:02 15s
Fix dune-dbg (coqdep.bc doesn't exist anymore) GitHub macOS CI #4497: Commit b07874f pushed by SkySkimmer
December 18, 2024 15:02 22m 36s dbg-coqdep
dbg-coqdep
December 18, 2024 15:02 22m 36s
Fix dune-dbg (coqdep.bc doesn't exist anymore) Windows CI #4335: Commit b07874f pushed by SkySkimmer
December 18, 2024 15:02 1h 1m 4s dbg-coqdep
dbg-coqdep
December 18, 2024 15:02 1h 1m 4s