Back to pull request #2916

Remove rustc-workspace-hack #5220

Sign in to view logs

Triggered via pull request June 4, 2023 16:22

ehuss

synchronize #2916

ehuss:remove-workspace-hack

Status Success

Total duration 1h 1m 13s

Artifacts –

ci.yml

on: pull_request

Matrix: build

bors build finished

bors build finished

cronjob failure notification