4 Commits

Include renames

Author	SHA1	Message	Date
gnembon	63aa9ab902	one more java again	2021-11-16 20:41:20 +01:00
gnembon	15bba80cb5	uncomment (#857) ... * uncomment * copy from altrisi's	2021-05-12 20:08:06 -03:00
gnembon	f5db84345e	update toolchain to Java 16	2021-05-12 22:48:44 -03:00
altrisi	d8009a3719	Add GitHub Actions (#496) ... * Add Github actions Using bot's mail looks better in the wiki, since in main page it shows the pusher name but in the revisions tab it shows the bot. Allow failure is to prevent the commit appearing with a cross just because the wiki didn't change. It can probably also be fixed in the command part, but does the same * Rules-to-wiki 1.0	2020-10-22 17:04:27 -03:00