summaryrefslogtreecommitdiff
path: root/walint.cabal
diff options
context:
space:
mode:
authorstuebinm2021-12-20 10:08:37 +0000
committerstuebinm2021-12-20 10:08:37 +0000
commit8b4dacb1844279dfbefa01af6d11e44e3067892c (patch)
tree08974b9c912bfd9a8cbc8bd074bdc6f975a85857 /walint.cabal
parent07bb1db91b6d775244190541f8bfd53835c404a6 (diff)
run pipeline only on main
Diffstat (limited to 'walint.cabal')
0 files changed, 0 insertions, 0 deletions