Skip to content
Mkdocs+Juvix CI

[CI] use --anoma-setup to render the main website #7

Sign in to view logs

[CI] use --anoma-setup to render the main website

[CI] use --anoma-setup to render the main website #7

Triggered via push October 16, 2024 03:35
@jonaprietojonaprieto
pushed 78c21b5
main
Status Success
Total duration 1m 10s
Artifacts –

ci.yml

on: push
deploy
1m 2s
deploy
Fit to window
Zoom out
Zoom in