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

Fix commit link on Slack message #648

Sign in to view logs

Fix commit link on Slack message

Fix commit link on Slack message #648

Triggered via pull request July 24, 2023 23:15
@mtzguidomtzguido
opened #362
mtzguido-patch-1
Status Success
Total duration 26m 5s
Artifacts 1

linux-x64-hierarchic.yaml

on: pull_request
build
13m 2s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
log Expired
2.64 MB