Check for copyright header

refactor: remove `SymContext.h_err?` field, move `addGoalsForMissingHypotheses` functionality into `fromLocalContext` #11

Sign in to view logs

Triggered via pull request September 24, 2024 20:05

alexkeizer

synchronize #181

refactor-state-monads-2

Status Success

Total duration 17s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files