Sjors Provoost 8610bcef9d
ci: skip Github CI on branch pushes for forks
Consistent with Cirrus behavior introduced in e9bfbb5414ab14ca14d8edcfdf77f28c9ed67c33.
2024-11-12 12:14:34 +01:00
..