Skip to content

Remove rejected type ascription patterns from generated f*. #173

Remove rejected type ascription patterns from generated f*.

Remove rejected type ascription patterns from generated f*. #173

Triggered via pull request December 9, 2024 10:09
Status Skipped
Total duration 4s
Artifacts

bertie.yml

on: pull_request
extract-bertie
0s
extract-bertie
Fit to window
Zoom out
Zoom in