Commit Graph

24 Commits

Author SHA1 Message Date
infrandomness eaa1e444eb Add mandatory cargo_doc
Co-authored-by: Joshua Nelson <github@jyn.dev>
2022-06-11 10:59:57 +02:00
Ralf Jung aa68111c60 gate bors on clippy 2022-06-07 16:03:32 -04:00
Ralf Jung bd7f83dc37 run clippy on CI 2022-06-04 13:25:54 -04:00
Ralf Jung 4f70093805 advanced GHA 2022-06-01 06:45:09 -04:00
Ralf Jung 1571571e38 also avoid rebuilding cached RTIM 2022-06-01 06:31:08 -04:00
Ralf Jung 81d661f134 bump xargo version, and tweak xargo caching 2022-06-01 06:28:27 -04:00
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