Check copyright

Fixed M2LS traces #1944

Sign in to view logs

Triggered via push February 16, 2025 17:50

nontermination-witnesses

Status Success

Total duration 26s

Artifacts –

check-copyright.yml

on: push

check-copyright