Simran Spiller 56acbfd06c Skip CI if message of head commit contains [skip ci] ...

Note: github.event.head_commit.message is potentially not available in
on: pull_request payload. May need to find an alternative when this is
added as trigger.

2020-10-12 17:14:20 +02:00

..

ci.yml

Skip CI if message of head commit contains [skip ci]

2020-10-12 17:14:20 +02:00