Skip to content

Actions: eladrion/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'coq:master' into extraction_extension GitHub macOS CI #53: Commit dcae41a pushed by eladrion
January 12, 2024 16:04 1h 17m 29s extraction_extension
extraction_extension
January 12, 2024 16:04 1h 17m 29s
Fix formatting, i.e. indentation, according to suggestions given by j… GitHub macOS CI #52: Commit eda7da8 pushed by eladrion
January 11, 2024 11:45 1h 15m 38s extraction_extension
extraction_extension
January 11, 2024 11:45 1h 15m 38s
Simplify merged functionality, e.g. get rid of the List.iter as in_cu… GitHub macOS CI #51: Commit 0003e43 pushed by eladrion
January 10, 2024 10:45 1h 13m 51s extraction_extension
extraction_extension
January 10, 2024 10:45 1h 13m 51s
An attempt to merge extract_constant_inline and `extract_constant_f… GitHub macOS CI #50: Commit 5e8e38e pushed by eladrion
January 9, 2024 16:15 1h 16m 31s extraction_extension
extraction_extension
January 9, 2024 16:15 1h 16m 31s
Fixing compilation error... did compile on my maching with OCaml 4.13… GitHub macOS CI #49: Commit db778f7 pushed by eladrion
January 9, 2024 16:08 1h 18m 33s extraction_extension
extraction_extension
January 9, 2024 16:08 1h 18m 33s
An attempt to merge extract_constant_inline and `extract_constant_f… GitHub macOS CI #48: Commit b67e1a0 pushed by eladrion
January 9, 2024 15:42 1h 13m 34s extraction_extension
extraction_extension
January 9, 2024 15:42 1h 13m 34s
Incorporate suggested changes by selene: GitHub macOS CI #47: Commit 7aa6b07 pushed by eladrion
January 9, 2024 11:56 1h 14m 21s extraction_extension
extraction_extension
January 9, 2024 11:56 1h 14m 21s
Merge branch 'coq:master' into extraction_extension GitHub macOS CI #46: Commit 390aeaa pushed by eladrion
January 9, 2024 11:02 1h 14m 23s extraction_extension
extraction_extension
January 9, 2024 11:02 1h 14m 23s
Update plugins/extraction/ocaml.ml GitHub macOS CI #45: Commit 0c050bd pushed by eladrion
January 9, 2024 11:01 1h 9m 48s extraction_extension
extraction_extension
January 9, 2024 11:01 1h 9m 48s
Deactivate the possibility to reset foreign extractions for now GitHub macOS CI #44: Commit b8b8c85 pushed by eladrion
November 14, 2023 14:41 36m 9s extraction_extension
extraction_extension
November 14, 2023 14:41 36m 9s
Extend the tests: GitHub macOS CI #43: Commit f1ea5b8 pushed by eladrion
November 14, 2023 14:25 36m 25s extraction_extension
extraction_extension
November 14, 2023 14:25 36m 25s
Fixing Tests GitHub macOS CI #42: Commit ebf18b9 pushed by eladrion
November 14, 2023 14:04 34m 20s extraction_extension
extraction_extension
November 14, 2023 14:04 34m 20s
Adding simple testcases for expected outputs: GitHub macOS CI #41: Commit f729248 pushed by eladrion
November 14, 2023 12:34 17m 53s extraction_extension
extraction_extension
November 14, 2023 12:34 17m 53s
Adding simple testcase for expected failures: GitHub macOS CI #40: Commit f3c070c pushed by eladrion
November 14, 2023 12:05 36m 15s extraction_extension
extraction_extension
November 14, 2023 12:05 36m 15s
Adding changelog entry GitHub macOS CI #39: Commit 82b96af pushed by eladrion
November 14, 2023 10:50 41m 25s extraction_extension
extraction_extension
November 14, 2023 10:50 41m 25s
Update plugins/extraction/ocaml.ml GitHub macOS CI #38: Commit 2d5ed14 pushed by eladrion
November 14, 2023 09:01 34m 26s extraction_extension
extraction_extension
November 14, 2023 09:01 34m 26s
Merge PR #18280: Move relevance outside of case_info GitHub macOS CI #37: Commit b10573d pushed by eladrion
November 14, 2023 08:24 33m 55s master
master
November 14, 2023 08:24 33m 55s
Update plugins/extraction/ocaml.ml GitHub macOS CI #36: Commit 652114b pushed by eladrion
November 13, 2023 15:37 36m 32s extraction_extension
extraction_extension
November 13, 2023 15:37 36m 32s
Apply suggestions from code review GitHub macOS CI #35: Commit d182956 pushed by eladrion
November 13, 2023 15:23 34m 14s extraction_extension
extraction_extension
November 13, 2023 15:23 34m 14s
Apply suggestions from code review GitHub macOS CI #34: Commit 4ee473a pushed by eladrion
November 13, 2023 12:05 33m 51s extraction_extension
extraction_extension
November 13, 2023 12:05 33m 51s
Merge PR #18287: [build] [opam] Pass -p correctly to make dunestrap… GitHub macOS CI #33: Commit b353daf pushed by eladrion
November 13, 2023 11:59 36m 25s master
master
November 13, 2023 11:59 36m 25s
Fixing layout spacing GitHub macOS CI #32: Commit 8a73bde pushed by eladrion
November 13, 2023 11:55 35m 16s extraction_extension
extraction_extension
November 13, 2023 11:55 35m 16s
Fixing layout spacing GitHub macOS CI #31: Commit 1d0c0a7 pushed by eladrion
November 13, 2023 10:55 33m 32s extraction_extension
extraction_extension
November 13, 2023 10:55 33m 32s
Restore tailrecness of CList.filter GitHub macOS CI #30: Commit 7e229c8 pushed by eladrion
November 13, 2023 10:24 34m 34s extraction_extension
extraction_extension
November 13, 2023 10:24 34m 34s
Merge PR #18262: Restore tailrecness of CList.filter GitHub macOS CI #29: Commit 9206669 pushed by eladrion
November 13, 2023 10:20 33m 59s master
master
November 13, 2023 10:20 33m 59s