Build docs and trigger gh-pages

Fix broken synthesis after cleanup #1214

Sign in to view logs

Triggered via pull request October 7, 2023 10:31

tilk

synchronize #468

lekcyjna/autumn-cleaning-1-1

Status Success

Total duration 52s

Artifacts –

deploy_gh_pages.yml

on: pull_request