Fix `compiler/backend/passes/proofs` for HOL changes #488

Triggered via push September 7, 2025 16:58

hrutvik

master

Status Success

Total duration 3h 37m 17s

Artifacts 1

pure.yml

on: push

Produced during runtime

Name	Size	Digest
pure.S	630 KB	`sha256:ab3333808e5872f2acd8b453ffb7e2c15b240c551183d4250cf96a71232861b0`