Skip to content

Add a CI and some proof fixes #7

Add a CI and some proof fixes

Add a CI and some proof fixes #7

Triggered via pull request December 21, 2024 01:01
@dc-makdc-mak
synchronize #1
proof-ci
Status Failure
Total duration 1h 44m 17s
Artifacts

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build (5.2.0)
Process completed with exit code 125.