Skip to content
Deploy Jekyll with GitHub Pages dependencies preinstalled

reorg just one dtx to see how doc/code split might work #8

Sign in to view logs

reorg just one dtx to see how doc/code split might work

reorg just one dtx to see how doc/code split might work #8

Triggered via push April 20, 2024 14:32
@wsprwspr
pushed a866a66
develop
Status Success
Total duration 51s
Artifacts –

jekyll-gh-pages.yml

on: push
build
20s
build
deploy
15s
deploy
Fit to window
Zoom out
Zoom in