colobot

Commit Graph

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

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

2 Commits (f2d91cde806b69c4a20cdb38fe2eb84e4ee2e907)