Skip to content
Lint

Pass function instead of string to coqtail#start (#371) #367

Sign in to view logs

Pass function instead of string to coqtail#start (#371)

Pass function instead of string to coqtail#start (#371) #367

Triggered via push September 4, 2024 02:10
@whonorewhonore
pushed c1ae5b3
main
Status Success
Total duration 37s
Artifacts –

lint.yml

on: push
lint
27s
lint
Fit to window
Zoom out
Zoom in