Skip to content
Remove outdated labels

Tests/TypeIntersectionTest: use named data sets and other tweaks #175

Sign in to view logs

Tests/TypeIntersectionTest: use named data sets and other tweaks

Tests/TypeIntersectionTest: use named data sets and other tweaks #175

Triggered via pull request January 14, 2024 06:18
@jrfnljrfnl
closed #270
Status Success
Total duration 10s
Artifacts –

label-remove-outdated.yml

on: pull_request_target
Clean up labels on issue close
0s
Clean up labels on issue close
Clean up labels on PR merge
2s
Clean up labels on PR merge
Clean up labels on PR close
0s
Clean up labels on PR close
Fit to window
Zoom out
Zoom in