Merge pull request #43 from CoqHott/add-consistency-canonicity #358

Triggered via push September 1, 2023 14:37

master

Status Success

Total duration 7m 28s

Artifacts 1

build.yml

on: push

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

Produced during runtime

Name	Size
github-pages Expired	18.3 MB