Skip to content

Actions: JasonGross/fiat-crypto

Actions

Test Generated Go

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
go.yml
441 workflow runs
441 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update coq-windows.yml Test Generated Go #999: Commit 6677eac pushed by JasonGross
April 17, 2024 05:56 42s windows-more-compact
windows-more-compact
April 17, 2024 05:56 42s
Update github-actions-make.sh Test Generated Go #998: Commit 3d054c5 pushed by JasonGross
April 17, 2024 00:28 41s mac-ci-gsed
mac-ci-gsed
April 17, 2024 00:28 41s
Attempt to clean up MacOS CI yml a bit Test Generated Go #997: Commit 4e1724b pushed by JasonGross
April 17, 2024 00:12 35s mac-ci-no-opam-env
mac-ci-no-opam-env
April 17, 2024 00:12 35s
Use gsed on MacOS CI Test Generated Go #996: Commit 1c87a79 pushed by JasonGross
April 17, 2024 00:10 34s mac-ci-gsed
mac-ci-gsed
April 17, 2024 00:10 34s
Attempt to clean up MacOS CI yml a bit Test Generated Go #995: Commit 3a65f72 pushed by JasonGross
April 16, 2024 19:02 42s mac-ci-no-opam-env
mac-ci-no-opam-env
April 16, 2024 19:02 42s
Use gsed on MacOS CI Test Generated Go #994: Commit 26400c5 pushed by JasonGross
April 16, 2024 19:00 33s mac-ci-gsed
mac-ci-gsed
April 16, 2024 19:00 33s
Attempt to clean up MacOS CI yml a bit Test Generated Go #993: Commit 79d0471 pushed by JasonGross
April 16, 2024 18:51 35s mac-ci-no-opam-env
mac-ci-no-opam-env
April 16, 2024 18:51 35s
More compact windows CI Test Generated Go #992: Commit e64101a pushed by JasonGross
April 16, 2024 18:21 41s windows-more-compact
windows-more-compact
April 16, 2024 18:21 41s
Test Generated Go Test Generated Go #991: Scheduled
April 1, 2024 01:13 49s master
master
April 1, 2024 01:13 49s
Use etc/ci/github-actions-make.sh on alpine Test Generated Go #990: Commit 5b55dbc pushed by JasonGross
March 22, 2024 19:11 48s alpine-more-info
alpine-more-info
March 22, 2024 19:11 48s
Use etc/ci/github-actions-make.sh on alpine Test Generated Go #989: Commit 24dc424 pushed by JasonGross
March 19, 2024 22:46 33s alpine-more-info
alpine-more-info
March 19, 2024 22:46 33s
Test Generated Go Test Generated Go #988: Scheduled
March 1, 2024 01:12 45s master
master
March 1, 2024 01:12 45s
Test Generated Go Test Generated Go #987: Scheduled
February 1, 2024 01:10 1h 34m 46s master
master
February 1, 2024 01:10 1h 34m 46s
Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 Test Generated Go #986: Pull request #55 opened by dependabot bot
January 25, 2024 22:35 35s dependabot/github_actions/ammaraskar/gcc-problem-matcher-0.3.0
dependabot/github_actions/ammaraskar/gcc-problem-matcher-0.3.0
January 25, 2024 22:35 35s
Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 Test Generated Go #985: Commit e6aa6f4 pushed by dependabot bot
January 25, 2024 22:35 35s dependabot/github_actions/ammaraskar/gcc-problem-matcher-0.3.0
dependabot/github_actions/ammaraskar/gcc-problem-matcher-0.3.0
January 25, 2024 22:35 35s
Fix DCE/Subst01 to work under lambdas Test Generated Go #984: Commit 2610f85 pushed by JasonGross
January 22, 2024 22:44 34s cache-subst01
cache-subst01
January 22, 2024 22:44 34s
Fix RulesProofs Test Generated Go #983: Commit fc15137 pushed by JasonGross
January 22, 2024 21:31 43s xxx-demo-sat-add
xxx-demo-sat-add
January 22, 2024 21:31 43s
example of needless substitution in DCE Test Generated Go #982: Commit fb1314d pushed by JasonGross
January 22, 2024 21:27 32s xxx-demo-sat-add
xxx-demo-sat-add
January 22, 2024 21:27 32s
example of needless substitution in DCE Test Generated Go #981: Commit e388b6c pushed by JasonGross
January 22, 2024 21:26 34s xxx-demo-sat-add
xxx-demo-sat-add
January 22, 2024 21:26 34s
Fix DCE/Subst01 to work under lambdas Test Generated Go #980: Commit 7df5f3c pushed by JasonGross
January 22, 2024 21:25 36s cache-subst01
cache-subst01
January 22, 2024 21:25 36s
Add --fancy-and-powerful-but-exponentially-slow-bounds-analysis test Test Generated Go #979: Commit d04cd90 pushed by JasonGross
January 4, 2024 15:58 44s dont-bottomify
dont-bottomify
January 4, 2024 15:58 44s
Add remaining rewrite rules for saturated arithmetic Test Generated Go #978: Commit fd392ca pushed by JasonGross
January 4, 2024 15:58 44s more-rewrite-complex
more-rewrite-complex
January 4, 2024 15:58 44s
Drop alpine workaround Test Generated Go #977: Commit dd8e7d2 pushed by JasonGross
January 4, 2024 15:57 35s drop-alpine-hack
drop-alpine-hack
January 4, 2024 15:57 35s
Test Generated Go Test Generated Go #976: Scheduled
January 1, 2024 01:16 33s master
master
January 1, 2024 01:16 33s
Downgrade actions/{download,upload}-artifact 4=>3 Test Generated Go #975: Commit fdea0cd pushed by JasonGross
December 26, 2023 20:09 34s downgrade-arch-artifact
downgrade-arch-artifact
December 26, 2023 20:09 34s