Skip to content
Deploy Aeneas user docs to GitHub pages

Merge pull request #431 from Nadrieril/dont-format-on-build #95

Sign in to view logs

Merge pull request #431 from Nadrieril/dont-format-on-build

Merge pull request #431 from Nadrieril/dont-format-on-build #95

Triggered via push February 3, 2025 17:12
@NadrierilNadrieril
pushed 12a8c79
main
Status Success
Total duration 42s
Artifacts 1

gh-pages.yml

on: push
build
9s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.15 MB