Skip to content

Commit 7a18b95

Browse files
thomasjmthomasjm
committed
ci: add workflow_dispatch
1 parent c7d0129 commit 7a18b95

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

‎.github/workflows/ci.yml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
on: [push]
1+
on:
2+
workflow_dispatch:
3+
pull_request:
4+
push:
5+
26
name: CI
37
jobs:
48
cabal:

0 commit comments

Comments
 (0)