Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test GitHub macOS CI #2696: Commit abc8f41 pushed by SkySkimmer
December 7, 2023 13:15 42m 3s test-nix
test-nix
December 7, 2023 13:15 42m 3s
enable TIMED for test suite in bench GitHub macOS CI #2695: Commit 6dd5c6d pushed by SkySkimmer
December 7, 2023 12:50 44m 2s test-update
test-update
December 7, 2023 12:50 44m 2s
empty commit to stop PR closing GitHub macOS CI #2694: Commit fbeeb52 pushed by SkySkimmer
December 7, 2023 12:22 41m 13s 819-backports
819-backports
December 7, 2023 12:22 41m 13s
Merge PR #18300: [configure] Move test-suite configure parts to test-… GitHub macOS CI #2693: Commit d144efb pushed by SkySkimmer
December 7, 2023 12:19 42m 29s master
master
December 7, 2023 12:19 42m 29s
Merge PR #18365: Pin CI for 8.19 GitHub macOS CI #2692: Commit 48b88a9 pushed by SkySkimmer
December 7, 2023 12:18 40m 40s v8.19
v8.19
December 7, 2023 12:18 40m 40s
Merge PR #18371: Fix typos in universe polymorphism documentation GitHub macOS CI #2691: Commit 95884b8 pushed by SkySkimmer
December 7, 2023 12:12 43m 9s master
master
December 7, 2023 12:12 43m 9s
Merge PR #18330: explain the process of updating std++ and Iris GitHub macOS CI #2690: Commit 118e5d7 pushed by SkySkimmer
December 6, 2023 12:59 42m 50s master
master
December 6, 2023 12:59 42m 50s
Ltac2: Take some small APIs from rewriter (fst/snd, Special chars) GitHub macOS CI #2689: Commit 6cd0f09 pushed by SkySkimmer
December 5, 2023 14:58 43m 25s ltac2-apis
ltac2-apis
December 5, 2023 14:58 43m 25s
Take some small APIs from rewriter (fst/snd, Special chars) GitHub macOS CI #2688: Commit e2f410f pushed by SkySkimmer
December 5, 2023 14:58 42m 34s ltac2-apis
ltac2-apis
December 5, 2023 14:58 42m 34s
Ltac2.Char.of_int: use throw instead of raw exception for invalid a… GitHub macOS CI #2687: Commit 3ab1562 pushed by SkySkimmer
December 5, 2023 13:21 40m 54s ltac2-char-of-int
ltac2-char-of-int
December 5, 2023 13:21 40m 54s
Put parts of ltac2_plugin which depend on ltac1 in a separate plugin GitHub macOS CI #2686: Commit da0330e pushed by SkySkimmer
December 5, 2023 10:39 41m 10s ltac2-ltac1
ltac2-ltac1
December 5, 2023 10:39 41m 10s
Program: don't error if Program.Tactics is not required GitHub macOS CI #2685: Commit f190592 pushed by SkySkimmer
December 5, 2023 10:24 41m 46s program-require-required
program-require-required
December 5, 2023 10:24 41m 46s
Merge PR #18354: [plugins] (re)-export AST witnesses. GitHub macOS CI #2684: Commit afd902d pushed by SkySkimmer
December 4, 2023 15:59 43m 0s master
master
December 4, 2023 15:59 43m 0s
ci-wrapper: prevent piping from disabling auto colors, enable colors … GitHub macOS CI #2683: Commit 3268546 pushed by SkySkimmer
December 4, 2023 15:52 42m 33s ci-wrapper-color
ci-wrapper-color
December 4, 2023 15:52 42m 33s
Reimplement Ncring_tac reification in ltac instead of typeclasses GitHub macOS CI #2682: Commit b3663ed pushed by SkySkimmer
December 4, 2023 15:06 43m 4s reify-ring-ltac
reify-ring-ltac
December 4, 2023 15:06 43m 4s
Add refman version link for 8.19 GitHub macOS CI #2681: Commit 9ffd842 pushed by SkySkimmer
December 4, 2023 15:04 41m 41s refman-819
refman-819
December 4, 2023 15:04 41m 41s
Pin CI for 8.19 GitHub macOS CI #2680: Commit 46cc6a9 pushed by SkySkimmer
December 4, 2023 15:01 40m 44s 819-pin-ci
819-pin-ci
December 4, 2023 15:01 40m 44s
Merge PR #18293: Guard profiling with a flag in Ltac2. GitHub macOS CI #2679: Commit 89a5cee pushed by SkySkimmer
December 4, 2023 14:46 41m 34s v8.19
v8.19
December 4, 2023 14:46 41m 34s
Merge PR #18319: Bump version (8.20+alpha) GitHub macOS CI #2678: Commit ababbf4 pushed by SkySkimmer
December 4, 2023 14:46 42m 41s master
master
December 4, 2023 14:46 42m 41s
Merge PR #18254: Removing special declaration of instances with `Cont… GitHub macOS CI #2677: Commit 3e28234 pushed by SkySkimmer
December 4, 2023 12:37 41m 3s master
master
December 4, 2023 12:37 41m 3s
Merge PR #17340: Inline identity projections in extraction GitHub macOS CI #2676: Commit 29af35c pushed by SkySkimmer
December 4, 2023 12:03 45m 9s master
master
December 4, 2023 12:03 45m 9s
Remove use of Obj.magic in grammar.ml GitHub macOS CI #2675: Commit 1aa553d pushed by SkySkimmer
November 30, 2023 20:11 42m 3s gramlib-nomagic
gramlib-nomagic
November 30, 2023 20:11 42m 3s
SometimesSquashed of quality set instead of list GitHub macOS CI #2674: Commit 6763659 pushed by SkySkimmer
November 27, 2023 10:00 42m 9s sort-poly-ind
sort-poly-ind
November 27, 2023 10:00 42m 9s
ci-wrapper: prevent piping from disabling auto colors, enable colors … GitHub macOS CI #2673: Commit b9169dc pushed by SkySkimmer
November 24, 2023 22:24 42m 22s ci-wrapper-color
ci-wrapper-color
November 24, 2023 22:24 42m 22s
ci-wrapper: prevent piping from disabling auto colors, enable colors … GitHub macOS CI #2672: Commit 598710d pushed by SkySkimmer
November 24, 2023 17:26 41m 11s ci-wrapper-color
ci-wrapper-color
November 24, 2023 17:26 41m 11s
ProTip! You can narrow down the results and go further in time using created:<2023-11-24 or the other filters available.