Skip to content
Mkdocs+Juvix CI

Add snippet support for Isablle generated output of juvix markdown files #16

Sign in to view logs

Add snippet support for Isablle generated output of juvix markdown files

Add snippet support for Isablle generated output of juvix markdown files #16

Triggered via push October 18, 2024 06:10
@jonaprietojonaprieto
pushed 537a6ad
main
Status Success
Total duration 1m 31s
Artifacts –

ci.yml

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