Skip to content

Merge pull request #1208 from hacspec/ascribe-match-scrutinees #3334

Merge pull request #1208 from hacspec/ascribe-match-scrutinees

Merge pull request #1208 from hacspec/ascribe-match-scrutinees #3334

Triggered via push December 24, 2024 13:42
Status Skipped
Total duration 4s
Artifacts
Matrix: setup_sh
setup_sh_status
0s
setup_sh_status
Fit to window
Zoom out
Zoom in