add gerda to the documents dropdown menu (#637) #92

Triggered via push December 10, 2024 20:21

fgren

main

Status Success

Total duration 1m 33s

Artifacts 1

deploy-docs.yml

on: push

2 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
github-pages Expired	4.32 MB