Skip to content

Merge pull request #1008 from WalterSmuts/exhaustive-branch-returns #1027

Merge pull request #1008 from WalterSmuts/exhaustive-branch-returns

Merge pull request #1008 from WalterSmuts/exhaustive-branch-returns #1027

Triggered via push September 15, 2023 11:38
Status Success
Total duration 42s
Artifacts

format-check.yml

on: push
Format check
27s
Format check
Fit to window
Zoom out
Zoom in