| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-20 | CI: test bootstrap build | Ralf Jung | -2/+37 | |
| 2025-09-12 | disable broken parts of CI for now | Ralf Jung | -16/+17 | |
| 2025-08-21 | CI: also test on powerpc | Ralf Jung | -0/+5 | |
| 2025-08-01 | update rustup PR message | Ralf Jung | -1/+1 | |
| 2025-07-31 | rely on preinstalled rustup on windows-arm | Ralf Jung | -6/+0 | |
| 2025-07-29 | Apply suggestions from code review | Jakub Beránek | -1/+2 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2025-07-29 | Use GH app for authenticating pull PRs | Jakub Beránek | -1/+6 | |
| 2025-07-26 | CI: run apt update before installing anything | Ralf Jung | -0/+4 | |
| 2025-07-25 | Fix cronjob Zulip message | Jakub Beránek | -1/+1 | |
| 2025-07-23 | Merge pull request #4490 from Kobzol/use-josh-sync | Ralf Jung | -12/+25 | |
| Use `josh-sync` instead of `miri-script` for Josh synchronization | ||||
| 2025-07-23 | Remove Zulip API keys and use `set -x` | Jakub Beránek | -5/+5 | |
| 2025-07-23 | Update CI workflow | Jakub Beránek | -10/+23 | |
| 2025-07-23 | CI: add windows-arm runner | Ralf Jung | -0/+8 | |
| 2025-07-03 | only set host-specific CC; improve and de-duplicate native libs testing logic | Ralf Jung | -1/+1 | |
| 2025-06-29 | add a riscv64 test job | Ralf Jung | -0/+5 | |
| 2025-06-29 | remove duplicate clippy check | Ralf Jung | -4/+2 | |
| 2025-06-29 | also test on s390x via qemu | Ralf Jung | -0/+15 | |
| 2025-06-29 | test on x86-32 and arm-32 | Ralf Jung | -18/+25 | |
| 2025-06-29 | Merge pull request #4424 from RalfJung/aarch64-linux-ci | Ralf Jung | -16/+38 | |
| also test on arm-64 linux hosts | ||||
| 2025-06-29 | also test on arm-64 linux hosts | Ralf Jung | -16/+38 | |
| 2025-06-29 | make ./miri work on stable again | Ralf Jung | -4/+0 | |
| 2025-04-24 | CI: print message when skipping PR | Ralf Jung | -1/+1 | |
| 2025-04-17 | remove test trigger fron cron job | Ralf Jung | -1/+1 | |
| 2025-04-17 | for testing, run the CI job an extra time today | Ralf Jung | -1/+1 | |
| 2025-04-17 | ci.yml: always create sync PR when there's any difference | Ralf Jung | -35/+37 | |
| 2025-03-06 | Fix tier 2 sysroots job | Ben Kimock | -0/+1 | |
| 2025-02-24 | make sure we install the toolchain for the intended host target | Ralf Jung | -1/+7 | |
| 2025-01-04 | bump josh-proxy | Ralf Jung | -1/+1 | |
| 2024-10-27 | Add option for generating coverage reports | Konstantin Andrikopoulos | -2/+11 | |
| Add a `--coverage` option in the `test` subcommand of the miri script. This option, when set, will generate a coverage report after running the tests. `cargo-binutils` is needed as a dependency to generate the reports. | ||||
| 2024-10-26 | automatic PR: explain how to trigger CI | Ralf Jung | -1/+1 | |
| 2024-10-25 | CI workflow: tweak conclusion job | Ralf Jung | -4/+5 | |
| 2024-10-22 | Merge pull request #3981 from Kobzol/ci-merge-queue | Marco Ieni | -23/+16 | |
| Switch CI to merge queues | ||||
| 2024-10-22 | Switch CI to merge queues | Jakub Beránek | -23/+16 | |
| 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 | ||||
