Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated JSON

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
json.yml
1,153 workflow runs
1,153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Single Binaries Test Generated JSON #3738: Pull request #1730 opened by JasonGross
November 14, 2023 04:51 24s JasonGross:single-binary
JasonGross:single-binary
November 14, 2023 04:51 24s
Only upload one copy of linux binaries to releases Test Generated JSON #3737: Pull request #1721 synchronize by JasonGross
November 14, 2023 04:14 33s JasonGross:standalone-package-only-static-release
JasonGross:standalone-package-only-static-release
November 14, 2023 04:14 33s
rust: Include documentation comments for type alias. Test Generated JSON #3736: Pull request #1669 synchronize by JasonGross
November 13, 2023 19:12 7h 5m 51s armfazh:rust_typealias
armfazh:rust_typealias
November 13, 2023 19:12 7h 5m 51s
[CI] Add names to build jobs Test Generated JSON #3735: Pull request #1729 synchronize by JasonGross
November 13, 2023 19:12 5h 43m 30s JasonGross:named-build
JasonGross:named-build
November 13, 2023 19:12 5h 43m 30s
Adapt to coq/coq#18273 (Ltac2 supports head reduction) Test Generated JSON #3734: Pull request #1725 synchronize by JasonGross
November 13, 2023 19:12 5h 30m 41s SkySkimmer:ltac2-head-red
SkySkimmer:ltac2-head-red
November 13, 2023 19:12 5h 30m 41s
Only upload one copy of linux binaries to releases Test Generated JSON #3733: Pull request #1721 synchronize by JasonGross
November 13, 2023 19:11 4h 29m 45s JasonGross:standalone-package-only-static-release
JasonGross:standalone-package-only-static-release
November 13, 2023 19:11 4h 29m 45s
Bump rewriter from 5d274d2 to 3e84ec2 (#1728) Test Generated JSON #3732: Commit d376b55 pushed by JasonGross
November 13, 2023 19:11 4h 6m 38s master
master
November 13, 2023 19:11 4h 6m 38s
Adapt to coq/coq#18273 (Ltac2 supports head reduction) Test Generated JSON #3731: Pull request #1725 synchronize by JasonGross
November 13, 2023 18:51 21m 14s SkySkimmer:ltac2-head-red
SkySkimmer:ltac2-head-red
November 13, 2023 18:51 21m 14s
Only upload one copy of linux binaries to releases Test Generated JSON #3730: Pull request #1721 synchronize by JasonGross
November 13, 2023 18:50 21m 36s JasonGross:standalone-package-only-static-release
JasonGross:standalone-package-only-static-release
November 13, 2023 18:50 21m 36s
Bump rewriter from 5d274d2 to 3e84ec2 Test Generated JSON #3729: Pull request #1728 synchronize by dependabot bot
November 13, 2023 18:49 3h 6m 28s dependabot/submodules/rewriter-3e84ec2
dependabot/submodules/rewriter-3e84ec2
November 13, 2023 18:49 3h 6m 28s
Bump rewriter from 5d274d2 to 3e84ec2 Test Generated JSON #3728: Commit 894d95d pushed by dependabot bot
November 13, 2023 18:49 3h 3m 42s dependabot/submodules/rewriter-3e84ec2
dependabot/submodules/rewriter-3e84ec2
November 13, 2023 18:49 3h 3m 42s
Only upload one copy of linux binaries to releases Test Generated JSON #3727: Pull request #1721 synchronize by JasonGross
November 13, 2023 18:47 2m 39s JasonGross:standalone-package-only-static-release
JasonGross:standalone-package-only-static-release
November 13, 2023 18:47 2m 39s
[CI] Add names to build jobs Test Generated JSON #3726: Pull request #1729 opened by JasonGross
November 13, 2023 18:39 32m 48s JasonGross:named-build
JasonGross:named-build
November 13, 2023 18:39 32m 48s
Statically link alpine binaries: -ccopt -static (#1718) Test Generated JSON #3725: Commit 2315109 pushed by JasonGross
November 13, 2023 18:35 3h 6m 28s master
master
November 13, 2023 18:35 3h 6m 28s
Statically link alpine binaries: -ccopt -static Test Generated JSON #3724: Pull request #1718 synchronize by JasonGross
November 13, 2023 18:35 1h 5m 34s JasonGross:standalone-package-static
JasonGross:standalone-package-static
November 13, 2023 18:35 1h 5m 34s
Bump rewriter from 5d274d2 to 3e84ec2 Test Generated JSON #3723: Pull request #1728 opened by dependabot bot
November 13, 2023 18:33 16m 38s dependabot/submodules/rewriter-3e84ec2
dependabot/submodules/rewriter-3e84ec2
November 13, 2023 18:33 16m 38s
Bump rewriter from 5d274d2 to 3e84ec2 Test Generated JSON #3722: Commit b09d8e7 pushed by dependabot bot
November 13, 2023 18:33 46m 5s dependabot/submodules/rewriter-3e84ec2
dependabot/submodules/rewriter-3e84ec2
November 13, 2023 18:33 46m 5s
[CI] Fix dumpbin paths Test Generated JSON #3721: Commit 80e474d pushed by JasonGross
November 13, 2023 18:32 43m 4s master
master
November 13, 2023 18:32 43m 4s
[CI] Upload standalone archives to releases (#1711) Test Generated JSON #3720: Commit 8b6191b pushed by JasonGross
November 13, 2023 18:30 36s master
master
November 13, 2023 18:30 36s
Bump rewriter from 5d274d2 to 1e001e7 Test Generated JSON #3719: Pull request #1726 opened by dependabot bot
November 13, 2023 16:53 38s dependabot/submodules/rewriter-1e001e7
dependabot/submodules/rewriter-1e001e7
November 13, 2023 16:53 38s
Bump rewriter from 5d274d2 to 1e001e7 Test Generated JSON #3718: Commit 0f27dfc pushed by dependabot bot
November 13, 2023 16:53 36s dependabot/submodules/rewriter-1e001e7
dependabot/submodules/rewriter-1e001e7
November 13, 2023 16:53 36s
Adapt to coq/coq#18273 (Ltac2 supports head reduction) Test Generated JSON #3717: Pull request #1725 synchronize by SkySkimmer
November 13, 2023 15:08 26s SkySkimmer:ltac2-head-red
SkySkimmer:ltac2-head-red
November 13, 2023 15:08 26s
Adapt to coq/coq#18273 (Ltac2 supports head reduction) Test Generated JSON #3716: Pull request #1725 opened by SkySkimmer
November 13, 2023 12:49 34s SkySkimmer:ltac2-head-red
SkySkimmer:ltac2-head-red
November 13, 2023 12:49 34s
Only upload one copy of linux binaries to releases Test Generated JSON #3715: Pull request #1721 synchronize by JasonGross
November 13, 2023 06:14 1h 18m 12s JasonGross:standalone-package-only-static-release
JasonGross:standalone-package-only-static-release
November 13, 2023 06:14 1h 18m 12s
Statically link alpine binaries: -ccopt -static Test Generated JSON #3714: Pull request #1718 synchronize by JasonGross
November 13, 2023 06:14 1h 8m 8s JasonGross:standalone-package-static
JasonGross:standalone-package-static
November 13, 2023 06:14 1h 8m 8s
ProTip! You can narrow down the results and go further in time using created:<2023-11-13 or the other filters available.