Prevent GitHub from disabling the scheduled workflows #10

Open

opened

on Apr 22, 2023

See https://twitter.com/djm_/status/1551155396907352066

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests