Skip to content
Lint the sources

[ literate ] Support typst in literate Idris (#3403) #6548

Sign in to view logs

[ literate ] Support typst in literate Idris (#3403)

[ literate ] Support typst in literate Idris (#3403) #6548

Triggered via push November 7, 2024 11:56
@gallaisgallais
pushed 65ff121
main
Status Success
Total duration 12s
Artifacts –

ci-lint.yml

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