Skip to content

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

Remove rejected type ascription patterns from generated f*.

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

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

engine_js_build.yml

on: pull_request
engine-js-build
0s
engine-js-build
Fit to window
Zoom out
Zoom in