about summary refs log tree commit diff
path: root/src/tools/miri/.github/workflows
AgeCommit message (Expand)AuthorLines
2025-09-20CI: test bootstrap buildRalf Jung-2/+37
2025-09-12disable broken parts of CI for nowRalf Jung-16/+17
2025-08-21CI: also test on powerpcRalf Jung-0/+5
2025-08-01update rustup PR messageRalf Jung-1/+1
2025-07-31rely on preinstalled rustup on windows-armRalf Jung-6/+0
2025-07-29Apply suggestions from code reviewJakub Beránek-1/+2
2025-07-29Use GH app for authenticating pull PRsJakub Beránek-1/+6
2025-07-26CI: run apt update before installing anythingRalf Jung-0/+4
2025-07-25Fix cronjob Zulip messageJakub Beránek-1/+1
2025-07-23Merge pull request #4490 from Kobzol/use-josh-syncRalf Jung-12/+25
2025-07-23Remove Zulip API keys and use `set -x`Jakub Beránek-5/+5
2025-07-23Update CI workflowJakub Beránek-10/+23
2025-07-23CI: add windows-arm runnerRalf Jung-0/+8
2025-07-03only set host-specific CC; improve and de-duplicate native libs testing logicRalf Jung-1/+1
2025-06-29add a riscv64 test jobRalf Jung-0/+5
2025-06-29remove duplicate clippy checkRalf Jung-4/+2
2025-06-29also test on s390x via qemuRalf Jung-0/+15
2025-06-29test on x86-32 and arm-32Ralf Jung-18/+25
2025-06-29Merge pull request #4424 from RalfJung/aarch64-linux-ciRalf Jung-16/+38
2025-06-29also test on arm-64 linux hostsRalf Jung-16/+38
2025-06-29make ./miri work on stable againRalf Jung-4/+0
2025-04-24CI: print message when skipping PRRalf Jung-1/+1
2025-04-17remove test trigger fron cron jobRalf Jung-1/+1
2025-04-17for testing, run the CI job an extra time todayRalf Jung-1/+1
2025-04-17ci.yml: always create sync PR when there's any differenceRalf Jung-35/+37
2025-03-06Fix tier 2 sysroots jobBen Kimock-0/+1
2025-02-24make sure we install the toolchain for the intended host targetRalf Jung-1/+7
2025-01-04bump josh-proxyRalf Jung-1/+1
2024-10-27Add option for generating coverage reportsKonstantin Andrikopoulos-2/+11
2024-10-26automatic PR: explain how to trigger CIRalf Jung-1/+1
2024-10-25CI workflow: tweak conclusion jobRalf Jung-4/+5
2024-10-22Merge pull request #3981 from Kobzol/ci-merge-queueMarco Ieni-23/+16
2024-10-22Switch CI to merge queuesJakub Beránek-23/+16
2024-09-24Scope CI permissions to the job that needs itJakub Beránek-6/+5
2024-09-24looks like we need more permissionsRalf Jung-1/+3
2024-09-23fix workflow permissionsRalf Jung-1/+2
2024-09-22try to give the CI job permission to create PRsRalf Jung-0/+3
2024-09-09ci: bump actions/checkout to v4Trivikram Kamat-1/+1
2024-08-14CI: need nightly toolchain for auto-rustup PRRalf Jung-0/+2
2024-08-10CI: we now need the nightly toolchain as wellRalf Jung-0/+4
2024-08-10add './miri doc' commandRalf Jung-1/+1
2024-06-21CI: try to share setup code across actionsRalf Jung-85/+54
2024-05-03CI: no need to surround if: condition in expansion bracesRalf Jung-3/+3
2024-05-03run clippy on a Windows hostRalf Jung-0/+6
2024-04-27fix: usage of `deprecated` version of `Node.js`Hamir Mahal-2/+2
2024-04-25Auto merge of #3514 - RalfJung:hyperfine, r=RalfJungbors-4/+4
2024-04-25CI: run benches with hyperfine rather than bashRalf Jung-4/+4
2024-04-25Auto merge of #3505 - RalfJung:ci, r=RalfJungbors-1/+1
2024-04-24Upgrade to `actions/checkout@v4` in `ci.yml`.Predrag Gruevski-3/+3
2024-04-23CI: don't run cron-fail-notify when the job just got canceledRalf Jung-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 22:20:59 +0000