Skip to content
Bootstrap Skip

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

Sign in to view logs

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
@alt-romesalt-romes
pushed 03d9829
master
Status Success
Total duration 15s
Artifacts –

bootstrap.skip.yml

on: push
Bootstrap post job
0s
Bootstrap post job
Fit to window
Zoom out
Zoom in