`getCheckableConstants` function #63

Sign in to view logs

Triggered via push March 6, 2024 16:19

rish987

proof-irrel-patching

Status Failure

Total duration 4m 26s

Artifacts –

ci.yml

on: push

Matrix: ci

Annotations

1 error

ci (ubuntu-latest, 5.1)

Process completed with exit code 1.