altrisi 9672e16241 Only run mergedocs in master

2020-10-31 15:08:56 +01:00

..

build-on-pr.yml

Add GitHub Actions (#496)

2020-10-22 17:04:27 -03:00

devbuild.yml

Add GitHub Actions (#496)

2020-10-22 17:04:27 -03:00

merge-docs.yml

Only run mergedocs in master

2020-10-31 15:08:56 +01:00

rules-to-wiki.yml

Make rules-to-wiki Gradle 6 compatible

2020-10-25 12:48:56 +01:00