Skip to content
Lint the sources

Make CONS, NIL, JUST and NOTHING constructors have uniform names #6797

Sign in to view logs

Make CONS, NIL, JUST and NOTHING constructors have uniform names

Make CONS, NIL, JUST and NOTHING constructors have uniform names #6797

Triggered via pull request February 9, 2025 10:52
@Z-snailsZ-snails
synchronize #3486
Z-snails:builtin-cons-names
Status Success
Total duration 13s
Artifacts –

ci-lint.yml

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