LogRel CI

Semantic proof of the boundary lemmas. #385

Triggered via pull request September 11, 2023 08:37

ppedrot

opened #47

semantic-boundary

Status Success

Total duration 7m 23s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request

3 warnings

Argument B was previously inferred to be in scope type_scope but is

Argument B was previously inferred to be in scope type_scope but is

Argument B was previously inferred to be in the empty scope stack