Skip to content
Hygiene

The Pattern-Matching Bug: introduce a temporality heuristic to de-pessimize certain programs #12167

Sign in to view logs

The Pattern-Matching Bug: introduce a temporality heuristic to de-pessimize certain programs

The Pattern-Matching Bug: introduce a temporality heuristic to de-pessimize certain programs #12167

Triggered via pull request May 13, 2024 15:31
@gaschegasche
synchronize #13154
gasche:matching-bug-temporality-heuristic
Status Failure
Total duration 56s
Artifacts –

hygiene.yml

on: pull_request
Checks
44s
Checks
Fit to window
Zoom out
Zoom in

Annotations

1 error
Checks
Process completed with exit code 1.