| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-09-24 | Scope CI permissions to the job that needs it | Jakub Beránek | -6/+5 | |
| 2024-09-24 | looks like we need more permissions | Ralf Jung | -1/+3 | |
| 2024-09-23 | fix workflow permissions | Ralf Jung | -1/+2 | |
| 2024-09-22 | try to give the CI job permission to create PRs | Ralf Jung | -0/+3 | |
| 2024-09-09 | ci: bump actions/checkout to v4 | Trivikram Kamat | -1/+1 | |
| 2024-08-14 | CI: need nightly toolchain for auto-rustup PR | Ralf Jung | -0/+2 | |
| 2024-08-10 | CI: we now need the nightly toolchain as well | Ralf Jung | -0/+4 | |
| 2024-08-10 | add './miri doc' command | Ralf Jung | -1/+1 | |
| 2024-06-21 | CI: try to share setup code across actions | Ralf Jung | -85/+54 | |
| 2024-05-03 | CI: no need to surround if: condition in expansion braces | Ralf Jung | -3/+3 | |
| 2024-05-03 | run clippy on a Windows host | Ralf Jung | -0/+6 | |
| 2024-04-27 | fix: usage of `deprecated` version of `Node.js` | Hamir Mahal | -2/+2 | |
| 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 | |
