Skip to content

move to coveralls_reborn, use latest ubuntu runners#179

Merged
pitr merged 4 commits into
masterfrom
upgrade-stuff
Nov 23, 2025
Merged

move to coveralls_reborn, use latest ubuntu runners#179
pitr merged 4 commits into
masterfrom
upgrade-stuff

Conversation

@pitr

@pitr pitr commented Nov 20, 2025

Copy link
Copy Markdown
Owner

coveralls is deprecated, old ubuntu images don't seem to start

pitr added 3 commits November 20, 2025 15:07
remove no-longer functioning badges, fix branch on  build status
@pitr pitr merged commit f19c249 into master Nov 23, 2025
42 checks passed
@pitr pitr deleted the upgrade-stuff branch November 23, 2025 23:17
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