Skip to content

Commit cb9854d

Browse files
MatthewDaggittMatthewDaggitt
authored
Run CI tests on release branches as well (agda#2444)
* Run tests on release branches as well * Fix naming convention
1 parent 0da5ba7 commit cb9854d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎.github/workflows/ci-ubuntu.yml

+1
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ on:
44
branches:
55
- master
66
- experimental
7+
- 'v*-release'
78
pull_request:
89
branches:
910
- master

0 commit comments

Comments
 (0)