Skip to content
amd64-linux-main-proof

Merge pull request #116 from formosa-crypto/feature/xwing #256

Sign in to view logs

Merge pull request #116 from formosa-crypto/feature/xwing

Merge pull request #116 from formosa-crypto/feature/xwing #256

Triggered via push April 17, 2024 00:05
@tfaoliveiratfaoliveira
pushed b2093af
main
Status Success
Total duration 6m 55s
Artifacts 2

amd64-linux-main-proof.yml

on: push
proof-all
6m 48s
proof-all
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
libjade-dist-proof.tar.gz Expired
1.53 MB
libjade-logs-proof.tar.gz Expired
6.87 KB