ci: check pr merge instead of pr branch #72

Merged
clan-bot merged 1 commits from Mic92-flake-parts-refactoring into main 2023-08-08 11:55:01 +00:00
Owner
No description provided.
clan-bot was assigned by Mic92 2023-08-08 11:54:34 +00:00
Mic92 added 1 commit 2023-08-08 11:54:34 +00:00
ci: check pr merge instead of pr branch
All checks were successful
build / test (pull_request) Successful in 7s
e069fdc1ea
Mic92 added 1 commit 2023-08-08 11:54:35 +00:00
ci: check pr merge instead of pr branch
All checks were successful
build / test (pull_request) Successful in 7s
e069fdc1ea
clan-bot merged commit fd3d0ccabb into main 2023-08-08 11:55:01 +00:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: clan/clan-infra#72
No description provided.