Refactor the proof of generalized_equivocators_finite_valid_trace_ini… #971

# to view logs

Triggered via push December 20, 2023 13:15

wkolowski

farewell-refactorings

Status Success

Total duration 4m 59s

Artifacts –

test-pr.yml

on: push

Matrix: build