.github/workflows/charon.yml

fix(fstar-core): add support for `Option::map` #391

Sign in to view logs

Summary
Jobs
- charon
Run details
- Usage
- Workflow file

Re-run triggered September 10, 2024 12:46

franziskuskiefer

#882

ROMemories:fix/add-option-map

Status Success

Total duration 9m 23s

Artifacts –

charon.yml

on: pull_request