fix: variable must execute pending tactics and elaboration problems
#2259
leodemouracopyright-header.yml
on: pull_request
check-lean-files
26s