Skip to content
This repository has been archived by the owner on Sep 1, 2024. It is now read-only.

verify all pull requests #198

Merged
merged 1 commit into from
Nov 12, 2023
Merged

verify all pull requests #198

merged 1 commit into from
Nov 12, 2023

Conversation

sebhoss
Copy link
Member

@sebhoss sebhoss commented Nov 12, 2023

No description provided.

Signed-off-by: Sebastian Hoß <[email protected]>
@sebhoss sebhoss added the github_actions Pull requests that update Github_actions code label Nov 12, 2023
@sebhoss sebhoss self-assigned this Nov 12, 2023
@sebhoss sebhoss enabled auto-merge (rebase) November 12, 2023 09:52
@sebhoss sebhoss merged commit 0ff76a0 into main Nov 12, 2023
3 checks passed
@sebhoss sebhoss deleted the verify branch November 12, 2023 09:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
github_actions Pull requests that update Github_actions code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant