Skip to content
amd64-linux-main

update the Jasmin compiler #272

Sign in to view logs

update the Jasmin compiler

update the Jasmin compiler #272

Triggered via pull request July 12, 2024 10:27
@RixxcRixxc
synchronize #128
feature/update_jasminc
Status Success
Total duration 23m 7s
Artifacts 7

amd64-linux-main.yml

on: pull_request
compile
1m 16s
compile
test
6m 33s
test
bench1
1m 27s
bench1
bench2
1m 51s
bench2
dist-amd64
2m 33s
dist-amd64
proof-extracted
1m 15s
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/
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/
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/
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.4 MB
libjade-dist-src-amd64.tar.gz Expired
1.15 MB
libjade-logs-bench1.tar.gz Expired
2.06 KB
libjade-logs-bench2.tar.gz Expired
2.11 KB
libjade-logs-proof.tar.gz Expired
4.12 KB
libjade-logs-src.tar.gz Expired
50.9 KB
libjade-logs-test.tar.gz Expired
5.99 KB