srctree
repos
owner
network
issues
0
diffs
0
Public
Robin Linden
parent
679a8d67
e0fdbd9a
Only run CI on PRs or when manually triggered
We only do fast-forward merges, so we were running CI at least twice onevery commit.
inline
split
.github/workflows/ci.yaml
added: 6, removed: 2, total 4
@@ -1,5 +1,9 @@
name: ci
on: [push, pull_request]
on:
pull_request:
workflow_dispatch:
jobs:
ktlint:
runs-on: ubuntu-22.04