Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,976 workflow run results
3,976 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

"make world" and dune default target don't build coqide GitHub macOS CI #3797: Commit bd1a180 pushed by SkySkimmer
July 24, 2024 12:47 26m 19s make-world-coqide
make-world-coqide
July 24, 2024 12:47 26m 19s
"make world" and dune default target don't build coqide Windows CI #3635: Commit bd1a180 pushed by SkySkimmer
July 24, 2024 12:47 57m 20s make-world-coqide
make-world-coqide
July 24, 2024 12:47 57m 20s
avoid level set union in declare Check conflicts #5442: Commit 68f05a5 pushed by SkySkimmer
July 24, 2024 12:43 12s univs-of-constr
univs-of-constr
July 24, 2024 12:43 12s
avoid level set union in declare GitHub macOS CI #3796: Commit 68f05a5 pushed by SkySkimmer
July 24, 2024 12:43 26m 51s univs-of-constr
univs-of-constr
July 24, 2024 12:43 26m 51s
avoid level set union in declare Windows CI #3634: Commit 68f05a5 pushed by SkySkimmer
July 24, 2024 12:43 56m 53s univs-of-constr
univs-of-constr
July 24, 2024 12:43 56m 53s
overlay for open_box instead of open_hovbox GitHub macOS CI #3795: Commit 38338e3 pushed by SkySkimmer
July 24, 2024 11:11 25m 26s open-box
open-box
July 24, 2024 11:11 25m 26s
overlay for open_box instead of open_hovbox Check conflicts #5441: Commit 38338e3 pushed by SkySkimmer
July 24, 2024 11:11 14s open-box
open-box
July 24, 2024 11:11 14s
overlay for open_box instead of open_hovbox Windows CI #3633: Commit 38338e3 pushed by SkySkimmer
July 24, 2024 11:11 1h 4m 12s open-box
open-box
July 24, 2024 11:11 1h 4m 12s
Bench: system to override opam urls Windows CI #3632: Commit 4f1992e pushed by SkySkimmer
July 24, 2024 10:45 55m 22s bench-pins
bench-pins
July 24, 2024 10:45 55m 22s
Bench: system to override opam urls Check conflicts #5440: Commit 4f1992e pushed by SkySkimmer
July 24, 2024 10:45 11s bench-pins
bench-pins
July 24, 2024 10:45 11s
Bench: system to override opam urls GitHub macOS CI #3794: Commit 4f1992e pushed by SkySkimmer
July 24, 2024 10:45 27m 3s bench-pins
bench-pins
July 24, 2024 10:45 27m 3s
Bench: system to override opam urls GitHub macOS CI #3793: Commit 79eb312 pushed by SkySkimmer
July 24, 2024 10:43 34m 20s bench-pins
bench-pins
July 24, 2024 10:43 34m 20s
Bench: system to override opam urls Windows CI #3631: Commit 79eb312 pushed by SkySkimmer
July 24, 2024 10:43 49m 39s bench-pins
bench-pins
July 24, 2024 10:43 49m 39s
Bench: system to override opam urls Check conflicts #5439: Commit 79eb312 pushed by SkySkimmer
July 24, 2024 10:43 17s bench-pins
bench-pins
July 24, 2024 10:43 17s
Merge PR #19379: Add debug printer for ppcmds to print as a format call Windows CI #3630: Commit c87f90a pushed by SkySkimmer
July 24, 2024 10:21 40m 11s master
master
July 24, 2024 10:21 40m 11s
Merge PR #19379: Add debug printer for ppcmds to print as a format call GitHub macOS CI #3792: Commit c87f90a pushed by SkySkimmer
July 24, 2024 10:21 31m 2s master
master
July 24, 2024 10:21 31m 2s
Merge PR #19379: Add debug printer for ppcmds to print as a format call Check conflicts #5438: Commit c87f90a pushed by SkySkimmer
July 24, 2024 10:21 11s master
master
July 24, 2024 10:21 11s
test more Check conflicts #5437: Commit 9c7ec49 pushed by SkySkimmer
July 24, 2024 07:38 13s bench-pins
bench-pins
July 24, 2024 07:38 13s
test more GitHub macOS CI #3791: Commit 9c7ec49 pushed by SkySkimmer
July 24, 2024 07:38 26m 10s bench-pins
bench-pins
July 24, 2024 07:38 26m 10s
test more Windows CI #3629: Commit 9c7ec49 pushed by SkySkimmer
July 24, 2024 07:38 37m 7s bench-pins
bench-pins
July 24, 2024 07:38 37m 7s
Stale PRs Stale PRs #755: Scheduled
July 24, 2024 02:32 2s master
master
July 24, 2024 02:32 2s
Make the bench easier to run locally Check conflicts #5436: Commit 29c95a3 pushed by SkySkimmer
July 23, 2024 14:04 19s bench-local
bench-local
July 23, 2024 14:04 19s
Make the bench easier to run locally GitHub macOS CI #3790: Commit 29c95a3 pushed by SkySkimmer
July 23, 2024 14:04 31m 21s bench-local
bench-local
July 23, 2024 14:04 31m 21s
Make the bench easier to run locally Windows CI #3628: Commit 29c95a3 pushed by SkySkimmer
July 23, 2024 14:04 48m 26s bench-local
bench-local
July 23, 2024 14:04 48m 26s
export OPAMSKIPUPDATE=1 (stop opam from messing with our pin edits) GitHub macOS CI #3789: Commit 8a97c75 pushed by SkySkimmer
July 23, 2024 13:30 30m 45s bench-pins
bench-pins
July 23, 2024 13:30 30m 45s