Document github workflow choice

This commit is contained in:
Klaas van Schelven
2025-03-05 11:16:54 +01:00
parent 381a5caae4
commit b211d961ce

View File

@@ -1,5 +1,8 @@
name: Continuous Integration
# we use the fact that MySQL is part of the ubuntu image, which saves us from
# "service container" complexities (but gives no choices in the version)
on:
push:
branches: [ "main" ]