Skip to content
amd64-linux-main

update the Jasmin compiler #265

Sign in to view logs

update the Jasmin compiler

update the Jasmin compiler #265

Triggered via pull request July 10, 2024 14:08
@tfaoliveiratfaoliveira
opened #128
feature/update_jasminc
Status Success
Total duration 21m 28s
Artifacts 7

amd64-linux-main.yml

on: pull_request
compile
1m 10s
compile
test
6m 31s
test
bench1
1m 23s
bench1
bench2
1m 39s
bench2
dist-amd64
2m 20s
dist-amd64
proof-extracted
1m 11s
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.41 MB
libjade-dist-src-amd64.tar.gz Expired
1.16 MB
libjade-logs-bench1.tar.gz Expired
2.06 KB
libjade-logs-bench2.tar.gz Expired
2.1 KB
libjade-logs-proof.tar.gz Expired
4.11 KB
libjade-logs-src.tar.gz Expired
50.8 KB
libjade-logs-test.tar.gz Expired
5.99 KB