Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fully sort polymorphic inductives GitHub macOS CI #2617: Commit abf6fc5 pushed by SkySkimmer
November 17, 2023 16:45 43m 36s sort-poly-ind
sort-poly-ind
November 17, 2023 16:45 43m 36s
Merge PR #18260: Cache set of undefined impossible case evars in evar… GitHub macOS CI #2616: Commit 4a20f70 pushed by SkySkimmer
November 17, 2023 13:31 36m 21s master
master
November 17, 2023 13:31 36m 21s
Compat typeclass for list_reifyl GitHub macOS CI #2615: Commit 95769b8 pushed by SkySkimmer
November 16, 2023 11:30 36m 7s reify-ring-ltac
reify-ring-ltac
November 16, 2023 11:30 36m 7s
Compat typeclass for list_reifyl GitHub macOS CI #2614: Commit dcffc7f pushed by SkySkimmer
November 16, 2023 09:14 36m 39s reify-ring-ltac
reify-ring-ltac
November 16, 2023 09:14 36m 39s
Compat typeclass for list_reifyl GitHub macOS CI #2613: Commit a5617de pushed by SkySkimmer
November 16, 2023 09:05 1h 30m 25s reify-ring-ltac
reify-ring-ltac
November 16, 2023 09:05 1h 30m 25s
Compat typeclass for list_reifyl GitHub macOS CI #2612: Commit e70d0c3 pushed by SkySkimmer
November 16, 2023 08:54 17m 20s reify-ring-ltac
reify-ring-ltac
November 16, 2023 08:54 17m 20s
Merge PR #17933: Add more tests for nia GitHub macOS CI #2611: Commit ec31a6e pushed by SkySkimmer
November 16, 2023 08:48 36m 43s master
master
November 16, 2023 08:48 36m 43s
Bench: use -j 2 GitHub macOS CI #2610: Commit 2d36614 pushed by SkySkimmer
November 15, 2023 16:09 34m 19s bench-j2
bench-j2
November 15, 2023 16:09 34m 19s
enable TIMED for test suite in bench GitHub macOS CI #2609: Commit 698a00a pushed by SkySkimmer
November 15, 2023 16:07 39m 17s test-update
test-update
November 15, 2023 16:07 39m 17s
Merge PR #18317: Remove perennial from default benched packages GitHub macOS CI #2608: Commit 56a7f9c pushed by SkySkimmer
November 15, 2023 16:02 34m 42s master
master
November 15, 2023 16:02 34m 42s
Remove duplicated Ring arguments in ring reification infrastructure GitHub macOS CI #2607: Commit 7a0dabe pushed by SkySkimmer
November 15, 2023 15:36 36m 56s dup-ring-reify
dup-ring-reify
November 15, 2023 15:36 36m 56s
Reimplement ring reification in ltac instead of typeclasses GitHub macOS CI #2606: Commit df45fd0 pushed by SkySkimmer
November 15, 2023 15:33 35m 34s reify-ring-ltac
reify-ring-ltac
November 15, 2023 15:33 35m 34s
gitignore *.real in test-suite/misc GitHub macOS CI #2605: Commit 96c420e pushed by SkySkimmer
November 15, 2023 12:25 34m 54s ignore-dotreal
ignore-dotreal
November 15, 2023 12:25 34m 54s
Ltac2: make argument order of fold combinators same as OCaml GitHub macOS CI #2604: Commit aacf73c pushed by SkySkimmer
November 15, 2023 08:53 34m 52s ltac2-fold-order
ltac2-fold-order
November 15, 2023 08:53 34m 52s
ci-fiat_crypto: try setting -async-proofs-tac-j 1 GitHub macOS CI #2603: Commit 39fe59e pushed by SkySkimmer
November 15, 2023 08:50 34m 24s fiat-crypto-async-j
fiat-crypto-async-j
November 15, 2023 08:50 34m 24s
Remove perennial from default benched packages GitHub macOS CI #2602: Commit d46577d pushed by SkySkimmer
November 15, 2023 08:41 34m 43s bench-no-perennial
bench-no-perennial
November 15, 2023 08:41 34m 43s
Bump version (8.20+alpha) GitHub macOS CI #2601: Commit 1d38647 pushed by SkySkimmer
November 15, 2023 08:40 35m 49s initial-820
initial-820
November 15, 2023 08:40 35m 49s
Merge PR #18028: Add coq-neural-net-interp-computed to bench GitHub macOS CI #2600: Commit b262feb pushed by SkySkimmer
November 15, 2023 08:35 34m 27s master
master
November 15, 2023 08:35 34m 27s
enable TIMED for test suite in bench GitHub macOS CI #2599: Commit f877c61 pushed by SkySkimmer
November 14, 2023 13:25 55m 4s test-update
test-update
November 14, 2023 13:25 55m 4s
CI: enable TIMED for macos test-suite GitHub macOS CI #2598: Commit 2a0e1e1 pushed by SkySkimmer
November 14, 2023 13:24 46m 20s test-update
test-update
November 14, 2023 13:24 46m 20s
Ltac2: turn record "the with clause is useless" error into warning (d… GitHub macOS CI #2597: Commit a7e1214 pushed by SkySkimmer
November 14, 2023 13:22 37m 39s useless-record-with
useless-record-with
November 14, 2023 13:22 37m 39s
Remove perennial from default benched packages GitHub macOS CI #2596: Commit fd08285 pushed by SkySkimmer
November 14, 2023 13:21 34m 22s bench-no-perennial
bench-no-perennial
November 14, 2023 13:21 34m 22s
Ltac2: fix level of red_flags:() notation GitHub macOS CI #2595: Commit 54f9f2e pushed by SkySkimmer
November 14, 2023 13:09 40m 57s redflags-level
redflags-level
November 14, 2023 13:09 40m 57s
Fix check that fixpoints on SProp inductives produce SProp values GitHub macOS CI #2594: Commit aaa751d pushed by SkySkimmer
November 14, 2023 13:07 34m 54s fix-sort-poly-fixcheck
fix-sort-poly-fixcheck
November 14, 2023 13:07 34m 54s
Fix relevance handling in Tactics.mutual_fix GitHub macOS CI #2593: Commit 6705fa4 pushed by SkySkimmer
November 14, 2023 12:58 35m 4s fix-relevance-fix
fix-relevance-fix
November 14, 2023 12:58 35m 4s
ProTip! You can narrow down the results and go further in time using created:<2023-11-14 or the other filters available.