Skip to content
Lint the sources

Make CONS, NIL, JUST and NOTHING constructors have uniform na… #6798

Sign in to view logs

Make CONS, NIL, JUST and NOTHING constructors have uniform na…

Make CONS, NIL, JUST and NOTHING constructors have uniform na… #6798

Triggered via push February 11, 2025 11:13
@Z-snailsZ-snails
pushed a3aaef0
main
Status Success
Total duration 13s
Artifacts –

ci-lint.yml

on: push
build
5s
build
Fit to window
Zoom out
Zoom in