Skip to content
Mkdocs+Juvix CI

Update README.md with badges #12

Sign in to view logs

Update README.md with badges

Update README.md with badges #12

Triggered via push October 17, 2024 05:11
@jonaprietojonaprieto
pushed 8e4317d
main
Status Success
Total duration 1m 15s
Artifacts –

ci.yml

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