Skip to content

Add a CI and some proof fixes #5

Add a CI and some proof fixes

Add a CI and some proof fixes #5

Triggered via pull request December 19, 2024 01:57
@dc-makdc-mak
synchronize #1
proof-ci
Status Failure
Total duration 34m 16s
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 1.