Skip to content
Sphinx

make buildIdris nix function still work when there are more than one … #4526

Sign in to view logs

make buildIdris nix function still work when there are more than one …

make buildIdris nix function still work when there are more than one … #4526

Triggered via push September 14, 2024 23:42
@mattpolzinmattpolzin
pushed 6d02c52
main
Status Success
Total duration 29s
Artifacts –

ci-sphinx.yml

on: push
Sphinx
21s
Sphinx
Fit to window
Zoom out
Zoom in