Build and test FStar

Simplify the use of --cmi, towards making it the default #4252

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 23, 2024 20:44

nikswamy

opened #3592

_nik_cmi_default

Status Success

Total duration 17m 7s

Artifacts –

linux-x64.yaml

on: pull_request