Skip to content

Comments

Replace github ci workflow#675

Merged
dfaust merged 1 commit intonotify-rs:mainfrom
dfaust:ci
Mar 1, 2025
Merged

Replace github ci workflow#675
dfaust merged 1 commit intonotify-rs:mainfrom
dfaust:ci

Conversation

@dfaust
Copy link
Member

@dfaust dfaust commented Mar 1, 2025

New, AI generated workflow. Same platforms and toolchains as before, but less complexity and more linters.

@dfaust dfaust force-pushed the ci branch 13 times, most recently from 8702b3b to 8d963c0 Compare March 1, 2025 16:34
@dfaust dfaust changed the title [WIP] Replace github ci workflow Replace github ci workflow Mar 1, 2025
@dfaust dfaust merged commit a072ed8 into notify-rs:main Mar 1, 2025
17 checks passed
@dfaust dfaust deleted the ci branch March 1, 2025 16:41
JohnTitor pushed a commit that referenced this pull request Jul 3, 2025
Replace github ci workflow
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.

1 participant