Skip to content

Merge pull request #9988 from sheaf/no-implicit-prelude-setup #9

Merge pull request #9988 from sheaf/no-implicit-prelude-setup

Merge pull request #9988 from sheaf/no-implicit-prelude-setup #9

Triggered via push May 16, 2024 14:51
Status Success
Total duration 15s
Artifacts
Validate post job
0s
Validate post job
Fit to window
Zoom out
Zoom in