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

Smarter algorithm to build frozen_and_pending_holes GitHub macOS CI #2291: Commit 06db5ea pushed by SkySkimmer
September 15, 2023 10:39 35m 9s frozen-and-pending
frozen-and-pending
September 15, 2023 10:39 35m 9s
Fix relevance check in typing.ml GitHub macOS CI #2290: Commit 55e1a9e pushed by SkySkimmer
September 15, 2023 10:34 39m 10s sort-poly
sort-poly
September 15, 2023 10:34 39m 10s
Merge PR #18019: Make Uint63.of_pos_rec recursive on the actual argum… GitHub macOS CI #2289: Commit c379f20 pushed by SkySkimmer
September 14, 2023 13:47 45m 33s master
master
September 14, 2023 13:47 45m 33s
Infrastructure for variable relevance projections (not yet plugged in) GitHub macOS CI #2288: Commit f640eef pushed by SkySkimmer
September 14, 2023 13:45 19m 58s sort-poly
sort-poly
September 14, 2023 13:45 19m 58s
Infrastructure for variable relevance projections (not yet plugged in) GitHub macOS CI #2287: Commit 1c65bf2 pushed by SkySkimmer
September 14, 2023 13:28 20m 55s sort-poly
sort-poly
September 14, 2023 13:28 20m 55s
Merge PR #18030: [CI] Add coq-neural-net-interp GitHub macOS CI #2286: Commit 679bcd7 pushed by SkySkimmer
September 13, 2023 12:24 43m 48s master
master
September 13, 2023 12:24 43m 48s
Merge PR #18036: Rebuild case info in nativenorm GitHub macOS CI #2285: Commit 269e86c pushed by SkySkimmer
September 13, 2023 10:24 45m 49s master
master
September 13, 2023 10:24 45m 49s
ObjFile.open_trapping_failure: don't discard sub exception GitHub macOS CI #2284: Commit 82902f5 pushed by SkySkimmer
September 13, 2023 07:53 37m 53s cantopen
cantopen
September 13, 2023 07:53 37m 53s
Smarter algorithm to build frozen_and_pending_holes GitHub macOS CI #2283: Commit 2f778c6 pushed by SkySkimmer
September 12, 2023 14:59 45m 17s abstract-evars
abstract-evars
September 12, 2023 14:59 45m 17s
Smarter algorithm to build frozen_and_pending_holes GitHub macOS CI #2282: Commit 2ee62fc pushed by SkySkimmer
September 12, 2023 14:02 40m 33s abstract-evars
abstract-evars
September 12, 2023 14:02 40m 33s
sort poly (with simple squashing model and no inductive output in qsort) GitHub macOS CI #2281: Commit 5773b11 pushed by SkySkimmer
September 12, 2023 12:11 19m 21s sort-poly
sort-poly
September 12, 2023 12:11 19m 21s
sort poly (with simple squashing model and no inductive output in qsort) GitHub macOS CI #2280: Commit 01c531e pushed by SkySkimmer
September 12, 2023 12:03 18m 32s sort-poly
sort-poly
September 12, 2023 12:03 18m 32s
sort poly (with simple squashing model and no inductive output in qsort) GitHub macOS CI #2279: Commit 70bab9d pushed by SkySkimmer
September 12, 2023 12:02 19m 38s sort-poly
sort-poly
September 12, 2023 12:02 19m 38s
Native: cleanup unused asw_ci in case annotation GitHub macOS CI #2278: Commit 75a5129 pushed by SkySkimmer
September 12, 2023 12:00 40m 41s no-asw-ci
no-asw-ci
September 12, 2023 12:00 40m 41s
sort poly (with simple squashing model and no inductive output in qsort) GitHub macOS CI #2277: Commit beb55c1 pushed by SkySkimmer
September 11, 2023 14:21 40m 13s sort-poly
sort-poly
September 11, 2023 14:21 40m 13s
Stop using assumption in replace by tac GitHub macOS CI #2276: Commit 447df32 pushed by SkySkimmer
September 11, 2023 13:33 41m 0s replace-assum
replace-assum
September 11, 2023 13:33 41m 0s
sort poly (with simple squashing model and no inductive output in qsort) GitHub macOS CI #2275: Commit 16e5bd0 pushed by SkySkimmer
September 11, 2023 12:38 41m 9s sort-poly
sort-poly
September 11, 2023 12:38 41m 9s
Apply suggestions from code review GitHub macOS CI #2274: Commit 98ff754 pushed by SkySkimmer
September 11, 2023 10:20 37m 46s trace
trace
September 11, 2023 10:20 37m 46s
Attribute #[native_compile=no] per definition GitHub macOS CI #2273: Commit 084d6de pushed by SkySkimmer
September 11, 2023 10:02 42m 55s native-off-perdef
native-off-perdef
September 11, 2023 10:02 42m 55s
Merge PR #18024: Fix name generation in destruct bla as [_ _0] when… GitHub macOS CI #2272: Commit 0cb5c5e pushed by SkySkimmer
September 11, 2023 09:33 37m 30s master
master
September 11, 2023 09:33 37m 30s
render_line_results: fix artifacts domain when running on inria gitlab GitHub macOS CI #2271: Commit 5a960e1 pushed by SkySkimmer
September 9, 2023 16:20 35m 30s fix-render-link
fix-render-link
September 9, 2023 16:20 35m 30s
Fix name generation in destruct bla as [_ _0] when name mangling is on GitHub macOS CI #2270: Commit 998cb7b pushed by SkySkimmer
September 8, 2023 13:00 42m 2s destructbasedon
destructbasedon
September 8, 2023 13:00 42m 2s
Fix name generation in destruct bla as [_ _0] when name mangling is on GitHub macOS CI #2269: Commit 8b441b5 pushed by SkySkimmer
September 8, 2023 12:59 37m 1s destructbasedon
destructbasedon
September 8, 2023 12:59 37m 1s
sort poly (not for inductive output type) GitHub macOS CI #2268: Commit 385480a pushed by SkySkimmer
September 8, 2023 10:31 39m 33s sort-poly
sort-poly
September 8, 2023 10:31 39m 33s
Support quotations (genargs) in patterns GitHub macOS CI #2267: Commit 480cd79 pushed by SkySkimmer
September 8, 2023 10:14 39m 38s pattern-quotations
pattern-quotations
September 8, 2023 10:14 39m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-09-08 or the other filters available.