refactor: remove duplicate type classes in `Iris/Std/Classes.lean` an… · leanprover-community/iris-lean@37f53e0

Triggered via push July 25, 2026 07:53

master

Status Success

Total duration 4m 45s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
porting-data Expired	55.1 KB	`sha256:95d3709ebbcbc280edd513a08b42e0edbe8b9f777ec68627f720deeb2d50e3e4`