Skip to content
Lint Code Base

[ prelude ] Make able to implement provably total showPrec recursively #5716

Sign in to view logs

[ prelude ] Make able to implement provably total showPrec recursively

[ prelude ] Make able to implement provably total showPrec recursively #5716

Triggered via push December 26, 2023 10:17
@gallaisgallais
pushed 0e831ed
main
Status Success
Total duration 1m 56s
Artifacts –

ci-super-linter.yml

on: push
Lint Code Base
1m 49s
Lint Code Base
Fit to window
Zoom out
Zoom in