chore: imports in Iris.lean
#2114
alvinyltbuild.yml
on: pull_request
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
|
103 KB |
sha256:4320c9ac4d1ef0affc38d847ffe62817f16d70a1240fae0acd7ddbd64872d94b
|
|
|
porting-data
|
57.6 KB |
sha256:c0363cd072a1df10d9ec3bcf1f8c36bccf8bdefcadaba3b743d24bdc94a5fbee
|
|