Check for copyright header

feat: `where ... finally` section to assign leftover goals #13887

Sign in to view logs

Triggered via pull request June 12, 2025 14:21

sgraf812

synchronize #8723

sg/obligations

Status Success

Total duration 46s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files