Skip to content
Build and test Karamel based on a FStar image

create a Rust interface test #2119

Sign in to view logs

create a Rust interface test

create a Rust interface test #2119

Triggered via push February 19, 2025 01:57
@tahina-protahina-pro
pushed fa47096
taramana_rust_val_test
Status Success
Total duration 16m 7s
Artifacts 1

linux-x64-hierarchic.yaml

on: push
build
16m 1s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
log Expired
108 KB
sha256:c7f24d0c6e62e10c6b5843f6ec86aeef72c0ec4b7a1e97953c5e55d967ddd14c