Specification

Wrap IDs #445

Sign in to view logs

Triggered via pull request October 30, 2023 11:53

Kordyjan

opened #18794

dotty-staging:wrap-ids

Status Success

Total duration 1m 36s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

spec.yml

on: pull_request