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
349 workflow run results
349 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unobjectionable rewrite rules for saturated arithmetic CI (Coq, Alpine) #325: Pull request #1777 synchronize by JasonGross
December 8, 2023 05:13 4h 23m 34s JasonGross:more-rewrite-simple
JasonGross:more-rewrite-simple
December 8, 2023 05:13 4h 23m 34s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Alpine) #324: Pull request #1778 synchronize by JasonGross
December 8, 2023 05:13 1h 59m 49s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 8, 2023 05:13 1h 59m 49s
Bump rewriter from 026f87b to 3a0a5f7 (#1776) CI (Coq, Alpine) #323: Commit 0c66069 pushed by JasonGross
December 8, 2023 04:40 4h 56m 32s master
master
December 8, 2023 04:40 4h 56m 32s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Alpine) #322: Pull request #1778 opened by JasonGross
December 8, 2023 03:36 1h 3m 50s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 8, 2023 03:36 1h 3m 50s
Unobjectionable rewrite rules for saturated arithmetic CI (Coq, Alpine) #321: Pull request #1777 opened by JasonGross
December 8, 2023 03:30 3h 21m 16s JasonGross:more-rewrite-simple
JasonGross:more-rewrite-simple
December 8, 2023 03:30 3h 21m 16s
Add subst! and typeof! to Notations.v CI (Coq, Alpine) #320: Pull request #1775 synchronize by JasonGross
December 8, 2023 03:16 3h 55m 49s subst-type-of
subst-type-of
December 8, 2023 03:16 3h 55m 49s
Add subst! and typeof! to Notations.v CI (Coq, Alpine) #319: Pull request #1775 synchronize by JasonGross
December 8, 2023 03:15 3m 9s subst-type-of
subst-type-of
December 8, 2023 03:15 3m 9s
Add remaining identifiers for saturated solinas CI (Coq, Alpine) #318: Pull request #1774 synchronize by JasonGross
December 8, 2023 02:14 4h 41m 36s JasonGross:saturated-solinas-idents-more
JasonGross:saturated-solinas-idents-more
December 8, 2023 02:14 4h 41m 36s
Bump rewriter from 026f87b to 3a0a5f7 CI (Coq, Alpine) #317: Pull request #1776 opened by dependabot bot
December 8, 2023 00:05 2h 53m 12s dependabot/submodules/rewriter-3a0a5f7
dependabot/submodules/rewriter-3a0a5f7
December 8, 2023 00:05 2h 53m 12s
Add subst! and typeof! to Notations.v CI (Coq, Alpine) #316: Pull request #1775 opened by JasonGross
December 7, 2023 23:22 2h 55m 30s subst-type-of
subst-type-of
December 7, 2023 23:22 2h 55m 30s
Add remaining identifiers for saturated solinas CI (Coq, Alpine) #315: Pull request #1774 synchronize by JasonGross
December 7, 2023 23:16 2h 56m 42s JasonGross:saturated-solinas-idents-more
JasonGross:saturated-solinas-idents-more
December 7, 2023 23:16 2h 56m 42s
Add more identifiers for saturated solinas (#1773) CI (Coq, Alpine) #314: Commit d839f89 pushed by JasonGross
December 7, 2023 20:28 2h 53m 57s master
master
December 7, 2023 20:28 2h 53m 57s
Add remaining identifiers for saturated solinas CI (Coq, Alpine) #313: Pull request #1774 synchronize by JasonGross
December 7, 2023 16:31 3h 0m 29s JasonGross:saturated-solinas-idents-more
JasonGross:saturated-solinas-idents-more
December 7, 2023 16:31 3h 0m 29s
Add more identifiers for saturated solinas CI (Coq, Alpine) #312: Pull request #1773 synchronize by JasonGross
December 7, 2023 16:31 2h 57m 46s JasonGross:saturated-solinas-idents
JasonGross:saturated-solinas-idents
December 7, 2023 16:31 2h 57m 46s
Add remaining identifiers for saturated solinas CI (Coq, Alpine) #311: Pull request #1774 opened by JasonGross
December 7, 2023 08:02 3h 3m 42s JasonGross:saturated-solinas-idents-more
JasonGross:saturated-solinas-idents-more
December 7, 2023 08:02 3h 3m 42s
Add more identifiers for saturated solinas CI (Coq, Alpine) #310: Pull request #1773 synchronize by JasonGross
December 7, 2023 08:00 2h 57m 10s JasonGross:saturated-solinas-idents
JasonGross:saturated-solinas-idents
December 7, 2023 08:00 2h 57m 10s
Add more identifiers for saturated solinas CI (Coq, Alpine) #309: Pull request #1773 synchronize by JasonGross
December 7, 2023 06:08 58m 9s JasonGross:saturated-solinas-idents
JasonGross:saturated-solinas-idents
December 7, 2023 06:08 58m 9s
Add more identifiers for saturated solinas CI (Coq, Alpine) #308: Pull request #1773 synchronize by JasonGross
December 7, 2023 01:42 35m 54s JasonGross:saturated-solinas-idents
JasonGross:saturated-solinas-idents
December 7, 2023 01:42 35m 54s
Bump actions/setup-python from 4 to 5 (#1771) CI (Coq, Alpine) #307: Commit 612f675 pushed by JasonGross
December 6, 2023 21:26 3h 34m 16s master
master
December 6, 2023 21:26 3h 34m 16s
Bump actions/setup-go from 4 to 5 (#1772) CI (Coq, Alpine) #306: Commit f1c52ad pushed by JasonGross
December 6, 2023 20:49 3h 8m 1s master
master
December 6, 2023 20:49 3h 8m 1s
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) #305: Pull request #1761 synchronize by JasonGross
December 6, 2023 19:05 3h 25m 15s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 6, 2023 19:05 3h 25m 15s
Bump actions/setup-go from 4 to 5 CI (Coq, Alpine) #304: Pull request #1772 opened by dependabot bot
December 6, 2023 16:53 3h 19m 41s dependabot/github_actions/actions/setup-go-5
dependabot/github_actions/actions/setup-go-5
December 6, 2023 16:53 3h 19m 41s
Bump actions/setup-python from 4 to 5 CI (Coq, Alpine) #303: Pull request #1771 opened by dependabot bot
December 6, 2023 16:53 2h 52m 47s dependabot/github_actions/actions/setup-python-5
dependabot/github_actions/actions/setup-python-5
December 6, 2023 16:53 2h 52m 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, Alpine) #302: Pull request #1761 synchronize by JasonGross
December 6, 2023 05:45 47m 36s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 6, 2023 05:45 47m 36s
More fine-grained bounds analysis (#1769) CI (Coq, Alpine) #301: Commit 3961c6a pushed by JasonGross
December 5, 2023 12:52 2h 53m 55s master
master
December 5, 2023 12:52 2h 53m 55s