Skip to content
Build Iris Lean

refactor: remove duplicate type classes in Iris/Std/Classes.lean and reuse definitions from core libraries #2017

Sign in to view logs

refactor: remove duplicate type classes in Iris/Std/Classes.lean and reuse definitions from core libraries

refactor: remove duplicate type classes in Iris/Std/Classes.lean and reuse definitions from core libraries #2017

Triggered via pull request July 24, 2026 07:53
@alvinyltalvinylt
synchronize #518
ISTA-PLV:StdClasses
Status Success
Total duration 5m 17s
Artifacts 1

build.yml

on: pull_request
build
3m 10s
build
build-math
5m 11s
build-math
report
11s
report
check-stale
5s
check-stale
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
porting-data Expired
55.1 KB
sha256:785c0cc4e0dff3d6947132bb4a5691769bb74c07b0b71fc70b5619ebc1d40dde