on push tags
This commit is contained in:
parent
2c90c6b5e2
commit
611d0dfa69
1 changed files with 4 additions and 0 deletions
|
@ -6,6 +6,10 @@ on:
|
||||||
required: true
|
required: true
|
||||||
type: string
|
type: string
|
||||||
|
|
||||||
|
push:
|
||||||
|
tags:
|
||||||
|
- '*'
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
cabal-config-edge:
|
cabal-config-edge:
|
||||||
name: Generate cabal config for edge
|
name: Generate cabal config for edge
|
||||||
|
|
Loading…
Reference in a new issue