Skip to content
Mkdocs+Juvix CI

Remove --non-recursive option from juvix isabelle for now #14

Sign in to view logs

Remove --non-recursive option from juvix isabelle for now

Remove --non-recursive option from juvix isabelle for now #14

Triggered via push October 17, 2024 07:32
@jonaprietojonaprieto
pushed 1b51ac8
main
Status Success
Total duration 1m 18s
Artifacts –

ci.yml

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