colobot

Author	SHA1	Message	Date
krzys-h	f5519f8936	Send comment when pull request targets the wrong branch	2021-02-22 12:57:04 +01:00
krzys-h	a6a7b0c96c	Display correct PR target branch as success rather than skipped	2020-07-07 18:37:21 +02:00
krzys-h	6d7aadf987	Migrate to GitHub Actions This is pretty much a straight port of our Jenkinsfile to GitHub Actions. It could use some modernization in a few places, but it should work for now. Note that I left the Jenkinsfile for now - we'll be using them both until we are sure that the GitHub Actions version is stable.	2020-07-07 18:09:12 +02:00