Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
2,203 workflow runs
2,203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #18124: Remove the TacComplete AST GitHub macOS CI #2391: Commit b5d259a pushed by SkySkimmer
October 5, 2023 12:46 34m 14s master
master
October 5, 2023 12:46 34m 14s
Ltac2: named type variables can't be defined GitHub macOS CI #2390: Commit 69bcb60 pushed by SkySkimmer
October 5, 2023 08:30 34m 40s ltac2-rigid-typ-var
ltac2-rigid-typ-var
October 5, 2023 08:30 34m 40s
Ltac2: Fresh.Free.t = ident FSet.t GitHub macOS CI #2389: Commit 58ef0ba pushed by SkySkimmer
October 5, 2023 08:25 34m 24s ltac2-fresh-set
ltac2-fresh-set
October 5, 2023 08:25 34m 24s
Fix Class_tactics.run_on_goals setting incorrect typeclass evars GitHub macOS CI #2388: Commit 6d5365f pushed by SkySkimmer
October 5, 2023 08:04 35m 45s run-on-goals
run-on-goals
October 5, 2023 08:04 35m 45s
Overlays for head reduction flag PR GitHub macOS CI #2387: Commit adaa829 pushed by SkySkimmer
October 5, 2023 07:49 34m 30s redexpr
redexpr
October 5, 2023 07:49 34m 30s
Merge PR #18110: Fix ocamldebug load_printer calls after adding coq-c… GitHub macOS CI #2386: Commit 4429d4b pushed by SkySkimmer
October 5, 2023 07:45 34m 33s master
master
October 5, 2023 07:45 34m 33s
Use ltac backtrace in "tactic was not fully applied" error GitHub macOS CI #2385: Commit 53400b8 pushed by SkySkimmer
October 4, 2023 14:12 33m 22s tac-of-val-trace
tac-of-val-trace
October 4, 2023 14:12 33m 22s
Merge PR #18105: Rename perf/perf.c into perf/coq_perf.c GitHub macOS CI #2384: Commit e6a9578 pushed by SkySkimmer
October 4, 2023 14:09 38m 24s master
master
October 4, 2023 14:09 38m 24s
Attribute #[native_compile=no] per definition GitHub macOS CI #2383: Commit 2224855 pushed by SkySkimmer
October 4, 2023 12:09 34m 41s native-off-perdef
native-off-perdef
October 4, 2023 12:09 34m 41s
Bench: use make-both-time-files on the combined logs GitHub macOS CI #2382: Commit 1e235ec pushed by SkySkimmer
October 4, 2023 11:58 35m 43s bench-timed
bench-timed
October 4, 2023 11:58 35m 43s
Attribute #[native_compile=no] per definition GitHub macOS CI #2381: Commit 627b09c pushed by SkySkimmer
October 4, 2023 11:42 34m 50s native-off-perdef
native-off-perdef
October 4, 2023 11:42 34m 50s
Ltac2: Fresh.Free.t = ident FSet.t GitHub macOS CI #2380: Commit d1bde3e pushed by SkySkimmer
October 4, 2023 11:12 37m 0s ltac2-fresh-set
ltac2-fresh-set
October 4, 2023 11:12 37m 0s
Remove unused nametab for qvars GitHub macOS CI #2379: Commit 93d24c2 pushed by SkySkimmer
October 4, 2023 10:34 34m 29s sort-poly
sort-poly
October 4, 2023 10:34 34m 29s
Bench: use make-both-time-files on opam logs GitHub macOS CI #2378: Commit 3d253c5 pushed by SkySkimmer
October 3, 2023 13:59 35m 30s bench-timed
bench-timed
October 3, 2023 13:59 35m 30s
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
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 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 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
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
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
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
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
Doc for sort poly GitHub macOS CI #2369: Commit 875327f pushed by SkySkimmer
October 2, 2023 12:15 34m 41s sort-poly
sort-poly
October 2, 2023 12:15 34m 41s
Doc for sort poly GitHub macOS CI #2368: Commit fd32ff4 pushed by SkySkimmer
October 2, 2023 12:12 35m 3s sort-poly
sort-poly
October 2, 2023 12:12 35m 3s
Merge PR #18031: [ssr] Rm cast notation GitHub macOS CI #2367: Commit a2bf792 pushed by SkySkimmer
October 2, 2023 10:17 36m 5s master
master
October 2, 2023 10:17 36m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-10-02 or the other filters available.