Commit graph

16 commits

Author SHA1 Message Date
Érico Rolim
55f0c47176 .github/workflows/build: don't skip CI when PR is a draft.
When a PR is marked as ready for review (no longer a draft), CI isn't
re-run automatically, so no tests are run until the PR is updated. Even
trying to manually re-run the jobs doesn't fix this, since GH appears to
remember the PR state instead of using the current one.
2020-11-22 21:56:19 -03:00
Érico Rolim
d97410a07a .github/workflows: add build.yaml.
This commit enables CI on GitHub Actions.

Taken from nilium's repository:

e9bf829752/.github/workflows/build.yaml

Plus a few changes:

- only run CI on PRs
- don't run CI on draft PRs or when a PR title or body contains "[ci skip]"
- remove some names
- use more recent void containers
- fix XBPS self update
2020-11-13 19:33:25 -03:00
Duncaen
f3504e5986
.github: disable notice mode for issue/pr/push notifications 2020-08-26 10:54:56 +02:00
Enno Boland
f5587cae21
.github/workflows: make IRC notify steps non-fatal 2020-01-27 22:16:13 +01:00
Enno Boland
31d28c0a2e .github/workflows: Shorten the URLs from github 2019-12-20 13:44:48 +01:00
Enno Boland
87319512a6
.github/workflows: use a dedicated workflow for each event 2019-12-19 23:01:07 +01:00
Enno Boland
4fa9af7561 .github/workflows: Use Gottox/irc-message-action to avoid the docker overhead 2019-12-19 17:53:27 +01:00
Enno Boland
daffd7342f .github/workflows: add a 3 minute timeout to the irc notifications 2019-12-19 17:53:27 +01:00
Enno Boland
a9f3b5c61d .github/workflows: Show URLs instead of issue and PR #s. 2019-12-19 17:53:27 +01:00
Enno Boland
1978f8da23 .github/workflows: use notices instead of privmsg
this prevents the bot from joining.
2019-12-19 17:53:27 +01:00
Duncaen
eb2fa6f5a7
.github/workflows: use registered user 2019-12-18 21:50:29 +01:00
Duncaen
0d54b8733f
.github/workflows: fix pull request message again 2019-12-18 21:16:14 +01:00
Duncaen
928fe3ba78
.github/workflows: fix messages 2019-12-18 20:37:16 +01:00
Duncaen
85d48cd1bd
.github/workflows: revert notice 2019-12-18 20:30:52 +01:00
Duncaen
1e504671ce
.github/workflows: try to make irc notifications more useful 2019-12-18 20:28:46 +01:00
Enno Boland
b4db900aa5 .github/workflows: add irc notification workflow 2019-12-18 15:32:03 +01:00