Skip to content
amd64-linux-main

update the Jasmin compiler #269

Sign in to view logs

update the Jasmin compiler

update the Jasmin compiler #269

Triggered via pull request July 10, 2024 15:29
@RixxcRixxc
synchronize #128
feature/update_jasminc
Status Success
Total duration 40m 39s
Artifacts 7

amd64-linux-main.yml

on: pull_request
compile
1m 16s
compile
test
6m 24s
test
bench1
1m 18s
bench1
bench2
1m 38s
bench2
dist-amd64
2m 3s
dist-amd64
proof-extracted
1m 12s
proof-extracted
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
compile
The following actions uses Node.js version which is deprecated and will be forced to run on node20: workflow/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
bench2
The following actions uses Node.js version which is deprecated and will be forced to run on node20: workflow/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
dist-amd64
The following actions uses Node.js version which is deprecated and will be forced to run on node20: workflow/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
bench1
The following actions uses Node.js version which is deprecated and will be forced to run on node20: workflow/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test
The following actions uses Node.js version which is deprecated and will be forced to run on node20: workflow/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
proof-extracted
The following actions uses Node.js version which is deprecated and will be forced to run on node20: workflow/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
libjade-dist-proof.tar.gz Expired
1.41 MB
libjade-dist-src-amd64.tar.gz Expired
1.12 MB
libjade-logs-bench1.tar.gz Expired
2.07 KB
libjade-logs-bench2.tar.gz Expired
2.11 KB
libjade-logs-proof.tar.gz Expired
4.11 KB
libjade-logs-src.tar.gz Expired
51 KB
libjade-logs-test.tar.gz Expired
5.96 KB