10 Commits
Author SHA1 Message Date
altrisi ddb0213de4 Update GHA versions 2026-06-21 16:00:46 +02:00
gnembon dec9659975 update actions 2025-12-17 21:33:28 +01:00
altrisi fc1bc68ed0 Update actions versions (#2032) 2025-02-05 15:57:45 +01:00
gnembon 8fca306992 java 21 in github stuffs 2024-04-04 00:17:52 +02:00
altrisi 0f82305b36 Bump action versions 2022-10-12 13:17:23 +02:00
altrisi 6ebef9b41d Simplify cache in action workflows (#1359)
* Simplify `build-on-pr` workflow

* Simplify `devbuild` workflow

* Simplify `publish-release` action
2022-04-04 10:28:08 +02:00
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