Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add check-label workflow #490

Merged
merged 1 commit into from
Jun 4, 2024
Merged

Commits on May 29, 2024

  1. Add check-label workflow

    This workflow runs on any change made to a pull-request and aims to
    verify that the correct label is present. The correct label is required
    for release configuration in .github/release.yml.
    
    Helps with fixing opencast#473
    
    Signed-off-by: Daniel Ziegenberg <daniel@ziegenberg.at>
    ziegenberg committed May 29, 2024
    Configuration menu
    Copy the full SHA
    222f19e View commit details
    Browse the repository at this point in the history