summaryrefslogtreecommitdiffstats
path: root/git@git.beyermatthi.as:mdbook-mermaid
diff options
context:
space:
mode:
authorJan-Erik Rediger <janerik@fnordig.de>2024-09-11 17:02:43 +0200
committerJan-Erik Rediger <janerik@fnordig.de>2024-09-11 17:06:58 +0200
commitda7a43358396806bc9ff20281fe989a80840e026 (patch)
tree0bd36f6b1a3d017b23eaf085c008477edf59d075 /git@git.beyermatthi.as:mdbook-mermaid
parent2fb81ec272dc6acbc6630d46ceba6f3eeb3ec8f9 (diff)
CI: Only build pushes to mainHEADmain
Diffstat (limited to 'git@git.beyermatthi.as:mdbook-mermaid')
0 files changed, 0 insertions, 0 deletions