Skip to content

ci: stop hanging PR workflows and remove duplicate runs#1063

Merged
GregorBiswanger merged 1 commit into
developfrom
feature/fix-ci-hang-and-duplicate-workflows
May 9, 2026
Merged

ci: stop hanging PR workflows and remove duplicate runs#1063
GregorBiswanger merged 1 commit into
developfrom
feature/fix-ci-hang-and-duplicate-workflows

ci: stop hanging PR workflows and remove duplicate runs

b66ce03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 errors
Job log options

This job was cancelled