amd64-linux-main

update jasmin compiler: latest from gitlab.com/jasmin-lang/jasmin-com… #135

Sign in to view logs

Triggered via pull request September 10, 2023 23:44

tfaoliveira

opened #90

feature/update_jasmin_compiler

Status Success

Total duration 19m 20s

Artifacts 7

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

amd64-linux-main.yml

on: pull_request

proof-extracted

Artifacts

Produced during runtime

Name	Size
libjade-dist-proof.tar.gz Expired	1.19 MB
libjade-dist-src-amd64.tar.gz Expired	985 KB
libjade-logs-bench1.tar.gz Expired	215 Bytes
libjade-logs-bench2.tar.gz Expired	216 Bytes
libjade-logs-proof.tar.gz Expired	2.26 KB
libjade-logs-src.tar.gz Expired	48.5 KB
libjade-logs-test.tar.gz Expired	216 Bytes