2022-06-29 |
bors | Auto merge of #2287 - RalfJung:field-retagging, r=RalfJung |
tree | commitdiff |
2022-06-29 |
bors | Auto merge of #2286 - LegNeato:patch-2, r=RalfJung |
tree | commitdiff |
2022-06-29 |
bors | Auto merge of #2288 - RalfJung:clippy, r=RalfJung |
tree | commitdiff |
2022-06-29 |
Ralf Jung | add ./miri clippy |
tree | commitdiff |
2022-06-24 |
bors | Auto merge of #2262 - RalfJung:zulip, r=RalfJung |
tree | commitdiff |
2022-06-24 |
Ralf Jung | only one Zulip cron job topic per month |
tree | commitdiff |
2022-06-23 |
bors | Auto merge of #2257 - dtolnay-contrib:rustfmt9, r=RalfJung |
tree | commitdiff |
2022-06-23 |
David Tolnay | Add './miri fmt' and use it in CI |
tree | commitdiff |
2022-06-23 |
bors | Auto merge of #2261 - RalfJung:fmt, r=oli-obk |
tree | commitdiff |
2022-06-23 |
Ralf Jung | make rustfmt mandatory and used pinned toolchain |
tree | commitdiff |
2022-06-21 |
bors | Auto merge of #2246 - dtolnay-contrib:rustfmt1, r=oli-obk |
tree | commitdiff |
2022-06-21 |
bors | Auto merge of #2247 - dtolnay-contrib:rustfmt2, r=RalfJung |
tree | commitdiff |
2022-06-21 |
bors | Auto merge of #2244 - dtolnay-contrib:rustfmt0, r=RalfJung |
tree | commitdiff |
2022-06-20 |
David Tolnay | Add rustfmt CI for currently formatted directories |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2179 - RalfJung:rustc, r=oli-obk |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2203 - RalfJung:deprecate, r=oli-obk |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2227 - RalfJung:doc, r=RalfJung |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2215 - InfRandomness:getpid_shim, r... |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2222 - InfRandomness:cargo-docs, r=RalfJung |
tree | commitdiff |
2022-06-11 |
infrandomness | Add mandatory cargo_doc |
tree | commitdiff |
2022-06-07 |
bors | Auto merge of #2213 - RalfJung:clippy, r=RalfJung |
tree | commitdiff |
2022-06-07 |
Ralf Jung | gate bors on clippy |
tree | commitdiff |
2022-06-05 |
bors | Auto merge of #2197 - RalfJung:round-robin, r=RalfJung |
tree | commitdiff |
2022-06-05 |
bors | Auto merge of #2194 - RalfJung:race, r=RalfJung |
tree | commitdiff |
2022-06-05 |
bors | Auto merge of #2193 - RalfJung:strict, r=RalfJung |
tree | commitdiff |
2022-06-05 |
bors | Auto merge of #2189 - RalfJung:clippy, r=RalfJung |
tree | commitdiff |
2022-06-04 |
Ralf Jung | run clippy on CI |
tree | commitdiff |
2022-06-01 |
bors | Auto merge of #2174 - RalfJung:summary, r=oli-obk |
tree | commitdiff |
2022-06-01 |
bors | Auto merge of #2175 - RalfJung:xargo, r=oli-obk |
tree | commitdiff |
2022-06-01 |
Ralf Jung | advanced GHA |
tree | commitdiff |
2022-06-01 |
Ralf Jung | also avoid rebuilding cached RTIM |
tree | commitdiff |
2022-06-01 |
Ralf Jung | bump xargo version, and tweak xargo caching |
tree | commitdiff |
2022-05-22 |
bors | Auto merge of #2141 - saethlin:early-diagnostics-ice... |
tree | commitdiff |
2022-05-22 |
bors | Auto merge of #2142 - saethlin:cleanup-data-race-ice... |
tree | commitdiff |
2022-05-22 |
bors | Auto merge of #2140 - V0ldek:page_size, r=RalfJung |
tree | commitdiff |
2022-05-21 |
bors | Auto merge of #2137 - RalfJung:targets, r=oli-obk |
tree | commitdiff |
2022-05-21 |
Ralf Jung | refresh our GHA caches |
tree | commitdiff |
2022-05-10 |
bors | Auto merge of #2084 - rust-lang:silence, r=RalfJung |
tree | commitdiff |
2022-04-30 |
bors | Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk |
tree | commitdiff |
2022-04-30 |
bors | Auto merge of #2091 - dtolnay-contrib:clippy, r=oli-obk |
tree | commitdiff |
2022-04-30 |
bors | Auto merge of #2092 - dtolnay-contrib:checkoutv3, r... |
tree | commitdiff |
2022-04-30 |
David Tolnay | Update GitHub Actions actions/checkout@v2 to v3 |
tree | commitdiff |
2021-11-17 |
bors | Auto merge of #1911 - RalfJung:rename-track-tag, r... |
tree | commitdiff |
2021-11-17 |
bors | Auto merge of #1915 - RalfJung:cron, r=RalfJung |
tree | commitdiff |
2021-11-17 |
Ralf Jung | tweak cron job time |
tree | commitdiff |
2021-07-03 |
bors | Auto merge of #1842 - hyd-dev:target-dir, r=RalfJung |
tree | commitdiff |
2021-07-02 |
hyd-dev | Add a comment in `.github/workflows/ci.yml` |
tree | commitdiff |
2021-06-27 |
hyd-dev | Use `rustup-toolchain-install-master` to install Cargo |
tree | commitdiff |
2021-06-24 |
hyd-dev | Use `miri` inside the target directory used by rustc... |
tree | commitdiff |
2021-05-19 |
bors | Auto merge of #1808 - RalfJung:fmt, r=oli-obk |
tree | commitdiff |
2021-05-19 |
Ralf Jung | over 'default' instead of 'override' (consistent with... |
tree | commitdiff |
2021-05-19 |
Ralf Jung | add (bors-ignored) formatting check job |
tree | commitdiff |
2021-03-02 |
bors | Auto merge of #1721 - henryboisdequin:add-atomic-min... |
tree | commitdiff |
2021-03-02 |
bors | Auto merge of #1730 - RalfJung:zulip, r=oli-obk |
tree | commitdiff |
2021-03-02 |
Ralf Jung | add date to Zulip notification subject |
tree | commitdiff |
2021-01-25 |
bors | Auto merge of #1688 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-01-25 |
bors | Auto merge of #1687 - hyd-dev:zulip, r=RalfJung |
tree | commitdiff |
2021-01-25 |
hyd-dev | Fix `\n` in Zulip message |
tree | commitdiff |
2021-01-18 |
bors | Auto merge of #1681 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-01-17 |
bors | Auto merge of #1680 - LeSeulArtichaut:polite-bot, r... |
tree | commitdiff |
2021-01-17 |
LeSeulArtichaut | Teach the miri cronjobs to speak politely |
tree | commitdiff |
2021-01-16 |
bors | Auto merge of #1676 - RalfJung:zulip, r=RalfJung |
tree | commitdiff |
2021-01-16 |
Ralf Jung | undo cronjob deliberate failure |
tree | commitdiff |
2021-01-15 |
bors | Auto merge of #1673 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-01-15 |
bors | Auto merge of #1672 - RalfJung:zulip, r=RalfJung |
tree | commitdiff |
2021-01-15 |
Ralf Jung | add Zulip site information |
tree | commitdiff |
2021-01-11 |
bors | Auto merge of #1669 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-01-11 |
bors | Auto merge of #1668 - RalfJung:zulip, r=RalfJung |
tree | commitdiff |
2021-01-11 |
Ralf Jung | fix zulip-send path |
tree | commitdiff |
2021-01-10 |
bors | Auto merge of #1667 - RalfJung:cron-fail-notification... |
tree | commitdiff |
2021-01-10 |
Ralf Jung | send Zulip notification when cron job fails |
tree | commitdiff |
2020-10-11 |
bors | Auto merge of #1581 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2020-10-11 |
bors | Auto merge of #1580 - Aaron1011:feature/backtrace-fn... |
tree | commitdiff |
2020-10-11 |
bors | Auto merge of #1571 - lzutao:actions, r=RalfJung |
tree | commitdiff |
2020-10-11 |
Lzu Tao | Add a working github actions template |
tree | commitdiff |
2020-10-06 |
bors | Auto merge of #1575 - Aaron1011:fix/macro-backtrace... |
tree | commitdiff |
2020-10-06 |
bors | Auto merge of #1576 - RalfJung:gha, r=RalfJung |
tree | commitdiff |
2020-10-06 |
Ralf Jung | add bors notification jobs |
tree | commitdiff |
2020-10-04 |
bors | Auto merge of #1563 - lzutao:dummy-actions, r=RalfJung |
tree | commitdiff |
2020-10-04 |
Lzu Tao | Add a dummy actions template to enable it on CI |
tree | commitdiff |
|