CIFuzz

Fix 2 bugs, remove 7 dead code blocks, add formal verification #24

Sign in to view logs

Triggered via pull request April 19, 2026 10:16

buger

synchronize #281

reqproof-assurance-hardening

Status Failure

Total duration 7s

Artifacts –

cifuzz.yml

on: pull_request

Annotations

1 error

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v1`. Learn more: https://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/