Skip to content

Use record as Access.A type instead of a quintuple #6040

Use record as Access.A type instead of a quintuple

Use record as Access.A type instead of a quintuple #6040

Triggered via pull request September 15, 2023 07:34
Status Success
Total duration 22s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

options.yml

on: pull_request
Matrix: validate-conf
Fit to window
Zoom out
Zoom in