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 PR #18270: Extend the Extraction Plugin to synthesise OCaml ext… GitHub macOS CI #78: Commit af922ce pushed by eladrion
March 21, 2024 11:28 29m 56s extraction_extension
extraction_extension
March 21, 2024 11:28 29m 56s
Merge PR #18270: Extend the Extraction Plugin to synthesise OCaml ext… GitHub macOS CI #77: Commit af922ce pushed by eladrion
March 21, 2024 10:37 37m 17s master
master
March 21, 2024 10:37 37m 17s
Apply another review suggestion by Guillaume. Also, fixing a typo. GitHub macOS CI #76: Commit 27184c3 pushed by eladrion
March 20, 2024 13:01 31m 46s extraction_extension
extraction_extension
March 20, 2024 13:01 31m 46s
Small layout fix GitHub macOS CI #75: Commit 31bec3a pushed by eladrion
March 20, 2024 11:07 31m 31s extraction_extension
extraction_extension
March 20, 2024 11:07 31m 31s
Add some clarification concerning the extracted type when using Extra… GitHub macOS CI #74: Commit 7a9b4e0 pushed by eladrion
March 20, 2024 10:54 33m 38s extraction_extension
extraction_extension
March 20, 2024 10:54 33m 38s
Add some clarification concerning the extracted type when using Extra… GitHub macOS CI #73: Commit 5d7c930 pushed by eladrion
March 20, 2024 10:48 36m 58s extraction_extension
extraction_extension
March 20, 2024 10:48 36m 58s
Add some clarification concerning the extracted type when using Extra… GitHub macOS CI #72: Commit 8725a88 pushed by eladrion
March 20, 2024 10:38 47m 42s extraction_extension
extraction_extension
March 20, 2024 10:38 47m 42s
More fixes on references. Should be everything now GitHub macOS CI #71: Commit a61e512 pushed by eladrion
March 20, 2024 10:24 30m 44s extraction_extension
extraction_extension
March 20, 2024 10:24 30m 44s
Add some spacing after the let expression. And a full stop. GitHub macOS CI #70: Commit 8e06c39 pushed by eladrion
March 20, 2024 10:20 31m 12s extraction_extension
extraction_extension
March 20, 2024 10:20 31m 12s
Fix @string and @qualid referencing in FFI section GitHub macOS CI #69: Commit e975c5b pushed by eladrion
March 20, 2024 10:04 32m 14s extraction_extension
extraction_extension
March 20, 2024 10:04 32m 14s
Apply suggested changes by Guillaume. Also, the exn block GitHub macOS CI #68: Commit 6743fa0 pushed by eladrion
March 20, 2024 09:38 46m 2s extraction_extension
extraction_extension
March 20, 2024 09:38 46m 2s
Merge PR #18778: [CI] Remove allow_failure from fiat-crypto-legacy GitHub macOS CI #67: Commit c61c078 pushed by eladrion
March 20, 2024 08:34 31m 3s master
master
March 20, 2024 08:34 31m 3s
Merge PR #17321: Fix #16288: wrongly self-referencing extraction of p… GitHub macOS CI #66: Commit 6208d8c pushed by eladrion
February 23, 2024 15:08 44m 59s master
master
February 23, 2024 15:08 44m 59s
This commit includes a proposal for extending the OCaml part of the e… GitHub macOS CI #65: Commit 54cd2c4 pushed by eladrion
January 17, 2024 08:02 1h 13m 34s extraction_extension
extraction_extension
January 17, 2024 08:02 1h 13m 34s
Merge PR #18498: doc NZBase, NZadd, NZOrder GitHub macOS CI #64: Commit c011e08 pushed by eladrion
January 17, 2024 07:57 1h 16m 36s master
master
January 17, 2024 07:57 1h 16m 36s
This commit includes a proposal for extending the OCaml part of the e… GitHub macOS CI #63: Commit 1cd852e pushed by eladrion
January 16, 2024 11:50 1h 14m 26s extraction_extension
extraction_extension
January 16, 2024 11:50 1h 14m 26s
Merge PR #18486: Update CI branch for coqtail (master -> main) GitHub macOS CI #62: Commit 968c11b pushed by eladrion
January 16, 2024 09:48 1h 13m 40s master
master
January 16, 2024 09:48 1h 13m 40s
Merge PR #18494: Fix gzipping profile files with coq_makefile combine… GitHub macOS CI #61: Commit 99848b2 pushed by eladrion
January 16, 2024 08:14 1h 17m 43s master
master
January 16, 2024 08:14 1h 17m 43s
This commit includes a proposal for extending the OCaml part of the e… GitHub macOS CI #60: Commit c3c7763 pushed by eladrion
January 15, 2024 14:56 1h 14m 42s extraction_extension
extraction_extension
January 15, 2024 14:56 1h 14m 42s
tacred: also cache result of reference_opt_value GitHub macOS CI #59: Commit 880f3da pushed by eladrion
January 15, 2024 14:52 1h 16m 52s extraction_extension
extraction_extension
January 15, 2024 14:52 1h 16m 52s
Merge PR #18492: Fix caching in Tacred.reference_eval and cache univ … GitHub macOS CI #58: Commit 0adc190 pushed by eladrion
January 15, 2024 14:36 1h 13m 1s master
master
January 15, 2024 14:36 1h 13m 1s
This commit includes a proposal for extending the OCaml part of the e… GitHub macOS CI #57: Commit c3c7763 pushed by eladrion
January 15, 2024 10:20 1h 17m 41s extraction_extension
extraction_extension
January 15, 2024 10:20 1h 17m 41s
This commit includes a proposal for extending the OCaml part of the e… GitHub macOS CI #56: Commit 87fc80b pushed by eladrion
January 15, 2024 09:38 1h 13m 31s extraction_extension
extraction_extension
January 15, 2024 09:38 1h 13m 31s
Merge PR #18487: Add documentation in NZAxioms GitHub macOS CI #55: Commit 2d41f82 pushed by eladrion
January 15, 2024 08:55 1h 13m 31s extraction_extension
extraction_extension
January 15, 2024 08:55 1h 13m 31s
Merge PR #18411: Ltac2: support let rec and pure projections as synta… GitHub macOS CI #54: Commit 4b5ee43 pushed by eladrion
January 15, 2024 07:43 1h 19m 7s master
master
January 15, 2024 07:43 1h 19m 7s