| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-04-25 | Auto merge of #3514 - RalfJung:hyperfine, r=RalfJung | bors | -4/+4 | |
| CI: run benches with hyperfine rather than bash The hyperfine installation is cached so this should not cost a lot of CI time. This is step 1/2 to getting rid of the BASH variable hack. | ||||
| 2024-04-25 | CI: run benches with hyperfine rather than bash | Ralf Jung | -4/+4 | |
| 2024-04-25 | Auto merge of #3505 - RalfJung:ci, r=RalfJung | bors | -1/+1 | |
| CI: don't run cron-fail-notify when the job just got canceled Doesn't seem right to prepare a PR in that case | ||||
| 2024-04-24 | Upgrade to `actions/checkout@v4` in `ci.yml`. | Predrag Gruevski | -3/+3 | |
| This is a newer version of the same action. None of the uses here were particularly special (no complex features of v3 were used) so this is a straightforward as-is upgrade. | ||||
| 2024-04-23 | CI: don't run cron-fail-notify when the job just got canceled | Ralf Jung | -1/+1 | |
| Doesn't seem right to prepare a PR in that case | ||||
| 2024-03-31 | update josh version and guidance | Ralf Jung | -1/+1 | |
| 2024-03-31 | reset the caches | Ralf Jung | -8/+10 | |
| looks like the M1 runners don't like it when the cache was created on x86 also reorder the lines to be more semantically grouped | ||||
| 2024-03-31 | experiment with macOS M1 runners | Ralf Jung | -2/+2 | |
| 2024-03-31 | move './miri check' for features to the style check job | Ralf Jung | -0/+4 | |
| 2024-03-24 | CI tweaks and show which stable Rust we are using | Ralf Jung | -3/+9 | |
| 2024-03-23 | disable RUST_BACKTRACE in CI, set it inside the test harness instead | Ralf Jung | -1/+0 | |
| 2024-03-17 | fix Zulip topic for PR-creation message | Ralf Jung | -1/+1 | |
| 2024-03-14 | Apply the same shell quoting trick we use in the URL to | Ben Kimock | -1/+1 | |
| 2024-03-14 | make cron job topic names more consistent | Ralf Jung | -2/+2 | |
| 2024-03-13 | Improve sysroots notification | Ben Kimock | -4/+17 | |
| 2024-03-04 | Conjob → Cronjob | Ralf Jung | -1/+1 | |
| 2024-01-08 | Run the tier 2 sysroots job on a schedule, not push | Ben Kimock | -3/+3 | |
| 2024-01-07 | Check if tier 2 targets build in the nightly cron job | Ben Kimock | -2/+51 | |
| 2023-11-25 | run the provenance-gc=1 test on all targets, but only for some of the tests | Ralf Jung | -4/+0 | |
| before: only on Linux host, all tests after: only the test suite itself (not cargo-miri or the mir-opt-level=4 run), on all hosts for the host target and on Linux for all "full" targets. | ||||
| 2023-11-19 | tag-gc -> provenance-gc | Ben Kimock | -1/+1 | |
| 2023-10-20 | ignore deny lints in josh | Ralf Jung | -1/+1 | |
| 2023-10-16 | triagebot: re-enable merge commit check | Ralf Jung | -1/+1 | |
| 2023-09-22 | run the cron job a bit earlier | Ralf Jung | -1/+1 | |
| 2023-09-16 | triagebot exclude_labels -> exclude_titles | Peter Jaszkowiak | -1/+1 | |
| 2023-09-11 | enforce no-merge policy via triagebot | Ralf Jung | -1/+1 | |
| 2023-08-22 | miri-script: start and stop josh automatically | Ralf Jung | -2/+0 | |
| 2023-07-31 | miri-script refactor | Ralf Jung | -1/+1 | |
| 2023-07-26 | move CI var uses after their declaration | Ralf Jung | -4/+4 | |
| 2023-07-26 | sparse registry has been stable for a bit now | Ralf Jung | -3/+0 | |
| 2023-07-26 | move nightly cron job a little earlier | Ralf Jung | -1/+1 | |
| 2023-07-16 | style checks: use latest rustc for cron job | Ralf Jung | -2/+7 | |
| 2023-07-03 | remove outdated comment | Ralf Jung | -1/+0 | |
| 2023-07-03 | send link to PR to Zulip | Ralf Jung | -4/+11 | |
| 2023-07-02 | can't seem to avoid repeating the branch name... | Ralf Jung | -3/+3 | |
| 2023-07-02 | more CI yml cleanup | Ralf Jung | -7/+6 | |
| 2023-07-02 | sadly 'gh' doesnt support all git upstream branch configs | Ralf Jung | -2/+4 | |
| 2023-07-02 | cronjob auto-PR: try to fix setting the remote branch | Ralf Jung | -4/+2 | |
| 2023-07-02 | cron auto-PR: need to set upstream branch | Ralf Jung | -2/+2 | |
| 2023-07-02 | CI cleanup | Ralf Jung | -8/+3 | |
| 2023-07-02 | cronjob auto-PR: fetch more of the history | Ralf Jung | -2/+2 | |
| 2023-07-02 | cronjob auto-PR: make sure we are on a branch | Ralf Jung | -1/+5 | |
| 2023-06-29 | Checking for a cached value without having a cache is useless | Oli Scherer | -4/+1 | |
| 2023-06-29 | Bashy Mc Bashface | Oli Scherer | -0/+6 | |
| 2023-06-28 | Try running a sync automatically | Oli Scherer | -1/+25 | |
| 2023-03-22 | Correctly quote env vars in single quoted string in bash | Oli Scherer | -1/+1 | |
| 2023-03-21 | Have the miri cronjob link to the failed run. | Oli Scherer | -1/+6 | |
| Also explain what needs to be done. | ||||
| 2023-03-15 | use date-based cache key | Ralf Jung | -4/+4 | |
| 2023-03-14 | Don't use CI caches from before this branch | Ben Kimock | -4/+4 | |
| 2022-11-15 | adjust josh pushing and remove ./miri toolchain updating the toolchain file | Ralf Jung | -3/+3 | |
| 2022-10-29 | merge rustup-toolchain into ./miri | Ralf Jung | -3/+3 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |