Skip to content
Mkdocs+Juvix CI

Minor fixes to demonstration files #19

Sign in to view logs

Minor fixes to demonstration files

Minor fixes to demonstration files #19

Triggered via push October 19, 2024 06:02
@jonaprietojonaprieto
pushed ada2995
main
Status Success
Total duration 1m 19s
Artifacts –

ci.yml

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