Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Windows)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-windows.yml
93 workflow run results
93 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Drop Arch Linux workaround CI (Coq, Windows) #4240: Pull request #1797 opened by JasonGross
December 24, 2023 23:34 3h 38m 10s JasonGross:drop-archlinux-hack
JasonGross:drop-archlinux-hack
December 24, 2023 23:34 3h 38m 10s
[CI] Add Arch Linux test CI (Coq, Windows) #4239: Pull request #1788 synchronize by JasonGross
December 24, 2023 23:31 3h 40m 40s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 23:31 3h 40m 40s
[CI] Add Arch Linux test CI (Coq, Windows) #4238: Pull request #1788 synchronize by JasonGross
December 24, 2023 23:30 1m 6s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 23:30 1m 6s
[CI] Add Arch Linux test CI (Coq, Windows) #4237: Pull request #1788 synchronize by JasonGross
December 24, 2023 23:30 27s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 23:30 27s
[CI] Drop alpine workaround CI (Coq, Windows) #4236: Pull request #1796 opened by JasonGross
December 24, 2023 23:28 3h 44m 15s JasonGross:drop-alpine-hack
JasonGross:drop-alpine-hack
December 24, 2023 23:28 3h 44m 15s
[CI] Add Arch Linux test CI (Coq, Windows) #4235: Pull request #1788 synchronize by JasonGross
December 24, 2023 22:38 53m 7s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 22:38 53m 7s
[CI] Add Arch Linux test CI (Coq, Windows) #4234: Pull request #1788 synchronize by JasonGross
December 24, 2023 22:37 34s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 22:37 34s
[CI] Add Arch Linux test CI (Coq, Windows) #4233: Pull request #1788 synchronize by JasonGross
December 24, 2023 19:11 3h 26m 17s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 19:11 3h 26m 17s
[CI] Add Arch Linux test CI (Coq, Windows) #4232: Pull request #1788 synchronize by JasonGross
December 24, 2023 15:10 3h 27m 45s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 15:10 3h 27m 45s
[CI] Add Arch Linux test CI (Coq, Windows) #4231: Pull request #1788 synchronize by JasonGross
December 24, 2023 14:59 11m 37s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 14:59 11m 37s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Windows) #4230: Pull request #1778 synchronize by JasonGross
December 24, 2023 14:54 3h 26m 50s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 24, 2023 14:54 3h 26m 50s
Bump rewriter from f7e3fe5 to 0388980 (#1795) CI (Coq, Windows) #4229: Commit 8f9323e pushed by dependabot bot
December 24, 2023 11:01 4h 32m 8s master
master
December 24, 2023 11:01 4h 32m 8s
Bump etc/coq-scripts from d3dc888 to 7b54b75 (#1794) CI (Coq, Windows) #4228: Commit 50f60fe pushed by dependabot bot
December 24, 2023 10:02 4h 6m 14s master
master
December 24, 2023 10:02 4h 6m 14s
[CI] Add Arch Linux test CI (Coq, Windows) #4227: Pull request #1788 synchronize by JasonGross
December 24, 2023 08:23 4h 1m 33s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 08:23 4h 1m 33s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Windows) #4226: Pull request #1778 synchronize by JasonGross
December 24, 2023 08:16 4h 7m 30s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 24, 2023 08:16 4h 7m 30s
Add remaining rewrite rules for saturated arithmetic CI (Coq, Windows) #4225: Pull request #1778 synchronize by JasonGross
December 24, 2023 07:57 25m 55s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 24, 2023 07:57 25m 55s
[CI] Add Arch Linux test CI (Coq, Windows) #4224: Pull request #1788 synchronize by JasonGross
December 24, 2023 07:50 1h 5m 50s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 07:50 1h 5m 50s
[CI] Add Arch Linux test CI (Coq, Windows) #4223: Pull request #1788 synchronize by JasonGross
December 24, 2023 06:34 1h 23m 35s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 06:34 1h 23m 35s
Bump rewriter from f7e3fe5 to 0388980 CI (Coq, Windows) #4222: Pull request #1795 opened by dependabot bot
December 24, 2023 06:06 3h 24m 34s dependabot/submodules/rewriter-0388980
dependabot/submodules/rewriter-0388980
December 24, 2023 06:06 3h 24m 34s
Bump etc/coq-scripts from d3dc888 to 7b54b75 CI (Coq, Windows) #4221: Pull request #1794 opened by dependabot bot
December 24, 2023 06:05 3h 21m 21s dependabot/submodules/etc/coq-scripts-7b54b75
dependabot/submodules/etc/coq-scripts-7b54b75
December 24, 2023 06:05 3h 21m 21s
[CI] Add Arch Linux test CI (Coq, Windows) #4220: Pull request #1788 synchronize by JasonGross
December 24, 2023 02:14 3h 32m 53s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 02:14 3h 32m 53s
[CI] Add Arch Linux test CI (Coq, Windows) #4219: Pull request #1788 synchronize by JasonGross
December 24, 2023 01:37 44m 35s JasonGross:test-arch
JasonGross:test-arch
December 24, 2023 01:37 44m 35s
Better describe-system-config CI (Coq, Windows) #4218: Commit f0e23a8 pushed by JasonGross
December 24, 2023 01:06 3h 42m 49s master
master
December 24, 2023 01:06 3h 42m 49s
[ci] [alpine] Use --root instead of sudo CI (Coq, Windows) #4217: Pull request #1793 opened by JasonGross
December 23, 2023 23:04 3h 27m 40s JasonGross:no-alpine-sudo
JasonGross:no-alpine-sudo
December 23, 2023 23:04 3h 27m 40s
Bump rewriter from 4bece97 to f7e3fe5 (#1792) CI (Coq, Windows) #4216: Commit 4bc09c0 pushed by dependabot bot
December 23, 2023 12:27 3h 23m 36s master
master
December 23, 2023 12:27 3h 23m 36s