Check for copyright header

Determining possibly modified registers statically #292

Sign in to view logs

Triggered via pull request October 10, 2024 03:54

shigoel

synchronize #226

cfg_maybe_modified_regs

Status Success

Total duration 13s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files