Continuous Integration

Add workflow runner #1

Sign in to view logs

Triggered via push February 24, 2025 18:57

MicroProofs

main

Status Failure

Total duration 18s

Artifacts –

continuous-integration.yml

on: push

Annotations

1 error

Process completed with exit code 1.