Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
518 workflow runs
518 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump rewriter from 4bece97 to f7e3fe5 CI (Coq, Debian) #575: Pull request #1792 opened by dependabot bot
December 23, 2023 07:53 4h 6m 27s dependabot/submodules/rewriter-f7e3fe5
dependabot/submodules/rewriter-f7e3fe5
December 23, 2023 07:53 4h 6m 27s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Debian) #574: Pull request #1778 synchronize by JasonGross
December 23, 2023 07:52 3h 59m 25s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 07:52 3h 59m 25s
Bump rewriter from 90549d8 to 4bece97 (#1791) CI (Coq, Debian) #573: Commit 93faeb3 pushed by dependabot bot
December 23, 2023 07:42 3h 27m 38s master
master
December 23, 2023 07:42 3h 27m 38s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Debian) #572: Pull request #1778 synchronize by JasonGross
December 23, 2023 04:03 3h 41m 6s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 04:03 3h 41m 6s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Debian) #571: Pull request #1778 synchronize by JasonGross
December 23, 2023 02:12 1h 54m 43s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 23, 2023 02:12 1h 54m 43s
Bump rewriter from 90549d8 to 4bece97 CI (Coq, Debian) #570: Pull request #1791 opened by dependabot bot
December 23, 2023 02:11 3h 46m 57s dependabot/submodules/rewriter-4bece97
dependabot/submodules/rewriter-4bece97
December 23, 2023 02:11 3h 46m 57s
Bump rewriter from 90549d8 to 604362b CI (Coq, Debian) #569: Pull request #1790 opened by dependabot bot
December 23, 2023 01:54 3h 30m 22s dependabot/submodules/rewriter-604362b
dependabot/submodules/rewriter-604362b
December 23, 2023 01:54 3h 30m 22s
Bump rewriter from 90549d8 to 44552d2 CI (Coq, Debian) #568: Pull request #1789 opened by dependabot bot
December 22, 2023 23:32 3h 45m 19s dependabot/submodules/rewriter-44552d2
dependabot/submodules/rewriter-44552d2
December 22, 2023 23:32 3h 45m 19s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Debian) #567: Pull request #1778 synchronize by JasonGross
December 22, 2023 21:37 1m 2s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 22, 2023 21:37 1m 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, Debian) #566: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:58 3h 43m 47s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:58 3h 43m 47s
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, Debian) #565: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:48 1m 3s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:48 1m 3s
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, Debian) #564: Pull request #1761 synchronize by JasonGross
December 22, 2023 20:30 1m 2s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 20:30 1m 2s
[CI] Add Arch Linux test CI (Coq, Debian) #563: Pull request #1788 synchronize by JasonGross
December 22, 2023 19:41 1m 3s JasonGross:test-arch
JasonGross:test-arch
December 22, 2023 19:41 1m 3s
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, Debian) #562: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:39 1m 0s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:39 1m 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, Debian) #561: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:31 59s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:31 59s
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, Debian) #560: Pull request #1761 synchronize by JasonGross
December 22, 2023 19:26 1m 3s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 22, 2023 19:26 1m 3s
[CI] Add Arch Linux test CI (Coq, Debian) #559: Pull request #1788 synchronize by JasonGross
December 21, 2023 18:20 3h 34m 31s JasonGross:test-arch
JasonGross:test-arch
December 21, 2023 18:20 3h 34m 31s
[CI] Add Arch Linux test CI (Coq, Debian) #558: Pull request #1788 opened by JasonGross
December 21, 2023 18:20 58s JasonGross:test-arch
JasonGross:test-arch
December 21, 2023 18:20 58s
ProTip! You can narrow down the results and go further in time using created:<2023-12-21 or the other filters available.