Build and test Karamel based on a FStar image

omg #1053

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push December 20, 2023 18:17

msprotz

protz_cg

Status Success

Total duration 6m 44s

Artifacts 1

linux-x64-hierarchic.yaml

on: push

Artifacts

Produced during runtime

Name	Size
log Expired	2.69 MB