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

nitpick #2068

Sign in to view logs

nitpick

nitpick #2068

Triggered via push February 5, 2025 22:05
@protzprotz
pushed 58a6570
afromher_rust
Status Success
Total duration 28m 26s
Artifacts 1

linux-x64-hierarchic.yaml

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

Artifacts

Produced during runtime
Name Size
log
102 KB