[proof checker] Fixes for MACRO_RESOLUTION (#11121) #1881

Sign in to view logs

Triggered via push August 20, 2024 18:32

HanielB

main

Status Success

Total duration 17m 19s

Artifacts 1

ci.yml

on: push

Matrix: builds

Artifacts

Produced during runtime

Name	Size
documentation	4.83 MB