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

Move daily schedule to this repo, keepalive #492

Merged
merged 1 commit into from
Mar 20, 2024

Conversation

jakebailey
Copy link
Member

Rather than using a token to trigger this from the DT repo, just do the schedule here, then use a nifty action to keep the workflow from being disabled.

@jakebailey jakebailey merged commit 2c418b2 into DefinitelyTyped:master Mar 20, 2024
2 checks passed
@jakebailey jakebailey deleted the daily-schedule branch March 20, 2024 15:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants