chore: Also build branches with slashed names.

This commit is contained in:
Ruben Verborgh 2021-07-21 22:54:00 +02:00
parent 31dcfbf51e
commit 449a5a6e42

View File

@ -3,12 +3,12 @@ name: CI
on:
push:
branches:
- '*'
- '**'
tags:
- 'v*'
pull_request:
branches:
- '*'
- '**'
jobs:
lint: