Skip to content
Deploy to GitHub Pages

Makefile: fix github actions which don't support pushd #341

Sign in to view logs

Makefile: fix github actions which don't support pushd

Makefile: fix github actions which don't support pushd #341

Triggered via push August 20, 2024 09:23
@schuellerfschuellerf
pushed 80a7bba
main
Status Success
Total duration 1m 13s
Artifacts –

deploy.yml

on: push
Deploy to GitHub Pages
1m 1s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in