Ben Kimock
93e41f625a
Linux has more testing, we should do the extra checks there
2022-09-13 10:12:57 -04:00
Ben Kimock
f59605ce52
In CI set the GC interval to 1 for Linux only
2022-09-10 23:05:56 -04:00
Ralf Jung
e12962b4aa
Zulip notifications: ping the Miri team
2022-09-01 15:20:05 +02:00
Ralf Jung
29e9a8aa1a
split cargo-miri into multiple files
...
also greatly extend the 'who calls who' comment
2022-08-02 22:01:03 -04:00
Ralf Jung
02f8cb2d55
add ./miri clippy
2022-06-29 18:17:36 -04:00
Ralf Jung
bb6fcb71c0
only one Zulip cron job topic per month
2022-06-24 09:13:36 -04:00
David Tolnay
2cbc461389
Add './miri fmt' and use it in CI
2022-06-23 13:08:45 -07:00
Ralf Jung
e286090d7a
make rustfmt mandatory and used pinned toolchain
2022-06-23 14:04:57 -04:00
David Tolnay
53580c1e18
Add rustfmt CI for currently formatted directories
2022-06-20 09:00:49 -07:00
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
