Merge pull request #3 from ti-uni-bielefeld/add_docs_to_release #4

Triggered via push June 15, 2025 11:17

jonicho

main

Status Failure

Total duration 26s

Artifacts 1

release.yml

on: push

2 errors

Branch "main" is not allowed to deploy to github-pages due to environment protection rules.

The deployment was rejected or didn't satisfy other protection rules.

Produced during runtime

Name	Size	Digest
github-pages Expired	998 KB	`sha256:aa2399b5e9ccef686f0764373233027c958e7998c6c859b17ddeee51d2217786`