Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated Go

Actions

Loading...

Show workflow options

Create status badge

go.yml
1,275 workflow runs
1,275 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[CI] [debian] Containerize testing of standalone Test Generated Go #5425: Pull request #1924 opened by JasonGross
June 12, 2024 03:34 39m 17s debian-containers-more
debian-containers-more
June 12, 2024 03:34 39m 17s
[CI] [debian] Containerize testing of standalone Test Generated Go #5424: Commit 8713744 pushed by JasonGross
June 12, 2024 03:33 34s debian-containers-more
debian-containers-more
June 12, 2024 03:33 34s
[CI] [TEST] Pin lighter js_of_ocaml Test Generated Go #5423: Pull request #1923 opened by JasonGross
June 12, 2024 03:26 38s js_of_ocaml-optim_sourcemap_link
js_of_ocaml-optim_sourcemap_link
June 12, 2024 03:26 38s
[CI] [TEST] Pin lighter js_of_ocaml Test Generated Go #5422: Commit ae8dd61 pushed by JasonGross
June 12, 2024 03:26 29s js_of_ocaml-optim_sourcemap_link
js_of_ocaml-optim_sourcemap_link
June 12, 2024 03:26 29s
[CI] [TEST] Pin faster js_of_ocaml Test Generated Go #5421: Pull request #1922 opened by JasonGross
June 12, 2024 03:18 34s js_of_ocaml-speedup
js_of_ocaml-speedup
June 12, 2024 03:18 34s
[CI] [TEST] Pin faster js_of_ocaml Test Generated Go #5420: Commit 27887be pushed by JasonGross
June 12, 2024 03:18 30s js_of_ocaml-speedup
js_of_ocaml-speedup
June 12, 2024 03:18 30s
Bump rupicola from e4eb40b to 71a5a07 (#1921) Test Generated Go #5419: Commit 7ff747f pushed by andres-erbsen
June 11, 2024 14:45 37s master
master
June 11, 2024 14:45 37s
Bump rupicola from e4eb40b to 71a5a07 Test Generated Go #5418: Pull request #1921 opened by dependabot bot
June 11, 2024 08:56 35s dependabot/submodules/rupicola-71a5a07
dependabot/submodules/rupicola-71a5a07
June 11, 2024 08:56 35s
Bump rupicola from e4eb40b to 71a5a07 Test Generated Go #5417: Commit 087b14a pushed by dependabot bot
June 11, 2024 08:56 34s dependabot/submodules/rupicola-71a5a07
dependabot/submodules/rupicola-71a5a07
June 11, 2024 08:56 34s
Bump rupicola from dc1e8f3 to e4eb40b Test Generated Go #5416: Pull request #1920 opened by dependabot bot
June 6, 2024 08:45 37s dependabot/submodules/rupicola-e4eb40b
dependabot/submodules/rupicola-e4eb40b
June 6, 2024 08:45 37s
Bump rupicola from dc1e8f3 to e4eb40b Test Generated Go #5415: Commit 953f4e9 pushed by dependabot bot
June 6, 2024 08:45 38s dependabot/submodules/rupicola-e4eb40b
dependabot/submodules/rupicola-e4eb40b
June 6, 2024 08:45 38s
Greatly reduce the compilation time of src/Arithmetic/BarrettReductio… Test Generated Go #5414: Commit 80141fa pushed by JasonGross
June 4, 2024 23:05 42s master
master
June 4, 2024 23:05 42s
Greatly reduce the compilation time of src/Arithmetic/BarrettReduction.v Test Generated Go #5413: Pull request #1919 opened by ppedrot
June 4, 2024 19:00 33s ppedrot:fast-barrett-reduction
ppedrot:fast-barrett-reduction
June 4, 2024 19:00 33s
Bump rewriter from 9dd74a9 to edcec73 Test Generated Go #5412: Pull request #1918 opened by dependabot bot
June 4, 2024 08:21 52s dependabot/submodules/rewriter-edcec73
dependabot/submodules/rewriter-edcec73
June 4, 2024 08:21 52s
Bump rewriter from 9dd74a9 to edcec73 Test Generated Go #5411: Commit 7b7ff74 pushed by dependabot bot
June 4, 2024 08:21 50s dependabot/submodules/rewriter-edcec73
dependabot/submodules/rewriter-edcec73
June 4, 2024 08:21 50s
Bump coqprime from d5935ca to 6c225a2 Test Generated Go #5410: Pull request #1917 opened by dependabot bot
June 3, 2024 08:36 1m 42s dependabot/submodules/coqprime-6c225a2
dependabot/submodules/coqprime-6c225a2
June 3, 2024 08:36 1m 42s
Bump coqprime from d5935ca to 6c225a2 Test Generated Go #5409: Commit 99e1311 pushed by dependabot bot
June 3, 2024 08:36 37s dependabot/submodules/coqprime-6c225a2
dependabot/submodules/coqprime-6c225a2
June 3, 2024 08:36 37s
Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1 Test Generated Go #5408: Pull request #1914 synchronize by dependabot bot
June 2, 2024 02:11 53s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
June 2, 2024 02:11 53s
Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1 Test Generated Go #5407: Commit c61f54e pushed by dependabot bot
June 2, 2024 02:11 3m 26s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
June 2, 2024 02:11 3m 26s
[CI] [Haskell] Increase heap size to avoid heap overflow (#1915) Test Generated Go #5406: Commit 2e55cc1 pushed by JasonGross
June 2, 2024 01:11 33s master
master
June 2, 2024 01:11 33s
[CI] [Haskell] Increase heap size to avoid heap overflow Test Generated Go #5405: Pull request #1915 synchronize by JasonGross
June 1, 2024 21:18 47s JasonGross-patch-1
JasonGross-patch-1
June 1, 2024 21:18 47s
9G heap Test Generated Go #5404: Commit bd16395 pushed by JasonGross
June 1, 2024 21:18 46s JasonGross-patch-1
JasonGross-patch-1
June 1, 2024 21:18 46s
[CI] [Haskell] Increase heap size to avoid heap overflow Test Generated Go #5403: Pull request #1915 opened by JasonGross
June 1, 2024 14:46 28s JasonGross-patch-1
JasonGross-patch-1
June 1, 2024 14:46 28s
[CI] [Haskell] Increase heap size to avoid heap overflow Test Generated Go #5402: Commit 3e23d44 pushed by JasonGross
June 1, 2024 14:45 34s JasonGross-patch-1
JasonGross-patch-1
June 1, 2024 14:45 34s
Test Generated Go Test Generated Go #5401: Scheduled
June 1, 2024 00:33 45s master
master
June 1, 2024 00:33 45s