Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
467 workflow run results
467 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use ltac backtrace in "tactic was not fully applied" error GitHub macOS CI #2377: Commit 311de26 pushed by SkySkimmer
October 3, 2023 13:34 35m 40s tac-of-val-trace
tac-of-val-trace
October 3, 2023 13:34 35m 40s
Use ltac backtrace in "tactic was not fully applied" error Windows CI #2215: Commit 311de26 pushed by SkySkimmer
October 3, 2023 13:34 1h 18m 58s tac-of-val-trace
tac-of-val-trace
October 3, 2023 13:34 1h 18m 58s
Use ltac backtrace in "tactic was not fully applied" error Check conflicts #4023: Commit 311de26 pushed by SkySkimmer
October 3, 2023 13:34 15s tac-of-val-trace
tac-of-val-trace
October 3, 2023 13:34 15s
Merge PR #18039: [CI] Remove fake dependency of VST on Flocq Windows CI #2214: Commit 227a087 pushed by SkySkimmer
October 3, 2023 13:23 1h 3m 39s master
master
October 3, 2023 13:23 1h 3m 39s
Merge PR #18039: [CI] Remove fake dependency of VST on Flocq Check conflicts #4022: Commit 227a087 pushed by SkySkimmer
October 3, 2023 13:23 15s master
master
October 3, 2023 13:23 15s
Merge PR #18039: [CI] Remove fake dependency of VST on Flocq GitHub macOS CI #2376: Commit 227a087 pushed by SkySkimmer
October 3, 2023 13:23 33m 44s master
master
October 3, 2023 13:23 33m 44s
Ltac2: named type variables can't be defined Check conflicts #4021: Commit f6ad02c pushed by SkySkimmer
October 3, 2023 08:32 11s ltac2-rigid-typ-var
ltac2-rigid-typ-var
October 3, 2023 08:32 11s
Ltac2: named type variables can't be defined GitHub macOS CI #2375: Commit f6ad02c pushed by SkySkimmer
October 3, 2023 08:32 36m 16s ltac2-rigid-typ-var
ltac2-rigid-typ-var
October 3, 2023 08:32 36m 16s
Ltac2: named type variables can't be defined Windows CI #2213: Commit f6ad02c pushed by SkySkimmer
October 3, 2023 08:32 59m 59s ltac2-rigid-typ-var
ltac2-rigid-typ-var
October 3, 2023 08:32 59m 59s
Ltac2: named type variables can't be defined Check conflicts #4020: Commit 68d46c9 pushed by SkySkimmer
October 3, 2023 08:31 11s ltac2-rigid-typ-var
ltac2-rigid-typ-var
October 3, 2023 08:31 11s
Ltac2: named type variables can't be defined Windows CI #2212: Commit 68d46c9 pushed by SkySkimmer
October 3, 2023 08:31 1h 24m 37s ltac2-rigid-typ-var
ltac2-rigid-typ-var
October 3, 2023 08:31 1h 24m 37s
Ltac2: named type variables can't be defined GitHub macOS CI #2374: Commit 68d46c9 pushed by SkySkimmer
October 3, 2023 08:31 34m 20s ltac2-rigid-typ-var
ltac2-rigid-typ-var
October 3, 2023 08:31 34m 20s
Stale PRs Stale PRs #544: Scheduled
October 3, 2023 02:18 2s master
master
October 3, 2023 02:18 2s
Bench: export TIMED=1 (enable coq_makefile per file timings) Check conflicts #4019: Commit 2d754c9 pushed by SkySkimmer
October 2, 2023 14:37 15s bench-timed
bench-timed
October 2, 2023 14:37 15s
Bench: export TIMED=1 (enable coq_makefile per file timings) GitHub macOS CI #2373: Commit 2d754c9 pushed by SkySkimmer
October 2, 2023 14:37 34m 18s bench-timed
bench-timed
October 2, 2023 14:37 34m 18s
Bench: export TIMED=1 (enable coq_makefile per file timings) Windows CI #2211: Commit 2d754c9 pushed by SkySkimmer
October 2, 2023 14:37 1h 0m 45s bench-timed
bench-timed
October 2, 2023 14:37 1h 0m 45s
Fix ocamldebug load_printer calls after adding coq-core.perf GitHub macOS CI #2372: Commit 5d00af8 pushed by SkySkimmer
October 2, 2023 13:27 34m 8s fix-dbg
fix-dbg
October 2, 2023 13:27 34m 8s
Fix ocamldebug load_printer calls after adding coq-core.perf Windows CI #2210: Commit 5d00af8 pushed by SkySkimmer
October 2, 2023 13:27 1h 18m 16s fix-dbg
fix-dbg
October 2, 2023 13:27 1h 18m 16s
Fix ocamldebug load_printer calls after adding coq-core.perf Check conflicts #4018: Commit 5d00af8 pushed by SkySkimmer
October 2, 2023 13:27 12s fix-dbg
fix-dbg
October 2, 2023 13:27 12s
Merge PR #18108: Update doc URLs Check conflicts #4017: Commit a41fd86 pushed by SkySkimmer
October 2, 2023 12:55 15s master
master
October 2, 2023 12:55 15s
Merge PR #18108: Update doc URLs GitHub macOS CI #2371: Commit a41fd86 pushed by SkySkimmer
October 2, 2023 12:55 34m 33s master
master
October 2, 2023 12:55 34m 33s
Merge PR #18108: Update doc URLs Windows CI #2209: Commit a41fd86 pushed by SkySkimmer
October 2, 2023 12:55 1h 3m 16s master
master
October 2, 2023 12:55 1h 3m 16s
Remove unused nametab for qvars Check conflicts #4016: Commit 1f8da90 pushed by SkySkimmer
October 2, 2023 12:25 13s sort-poly
sort-poly
October 2, 2023 12:25 13s
Remove unused nametab for qvars Windows CI #2208: Commit 1f8da90 pushed by SkySkimmer
October 2, 2023 12:25 1h 9m 24s sort-poly
sort-poly
October 2, 2023 12:25 1h 9m 24s
Remove unused nametab for qvars GitHub macOS CI #2370: Commit 1f8da90 pushed by SkySkimmer
October 2, 2023 12:25 37m 32s sort-poly
sort-poly
October 2, 2023 12:25 37m 32s