Skip to content

Bump minimum Jedi version to 0.19.2 #994

Bump minimum Jedi version to 0.19.2

Bump minimum Jedi version to 0.19.2 #994

Re-run triggered February 6, 2025 16:38
Status Success
Total duration 35s
Artifacts

static.yml

on: pull_request
Static code analysis
22s
Static code analysis
Fit to window
Zoom out
Zoom in