Check for copyright header

feat: `decide +revert` and improvements to `native_decide` #6146

Sign in to view logs

Triggered via pull request November 7, 2024 17:38

kmill

opened #5999

kmill:decide_revert

Status Success

Total duration 29s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files