Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,344 workflow run results
4,344 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
export OPAMSKIPUPDATE=1 (stop opam from messing with our pin edits) Check conflicts #5435: Commit 8a97c75 pushed by SkySkimmer
July 23, 2024 13:30 11s bench-pins
bench-pins
July 23, 2024 13:30 11s
export OPAMSKIPUPDATE=1 (stop opam from messing with our pin edits) Windows CI #3627: Commit 8a97c75 pushed by SkySkimmer
July 23, 2024 13:30 43m 50s bench-pins
bench-pins
July 23, 2024 13:30 43m 50s
Fix destruct eqn with univ poly equality Check conflicts #5434: Commit e99a0b7 pushed by SkySkimmer
July 23, 2024 13:10 10s fix-destruct-eqn-poly
fix-destruct-eqn-poly
July 23, 2024 13:10 10s
Fix destruct eqn with univ poly equality Windows CI #3626: Commit e99a0b7 pushed by SkySkimmer
July 23, 2024 13:10 1h 6m 11s fix-destruct-eqn-poly
fix-destruct-eqn-poly
July 23, 2024 13:10 1h 6m 11s
Fix destruct eqn with univ poly equality GitHub macOS CI #3788: Commit e99a0b7 pushed by SkySkimmer
July 23, 2024 13:10 27m 42s fix-destruct-eqn-poly
fix-destruct-eqn-poly
July 23, 2024 13:10 27m 42s
Rename UState.add_global_univ -> add_forgotten_univ Check conflicts #5433: Commit 6bbb9e5 pushed by SkySkimmer
July 23, 2024 12:59 16s more-demote
more-demote
July 23, 2024 12:59 16s
Rename UState.add_global_univ -> add_forgotten_univ Windows CI #3625: Commit 6bbb9e5 pushed by SkySkimmer
July 23, 2024 12:59 50m 53s more-demote
more-demote
July 23, 2024 12:59 50m 53s
Rename UState.add_global_univ -> add_forgotten_univ GitHub macOS CI #3787: Commit 6bbb9e5 pushed by SkySkimmer
July 23, 2024 12:59 28m 42s more-demote
more-demote
July 23, 2024 12:59 28m 42s
More generic allocation avoiding in reductionops Check conflicts #5432: Commit 2f94fe5 pushed by SkySkimmer
July 23, 2024 12:49 15s careful-whnf-betaiota
careful-whnf-betaiota
July 23, 2024 12:49 15s
More generic allocation avoiding in reductionops GitHub macOS CI #3786: Commit 2f94fe5 pushed by SkySkimmer
July 23, 2024 12:49 26m 49s careful-whnf-betaiota
careful-whnf-betaiota
July 23, 2024 12:49 26m 49s
More generic allocation avoiding in reductionops Windows CI #3624: Commit 2f94fe5 pushed by SkySkimmer
July 23, 2024 12:49 35m 34s careful-whnf-betaiota
careful-whnf-betaiota
July 23, 2024 12:49 35m 34s
More generic allocation avoiding in reductionops Check conflicts #5431: Commit 15dd46c pushed by SkySkimmer
July 23, 2024 12:49 10s careful-whnf-betaiota
careful-whnf-betaiota
July 23, 2024 12:49 10s
More generic allocation avoiding in reductionops Windows CI #3623: Commit 15dd46c pushed by SkySkimmer
July 23, 2024 12:49 38m 54s careful-whnf-betaiota
careful-whnf-betaiota
July 23, 2024 12:49 38m 54s
More generic allocation avoiding in reductionops GitHub macOS CI #3785: Commit 15dd46c pushed by SkySkimmer
July 23, 2024 12:49 37m 51s careful-whnf-betaiota
careful-whnf-betaiota
July 23, 2024 12:49 37m 51s
Vars.lift_substituend use previous computation to detect closed subterms Check conflicts #5430: Commit 5167ca8 pushed by SkySkimmer
July 23, 2024 12:32 13s lift-with
lift-with
July 23, 2024 12:32 13s
Vars.lift_substituend use previous computation to detect closed subterms Windows CI #3622: Commit 5167ca8 pushed by SkySkimmer
July 23, 2024 12:32 39m 24s lift-with
lift-with
July 23, 2024 12:32 39m 24s
Vars.lift_substituend use previous computation to detect closed subterms GitHub macOS CI #3784: Commit 5167ca8 pushed by SkySkimmer
July 23, 2024 12:32 34m 17s lift-with
lift-with
July 23, 2024 12:32 34m 17s
Merge PR #19401: Annotate ocaml deprecations with the coq versions wh… Check conflicts #5429: Commit d515f92 pushed by SkySkimmer
July 23, 2024 11:32 10s master
master
July 23, 2024 11:32 10s
Merge PR #19401: Annotate ocaml deprecations with the coq versions wh… GitHub macOS CI #3783: Commit d515f92 pushed by SkySkimmer
July 23, 2024 11:32 30m 11s master
master
July 23, 2024 11:32 30m 11s
Merge PR #19401: Annotate ocaml deprecations with the coq versions wh… Windows CI #3621: Commit d515f92 pushed by SkySkimmer
July 23, 2024 11:32 36m 48s master
master
July 23, 2024 11:32 36m 48s
Stale PRs Stale PRs #754: Scheduled
July 23, 2024 02:32 2s master
master
July 23, 2024 02:32 2s