Lints

Log unused instructions, too (#817) #3357

Sign in to view logs

Triggered via push January 9, 2025 00:47

github-merge-queue[bot]

master

Status Success

Total duration 1m 33s

Artifacts –

lints.yml

on: push