Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, MacOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-macos.yml
524 workflow runs
524 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump rewriter from 4bece97 to f7e3fe5 CI (Coq, MacOS) #4247: Pull request #1792 opened by dependabot bot
December 23, 2023 07:53 3h 52m 34s dependabot/submodules/rewriter-f7e3fe5
dependabot/submodules/rewriter-f7e3fe5
December 23, 2023 07:53 3h 52m 34s
Add remaining rewrite rules for saturated arithmetic CI (Coq, MacOS) #4246: Pull request #1778 synchronize by JasonGross
December 23, 2023 07:52 3h 21m 27s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 07:52 3h 21m 27s
Bump rewriter from 90549d8 to 4bece97 (#1791) CI (Coq, MacOS) #4245: Commit 93faeb3 pushed by dependabot bot
December 23, 2023 07:42 3h 22m 53s master
master
December 23, 2023 07:42 3h 22m 53s
Add remaining rewrite rules for saturated arithmetic CI (Coq, MacOS) #4244: Pull request #1778 synchronize by JasonGross
December 23, 2023 04:03 3h 25m 47s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 04:03 3h 25m 47s
Add remaining rewrite rules for saturated arithmetic CI (Coq, MacOS) #4243: Pull request #1778 synchronize by JasonGross
December 23, 2023 02:12 1h 53m 50s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 02:12 1h 53m 50s
Bump rewriter from 90549d8 to 4bece97 CI (Coq, MacOS) #4242: Pull request #1791 opened by dependabot bot
December 23, 2023 02:11 3h 35m 36s dependabot/submodules/rewriter-4bece97
dependabot/submodules/rewriter-4bece97
December 23, 2023 02:11 3h 35m 36s
Bump rewriter from 90549d8 to 604362b CI (Coq, MacOS) #4241: Pull request #1790 opened by dependabot bot
December 23, 2023 01:54 3h 20m 12s dependabot/submodules/rewriter-604362b
dependabot/submodules/rewriter-604362b
December 23, 2023 01:54 3h 20m 12s
Bump rewriter from 90549d8 to 44552d2 CI (Coq, MacOS) #4240: Pull request #1789 opened by dependabot bot
December 22, 2023 23:32 3h 44m 3s dependabot/submodules/rewriter-44552d2
dependabot/submodules/rewriter-44552d2
December 22, 2023 23:32 3h 44m 3s
Add remaining rewrite rules for saturated arithmetic CI (Coq, MacOS) #4239: Pull request #1778 synchronize by JasonGross
December 22, 2023 21:37 1h 22m 2s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 22, 2023 21:37 1h 22m 2s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4238: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:58 3h 18m 5s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:58 3h 18m 5s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4237: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:48 10m 33s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:48 10m 33s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4236: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:30 18m 47s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:30 18m 47s
[CI] Add Arch Linux test CI (Coq, MacOS) #4235: Pull request #1788 synchronize by JasonGross
December 22, 2023 19:41 3h 18m 49s JasonGross:test-arch
JasonGross:test-arch
December 22, 2023 19:41 3h 18m 49s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4234: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:39 51m 35s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:39 51m 35s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4233: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:31 7m 45s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:31 7m 45s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4232: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:26 5m 48s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:26 5m 48s
[CI] Add Arch Linux test CI (Coq, MacOS) #4231: Pull request #1788 synchronize by JasonGross
December 21, 2023 18:20 3h 19m 26s JasonGross:test-arch
JasonGross:test-arch
December 21, 2023 18:20 3h 19m 26s
[CI] Add Arch Linux test CI (Coq, MacOS) #4230: Pull request #1788 opened by JasonGross
December 21, 2023 18:20 39s JasonGross:test-arch
JasonGross:test-arch
December 21, 2023 18:20 39s
Bump actions/download-artifact and actions/upload-artifact from 3 to … CI (Coq, MacOS) #4229: Commit 723baac pushed by JasonGross
December 16, 2023 21:48 3h 21m 35s master
master
December 16, 2023 21:48 3h 21m 35s
Bump actions/download-artifact and actions/upload-artifact from 3 to 4 CI (Coq, MacOS) #4228: Pull request #1786 synchronize by JasonGross
December 16, 2023 17:56 3h 21m 56s JasonGross:upload-download
JasonGross:upload-download
December 16, 2023 17:56 3h 21m 56s
Bump actions/download-artifact and actions/upload-artifact from 3 to 4 CI (Coq, MacOS) #4227: Pull request #1786 opened by JasonGross
December 15, 2023 20:39 3h 22m 44s JasonGross:upload-download
JasonGross:upload-download
December 15, 2023 20:39 3h 22m 44s
Bump actions/download-artifact from 3 to 4 CI (Coq, MacOS) #4226: Pull request #1785 opened by dependabot bot
December 15, 2023 16:43 3h 28m 16s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
December 15, 2023 16:43 3h 28m 16s
Bump actions/upload-artifact from 3 to 4 CI (Coq, MacOS) #4225: Pull request #1784 opened by dependabot bot
December 15, 2023 16:43 3h 20m 45s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 15, 2023 16:43 3h 20m 45s
Add remaining rewrite rules for saturated arithmetic CI (Coq, MacOS) #4224: Pull request #1778 synchronize by JasonGross
December 14, 2023 22:10 1h 23m 49s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 14, 2023 22:10 1h 23m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-12-14 or the other filters available.