770367e193
.github/workflows: Pull masterdirs from ghcr
2021-03-15 16:04:13 -07:00
9d64f0940e
.github/workflows: shorten step list.
...
This makes CI results more concise.
2021-01-03 18:55:15 -03:00
b6e7863cbd
.github/workflows: add script to check that packages can still be
...
installed.
This will allow us to confirm the repository's staging state in CI.
2020-12-23 16:14:53 -03:00
9b61bf5df5
.github/workflows: Remove old notifications
2020-12-20 22:11:54 -08:00
d946fe791d
.github/workflows: run tests on CI for native builds.
...
Also:
- fix "list contents" step by adding a fetch-xtools step.
- remove git from masterdir to not interfere with builds (thanks @sgn)
2020-12-14 00:18:04 -03:00
7dd89d0df3
GitHub Action: install xtools for "show files" step
2020-12-14 08:17:44 +07:00
b9da5abd55
Update source for GitHub Actions
2020-12-07 19:46:12 +01:00
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
d97410a07a
.github/workflows: add build.yaml.
...
This commit enables CI on GitHub Actions.
Taken from nilium's repository:
e9bf829752/.github/workflows/build.yaml
2020-11-13 19:33:25 -03:00
f3504e5986
.github: disable notice mode for issue/pr/push notifications
2020-08-26 10:54:56 +02:00
f5587cae21
.github/workflows: make IRC notify steps non-fatal
2020-01-27 22:16:13 +01:00
31d28c0a2e
.github/workflows: Shorten the URLs from github
2019-12-20 13:44:48 +01:00
87319512a6
.github/workflows: use a dedicated workflow for each event
2019-12-19 23:01:07 +01:00
4fa9af7561
.github/workflows: Use Gottox/irc-message-action to avoid the docker overhead
2019-12-19 17:53:27 +01:00
daffd7342f
.github/workflows: add a 3 minute timeout to the irc notifications
2019-12-19 17:53:27 +01:00
a9f3b5c61d
.github/workflows: Show URLs instead of issue and PR #s.
2019-12-19 17:53:27 +01:00
1978f8da23
.github/workflows: use notices instead of privmsg
...
this prevents the bot from joining.
2019-12-19 17:53:27 +01:00
eb2fa6f5a7
.github/workflows: use registered user
2019-12-18 21:50:29 +01:00
0d54b8733f
.github/workflows: fix pull request message again
2019-12-18 21:16:14 +01:00
928fe3ba78
.github/workflows: fix messages
2019-12-18 20:37:16 +01:00
85d48cd1bd
.github/workflows: revert notice
2019-12-18 20:30:52 +01:00
1e504671ce
.github/workflows: try to make irc notifications more useful
2019-12-18 20:28:46 +01:00
b4db900aa5
.github/workflows: add irc notification workflow
2019-12-18 15:32:03 +01:00
Michael Aldridge
Érico Rolim
Michael Aldridge
Đoàn Trần Công Danh
Tim Sandquist
Duncaen
Enno Boland