Ralf Jung
b4089a77ab
refresh our GHA caches
2022-05-21 09:34:29 +02:00
David Tolnay
0bdf91ddc7
Update GitHub Actions actions/checkout@v2 to v3
...
The v2 implementation uses Node 12, which is end-of-life on April 30, 2022.
See https://nodejs.org/en/about/releases/ . Update to v3, which is based on
Node 16 whose support lasts until April 30, 2024.
2022-04-29 20:25:04 -07:00
Ralf Jung
77095f8557
tweak cron job time
2021-11-17 10:34:32 -05:00
hyd-dev
c504e3dee0
Add a comment in .github/workflows/ci.yml
2021-07-02 16:39:43 +08:00
hyd-dev
34217bdc8e
Use rustup-toolchain-install-master to install Cargo
2021-06-27 23:05:08 +08:00
hyd-dev
2d17b5a550
Use miri inside the target directory used by rustc as Miri's target directory
2021-06-25 01:09:10 +08:00
Ralf Jung
74ae89e6ca
over 'default' instead of 'override' (consistent with main build job)
2021-05-19 10:58:29 +02:00
Ralf Jung
952066f545
add (bors-ignored) formatting check job
2021-05-19 10:47:17 +02:00
Ralf Jung
2902ad91de
add date to Zulip notification subject
2021-03-02 11:09:06 +01:00
hyd-dev
a5d7ae5816
Fix \n in Zulip message
...
https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Cron.20Job.20Failure/near/223865005
2021-01-25 16:12:29 +08:00
LeSeulArtichaut
a4a643e7cb
Teach the miri cronjobs to speak politely
2021-01-17 21:26:24 +01:00
Ralf Jung
0b9ee16248
undo cronjob deliberate failure
2021-01-16 10:29:37 +01:00
Ralf Jung
d6b5ead0ba
add Zulip site information
2021-01-15 15:23:20 +01:00
Ralf Jung
6c112e0459
fix zulip-send path
2021-01-11 12:09:55 +01:00
Ralf Jung
333d7bb2c5
send Zulip notification when cron job fails
2021-01-10 19:15:22 +01:00
Lzu Tao
6acde94931
Add a working github actions template
2020-10-11 18:32:12 +07:00
Ralf Jung
c3a1225233
add bors notification jobs
2020-10-06 13:35:39 +02:00
Lzu Tao
1c9db02508
Add a dummy actions template to enable it on CI
2020-10-04 18:53:13 +07:00
