Skip to content
CI

Fix permissions such that labels can also be set based on PR from forks #170

Sign in to view logs

Fix permissions such that labels can also be set based on PR from forks

Fix permissions such that labels can also be set based on PR from forks #170

Triggered via push February 2, 2026 11:20
@dietmarwdietmarw
pushed 46a067c
master
Status Success
Total duration 25s
Artifacts –

checkCI.yml

on: push
html_documentation_checks
21s
html_documentation_checks
syntax_checks
5s
syntax_checks
deprecation_checks
7s
deprecation_checks
Fit to window
Zoom out
Zoom in