Skip to content
Lint the sources

[ literate ] Support typst in literate Idris #6524

Sign in to view logs

[ literate ] Support typst in literate Idris

[ literate ] Support typst in literate Idris #6524

Triggered via pull request October 27, 2024 04:23
@buzdenbuzden
synchronize #3403
buzden:typst-literate-idris
Status Success
Total duration 11s
Artifacts –

ci-lint.yml

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