Enable lint of verification in CI #30

Triggered via pull request October 10, 2023 10:27

tmichalak

closed #127

Status Success

Total duration 47s

Artifacts 1

gh-pages-pr-closed.yml

on: pull_request

Produced during runtime

Name	Size
delete_pr_number Expired	11 Bytes