Build and test Karamel based on a FStar image

Add some class #1026

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push December 12, 2023 11:21

msprotz

protz_cg

Status Success

Total duration 6m 43s

Artifacts 1

linux-x64-hierarchic.yaml

on: push

Artifacts

Produced during runtime

Name	Size
log Expired	2.69 MB