Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Alpine)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-alpine.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, Alpine) #368: Pull request #1792 opened by dependabot bot
December 23, 2023 07:53 3h 42m 59s dependabot/submodules/rewriter-f7e3fe5
dependabot/submodules/rewriter-f7e3fe5
December 23, 2023 07:53 3h 42m 59s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Alpine) #367: Pull request #1778 synchronize by JasonGross
December 23, 2023 07:52 3h 2m 23s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 07:52 3h 2m 23s
Bump rewriter from 90549d8 to 4bece97 (#1791) CI (Coq, Alpine) #366: Commit 93faeb3 pushed by dependabot bot
December 23, 2023 07:42 3h 0m 8s master
master
December 23, 2023 07:42 3h 0m 8s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Alpine) #365: Pull request #1778 synchronize by JasonGross
December 23, 2023 04:03 3h 5m 59s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 04:03 3h 5m 59s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Alpine) #364: Pull request #1778 synchronize by JasonGross
December 23, 2023 02:12 2h 3m 42s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 02:12 2h 3m 42s
Bump rewriter from 90549d8 to 4bece97 CI (Coq, Alpine) #363: Pull request #1791 opened by dependabot bot
December 23, 2023 02:11 3h 11m 48s dependabot/submodules/rewriter-4bece97
dependabot/submodules/rewriter-4bece97
December 23, 2023 02:11 3h 11m 48s
Bump rewriter from 90549d8 to 604362b CI (Coq, Alpine) #362: Pull request #1790 opened by dependabot bot
December 23, 2023 01:54 3h 3m 6s dependabot/submodules/rewriter-604362b
dependabot/submodules/rewriter-604362b
December 23, 2023 01:54 3h 3m 6s
Bump rewriter from 90549d8 to 44552d2 CI (Coq, Alpine) #361: Pull request #1789 opened by dependabot bot
December 22, 2023 23:32 3h 43m 0s dependabot/submodules/rewriter-44552d2
dependabot/submodules/rewriter-44552d2
December 22, 2023 23:32 3h 43m 0s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Alpine) #360: Pull request #1778 synchronize by JasonGross
December 22, 2023 21:37 49m 5s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 22, 2023 21:37 49m 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, Alpine) #359: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:58 2h 59m 0s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:58 2h 59m 0s
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, Alpine) #358: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:48 10m 37s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:48 10m 37s
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, Alpine) #357: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:30 18m 49s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:30 18m 49s
[CI] Add Arch Linux test CI (Coq, Alpine) #356: Pull request #1788 synchronize by JasonGross
December 22, 2023 19:41 3h 2m 25s JasonGross:test-arch
JasonGross:test-arch
December 22, 2023 19:41 3h 2m 25s
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, Alpine) #355: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:39 34m 50s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:39 34m 50s
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, Alpine) #354: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:31 7m 50s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:31 7m 50s
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, Alpine) #353: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:26 5m 55s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:26 5m 55s
[CI] Add Arch Linux test CI (Coq, Alpine) #352: Pull request #1788 synchronize by JasonGross
December 21, 2023 18:20 2h 57m 14s JasonGross:test-arch
JasonGross:test-arch
December 21, 2023 18:20 2h 57m 14s
[CI] Add Arch Linux test CI (Coq, Alpine) #351: Pull request #1788 opened by JasonGross
December 21, 2023 18:20 40s JasonGross:test-arch
JasonGross:test-arch
December 21, 2023 18:20 40s
Bump actions/download-artifact and actions/upload-artifact from 3 to … CI (Coq, Alpine) #350: Commit 723baac pushed by JasonGross
December 16, 2023 21:48 2h 58m 25s master
master
December 16, 2023 21:48 2h 58m 25s
Bump actions/download-artifact and actions/upload-artifact from 3 to 4 CI (Coq, Alpine) #349: Pull request #1786 synchronize by JasonGross
December 16, 2023 17:56 2h 57m 49s JasonGross:upload-download
JasonGross:upload-download
December 16, 2023 17:56 2h 57m 49s
Bump actions/download-artifact and actions/upload-artifact from 3 to 4 CI (Coq, Alpine) #348: Pull request #1786 opened by JasonGross
December 15, 2023 20:39 3h 0m 53s JasonGross:upload-download
JasonGross:upload-download
December 15, 2023 20:39 3h 0m 53s
Bump actions/download-artifact from 3 to 4 CI (Coq, Alpine) #347: Pull request #1785 opened by dependabot bot
December 15, 2023 16:43 3h 2m 37s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
December 15, 2023 16:43 3h 2m 37s
Bump actions/upload-artifact from 3 to 4 CI (Coq, Alpine) #346: Pull request #1784 opened by dependabot bot
December 15, 2023 16:43 3h 0m 39s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 15, 2023 16:43 3h 0m 39s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Alpine) #345: Pull request #1778 synchronize by JasonGross
December 14, 2023 22:10 49m 23s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 14, 2023 22:10 49m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-12-14 or the other filters available.