GitHub Actions lint

spike: migrate Option to record #520

Sign in to view logs

Triggered via pull request March 7, 2026 16:40

pivovarit

synchronize #3189

option-records

Status Success

Total duration 12s

Artifacts –

gha-lint.yml

on: pull_request