Build and deploy docs

Remove generate_makefile.bash mentioning #862

Sign in to view logs

Triggered via pull request November 20, 2023 18:55

crtrott

opened #470

crtrott:remove-generate-makefile-mentioning

Status Success

Total duration 1m 5s

Artifacts –

deploy_docs.yml

on: pull_request

build-and-deploy-docs