Update badges

1. Shields finally fixed their weirdness :) https://github.com/badges/shields/issues/8671 2. Bountysource doesn't seem to be very useful
2026-08-11 11:23:18 +02:00 · 2023-01-08 08:51:57 +00:00
parent 80c1024d84
commit 525aac560e
2 changed files with 1 additions and 3 deletions
@@ -1,4 +1,3 @@
-# the name is used by the shields.io at top of readme
 name: build
 on:
  - push