Skip to content

Rename a title in the README #41

Rename a title in the README

Rename a title in the README #41

Triggered via pull request November 20, 2023 13:52
Status Success
Total duration 11m 48s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

verification.yml

on: pull_request
Compatibility verification
11m 37s
Compatibility verification
Fit to window
Zoom out
Zoom in