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 |
|