Build docs and trigger gh-pages

Autumn cleaning: types #1247

Sign in to view logs

Triggered via pull request October 20, 2023 12:33

tilk

opened #479

tilk/autumn-cleaning-types

Status Failure

Total duration 54s

Artifacts –

deploy_gh_pages.yml

on: pull_request

Annotations

1 error

push_gh-pages

Process completed with exit code 1.