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 (10ec454f6bf8f9ded44ebc0a08a987b6e6e342fc)