Skip to content

chore: remove dev_daily workflow#128

Merged
lidavidm merged 1 commit intomainfrom
dev
Mar 31, 2026
Merged

chore: remove dev_daily workflow#128
lidavidm merged 1 commit intomainfrom
dev

Conversation

@lidavidm
Copy link
Copy Markdown
Contributor

@lidavidm lidavidm commented Mar 31, 2026

It never worked in the first place, so let's just remove it and stop the clutter.

It never worked in the first place.
@lidavidm lidavidm marked this pull request as ready for review March 31, 2026 05:45
@lidavidm lidavidm requested a review from amoeba March 31, 2026 05:45
@lidavidm lidavidm merged commit 4c663b8 into main Mar 31, 2026
5 checks passed
@lidavidm lidavidm deleted the dev branch March 31, 2026 23:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants