Build and test Karamel based on a FStar image

tidbit #1051

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push December 20, 2023 08:42

msprotz

protz_cg

Status Success

Total duration 12m 50s

Artifacts 1

linux-x64-hierarchic.yaml

on: push

Artifacts

Produced during runtime

Name	Size
log Expired	2.69 MB