Skip to content

Actions: JasonGross/fiat-crypto

Test Generated Zig

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
426 workflow runs
426 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update coq-windows.yml
Test Generated Zig #1485: Commit 095f216 pushed by JasonGross
May 9, 2024 11:09 3m 4s windows-more-compact
May 9, 2024 11:09 3m 4s
Allow failure of binary on host for debian
Test Generated Zig #1484: Commit 8b3c8bd pushed by JasonGross
May 9, 2024 09:12 32m 8s old-ubuntu-sid
May 9, 2024 09:12 32m 8s
Disable js-of-ocaml on arm64
Test Generated Zig #1483: Commit 4a1dd2c pushed by JasonGross
May 9, 2024 05:18 3m 0s mac-universal
May 9, 2024 05:18 3m 0s
eval opam env in describing sys config
Test Generated Zig #1482: Commit 5852604 pushed by JasonGross
May 9, 2024 05:07 3m 0s eval-opam-env-sys-describe
May 9, 2024 05:07 3m 0s
[CI] brew install grep on MacOS for ggrep
Test Generated Zig #1481: Commit 7cf7680 pushed by JasonGross
May 9, 2024 04:41 3m 2s mac-ggrep
May 9, 2024 04:41 3m 2s
Use older version of ubuntu on debian to fix libc issues
Test Generated Zig #1480: Commit af41970 pushed by JasonGross
May 9, 2024 04:25 3m 0s old-ubuntu-sid
May 9, 2024 04:25 3m 0s
Build universal (x86_64+arm64) binaries for MacOS
Test Generated Zig #1479: Commit bc4d073 pushed by JasonGross
May 7, 2024 18:37 3h 3m 28s mac-universal
May 7, 2024 18:37 3h 3m 28s
Build universal (x86_64+arm64) binaries for MacOS
Test Generated Zig #1478: Commit c8df5d9 pushed by JasonGross
May 7, 2024 17:53 3h 39m 1s mac-universal
May 7, 2024 17:53 3h 39m 1s
Build universal (x86_64+arm64) binaries for MacOS
Test Generated Zig #1477: Commit 9125a44 pushed by JasonGross
May 7, 2024 17:42 1h 48m 12s mac-universal
May 7, 2024 17:42 1h 48m 12s
Test Generated Zig
Test Generated Zig #1476: Scheduled
May 1, 2024 01:22 3m 1s master
May 1, 2024 01:22 3m 1s
Update coq-windows.yml
Test Generated Zig #1475: Commit 6677eac pushed by JasonGross
April 17, 2024 05:56 40s windows-more-compact
April 17, 2024 05:56 40s
Update github-actions-make.sh
Test Generated Zig #1474: Commit 3d054c5 pushed by JasonGross
April 17, 2024 00:28 46s mac-ci-gsed
April 17, 2024 00:28 46s
Attempt to clean up MacOS CI yml a bit
Test Generated Zig #1473: Commit 4e1724b pushed by JasonGross
April 17, 2024 00:12 1m 37s mac-ci-no-opam-env
April 17, 2024 00:12 1m 37s
Use gsed on MacOS CI
Test Generated Zig #1472: Commit 1c87a79 pushed by JasonGross
April 17, 2024 00:10 44s mac-ci-gsed
April 17, 2024 00:10 44s
Attempt to clean up MacOS CI yml a bit
Test Generated Zig #1471: Commit 3a65f72 pushed by JasonGross
April 16, 2024 19:02 40s mac-ci-no-opam-env
April 16, 2024 19:02 40s
Use gsed on MacOS CI
Test Generated Zig #1470: Commit 26400c5 pushed by JasonGross
April 16, 2024 19:00 3m 5s mac-ci-gsed
April 16, 2024 19:00 3m 5s
Attempt to clean up MacOS CI yml a bit
Test Generated Zig #1469: Commit 79d0471 pushed by JasonGross
April 16, 2024 18:51 3m 0s mac-ci-no-opam-env
April 16, 2024 18:51 3m 0s
More compact windows CI
Test Generated Zig #1468: Commit e64101a pushed by JasonGross
April 16, 2024 18:21 3m 4s windows-more-compact
April 16, 2024 18:21 3m 4s
Test Generated Zig
Test Generated Zig #1467: Scheduled
April 1, 2024 01:20 2m 59s master
April 1, 2024 01:20 2m 59s
Use etc/ci/github-actions-make.sh on alpine
Test Generated Zig #1466: Commit 5b55dbc pushed by JasonGross
March 22, 2024 19:11 3m 5s alpine-more-info
March 22, 2024 19:11 3m 5s
Use etc/ci/github-actions-make.sh on alpine
Test Generated Zig #1465: Commit 24dc424 pushed by JasonGross
March 19, 2024 22:46 3m 2s alpine-more-info
March 19, 2024 22:46 3m 2s
Test Generated Zig
Test Generated Zig #1464: Scheduled
March 1, 2024 01:19 2m 59s master
March 1, 2024 01:19 2m 59s
Test Generated Zig
Test Generated Zig #1463: Scheduled
February 1, 2024 01:17 1h 32m 0s master
February 1, 2024 01:17 1h 32m 0s