Build and test Karamel based on a FStar image

Debug, tweak #1002

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push December 7, 2023 05:54

msprotz

protz_cg

Status Success

Total duration 6m 31s

Artifacts 1

linux-x64-hierarchic.yaml

on: push

Artifacts

Produced during runtime

Name	Size
log Expired	2.78 MB