Build docs and trigger gh-pages

Fix broken synthesis after cleanup (#468) #1216

Sign in to view logs

Triggered via push October 7, 2023 10:39

tilk

master

Status Success

Total duration 57s

Artifacts –

deploy_gh_pages.yml

on: push