Oli Scherer
|
cd4a36ec47
|
Correctly quote env vars in single quoted string in bash
|
2023-03-22 16:17:35 +00:00 |
|
Oli Scherer
|
fed01ee814
|
Have the miri cronjob link to the failed run.
Also explain what needs to be done.
|
2023-03-21 08:30:47 +00:00 |
|
Ralf Jung
|
3aa4de3fa8
|
use date-based cache key
|
2023-03-15 13:44:36 +01:00 |
|
Ben Kimock
|
43dff4f78f
|
Don't use CI caches from before this branch
|
2023-03-14 19:22:25 -04:00 |
|
Ralf Jung
|
a47e431390
|
adjust josh pushing and remove ./miri toolchain updating the toolchain file
|
2022-11-15 19:27:14 +01:00 |
|
Ralf Jung
|
39598e46f6
|
merge rustup-toolchain into ./miri
|
2022-10-29 12:21:14 +02:00 |
|
Ralf Jung
|
50af895ef7
|
change cronjob time
|
2022-10-27 09:36:40 +02:00 |
|
Ralf Jung
|
27e5cc8898
|
simplify GHA
|
2022-10-26 14:05:52 +02:00 |
|
Ralf Jung
|
f8832a41a9
|
fix caching check in CI
|
2022-10-16 13:05:55 +02:00 |
|
Ralf Jung
|
a1bc9ad6ed
|
CI improvements
- cache RTIM for the style checks
- disable fail-fast for main checks so that we can see whether the other jobs are green
|
2022-10-14 09:45:40 +02:00 |
|
Ralf Jung
|
49532bf1f5
|
GHA seems to have strange booleans
|
2022-10-02 15:05:51 +02:00 |
|
Ralf Jung
|
5f18674c31
|
use rustc-build-sysroot instead of xargo
|
2022-09-25 11:52:31 +02:00 |
|
Ralf Jung
|
7e97f85fb7
|
force-install tools on stale cache, to make sure we get the latest of all dependencies
|
2022-09-25 09:47:20 +02:00 |
|
Ralf Jung
|
75bbe38e53
|
CI: use cargo sparse registry
|
2022-09-25 09:41:44 +02:00 |
|
Ralf Jung
|
6f6a2dfb92
|
remove macOS work-around that is no longer needed
|
2022-09-24 20:03:34 +02:00 |
|
Oli Scherer
|
f45b570e08
|
Add 'src/tools/miri/' from commit '75dd959a3a'
git-subtree-dir: src/tools/miri
git-subtree-mainline: 3f3167fb59
git-subtree-split: 75dd959a3a
|
2022-09-21 15:36:26 +00:00 |
|