Merge pull request #13138 from gasche/matching-bug-propagate-mut-2 #10812

Sign in to view logs

Triggered via push May 13, 2024 15:29

gasche

trunk

Status Success

Total duration 18m 8s

Artifacts 1

build.yml

on: push

Matrix: others

Matrix: normal

Artifacts

Produced during runtime

Name	Size
compiler Expired	261 MB