This repository has been archived on 2025-09-02. You can view files and clone it, but cannot push or open issues or pull requests.

Mary f48828351c ci: Do not enforce userid on nightly PR comment ...

This avoid issues when two different users work on a single PR.

2021-05-14 11:08:46 +02:00

..

build.yml

CI: Add option to manually trigger github actions

2021-04-07 21:20:15 +02:00

nightly_pr_comment.yml

ci: Do not enforce userid on nightly PR comment

2021-05-14 11:08:46 +02:00