Check for copyright header

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

Sign in to view logs

Triggered via pull request November 7, 2024 18:15

kmill

synchronize #5999

kmill:decide_revert

Status Success

Total duration 1m 29s

Billable time 1m

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files