Skip to content
GitHub Pages CI

Elide prelude components in the IR formatter. #840

Sign in to view logs

Elide prelude components in the IR formatter.

Elide prelude components in the IR formatter. #840

Triggered via pull request October 29, 2024 21:45
@jonmeowjonmeow
opened #4453
jonmeow:elide-prelude-components
Status Success
Total duration 38s
Artifacts –

gh_pages_ci.yaml

on: pull_request
build
29s
build
Fit to window
Zoom out
Zoom in