Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: enable TIMED for macos test-suite GitHub macOS CI #2475: Commit 2aff817 pushed by SkySkimmer
October 27, 2023 12:30 38m 8s test-update
test-update
October 27, 2023 12:30 38m 8s
CI: enable TIMED for macos test-suite GitHub macOS CI #2474: Commit 3477ff5 pushed by SkySkimmer
October 27, 2023 11:44 36m 54s test-update
test-update
October 27, 2023 11:44 36m 54s
test-suite: run make-one-time-file if TIMED GitHub macOS CI #2473: Commit 4988857 pushed by SkySkimmer
October 27, 2023 11:18 34m 10s test-update
test-update
October 27, 2023 11:18 34m 10s
CI: set TIMED=1 for test suite jobs GitHub macOS CI #2472: Commit a894b86 pushed by SkySkimmer
October 26, 2023 16:03 33m 47s test-update
test-update
October 26, 2023 16:03 33m 47s
Don't nf_univ_variables in prepare_hint GitHub macOS CI #2471: Commit 908cecc pushed by SkySkimmer
October 26, 2023 13:43 36m 35s hints-nf-uvars
hints-nf-uvars
October 26, 2023 13:43 36m 35s
Prevent incorrect extraction of nontrivial sort polymorphism GitHub macOS CI #2470: Commit 5adc9b3 pushed by SkySkimmer
October 26, 2023 12:31 38m 30s sort-poly
sort-poly
October 26, 2023 12:31 38m 30s
Use CDebug instead of msg_debug in indschemes GitHub macOS CI #2469: Commit fc4076e pushed by SkySkimmer
October 26, 2023 12:26 35m 45s schemes-debug
schemes-debug
October 26, 2023 12:26 35m 45s
Ltac2: make argument order of fold combinators same as OCaml GitHub macOS CI #2468: Commit 0ccec08 pushed by SkySkimmer
October 26, 2023 12:23 35m 2s ltac2-fold-order
ltac2-fold-order
October 26, 2023 12:23 35m 2s
Remove Summary.Local (deprecated in 8.18) GitHub macOS CI #2467: Commit 0c15794 pushed by SkySkimmer
October 26, 2023 11:26 35m 24s summ-local-ref
summ-local-ref
October 26, 2023 11:26 35m 24s
Merge PR #17947: An update to #15582: clarify remaining obscure point… GitHub macOS CI #2466: Commit 08dcbc5 pushed by SkySkimmer
October 26, 2023 11:23 40m 19s master
master
October 26, 2023 11:23 40m 19s
CI: Set fiat_crypto allow_failure GitHub macOS CI #2465: Commit 2680f9b pushed by SkySkimmer
October 25, 2023 14:21 40m 46s fia--allow-fail
fia--allow-fail
October 25, 2023 14:21 40m 46s
Add tests for catching anomalies in conversion GitHub macOS CI #2464: Commit 854b517 pushed by SkySkimmer
October 25, 2023 13:03 45m 51s catch-anom
catch-anom
October 25, 2023 13:03 45m 51s
Add tests for catching anomalies in conversion GitHub macOS CI #2463: Commit 2625735 pushed by SkySkimmer
October 25, 2023 13:01 39m 8s catch-anom
catch-anom
October 25, 2023 13:01 39m 8s
Merge PR #18192: Fixing confusion about idempotency of abs GitHub macOS CI #2462: Commit b7c0814 pushed by SkySkimmer
October 25, 2023 11:44 34m 1s master
master
October 25, 2023 11:44 34m 1s
Ltac2: incorporate type information in a nicer order for let rec GitHub macOS CI #2461: Commit 3cc8cbb pushed by SkySkimmer
October 24, 2023 16:04 40m 25s ltac2-intern-let
ltac2-intern-let
October 24, 2023 16:04 40m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.