amd64-linux-main

update the Jasmin compiler #267

Sign in to view logs

Triggered via pull request July 10, 2024 14:48

tfaoliveira

synchronize #128

feature/update_jasminc

Status Cancelled

Total duration 43m 31s

Artifacts 5

amd64-linux-main.yml

on: pull_request

proof-extracted

Annotations

1 error and 5 warnings

proof-extracted

The run was canceled by @Rixxc.

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/

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/

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/

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/

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-src-amd64.tar.gz Expired	1.15 MB
libjade-logs-bench1.tar.gz Expired	2.08 KB
libjade-logs-bench2.tar.gz Expired	2.09 KB
libjade-logs-src.tar.gz Expired	50.9 KB
libjade-logs-test.tar.gz Expired	6.04 KB