search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 22 forks source link

GH actions doesn't run if one-out-of-many commits has [skip ci] #553

Closed ComFreek closed 3 years ago

ComFreek commented 3 years ago

The GH actions workflow file currently uses if: "! contains(toJSON(github.event.commits.*.message), '[skip ci]')"`` to skip builds for commits that have[skip ci]` in them. (I added that some days ago.)

Problem: if you push multiple commits at once and only one of them has [skip ci] in it, no CI will run. Probably trivial to fix, just replace commits.*.message somehow, I guess.