Skip to content

Merge master into rt #25

Merge master into rt

Merge master into rt #25

Triggered via pull request July 17, 2024 03:51
@corlewiscorlewis
opened #794
Status Failure
Total duration 57s
Artifacts

lint.yml

on: pull_request_target
Theory Linter
48s
Theory Linter
Fit to window
Zoom out
Zoom in

Annotations

1 error
Theory Linter
Action thylint failed.