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.

Sign up for GitHub

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

Jump to bottom

Daily build are disabled again due to no activity in the repository. #28433

Open

1 task

mshima opened this issue Jan 9, 2025 · 0 comments

Open

1 task

Daily build are disabled again due to no activity in the repository. #28433

mshima opened this issue Jan 9, 2025 · 0 comments

Assignees

Labels

area: enhancement 🔧 theme: CI builds

Member

mshima commented Jan 9, 2025

Overview of the feature request

We should add a workflow to commit to avoid disabling again.

Motivation for or Use Case

Related issues or PR

Checking this box is mandatory (this is just to show you read everything)

mshima self-assigned this

github-actions bot added area: triage theme: undefined labels

mshima added area: enhancement 🔧 theme: CI builds and removed area: triage theme: undefined labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment