CI checks

fix: formal flow #290

Sign in to view logs

Triggered via pull request January 21, 2026 17:08

machshev

opened #87

machshev:formal_flow

Status Failure

Total duration 1m 28s

Artifacts –

ci.yml

on: pull_request

Matrix: test

Annotations

2 errors

Process completed with exit code 1.

FlakeHub registration required.

Unable to authenticate to FlakeHub. Individuals must register at FlakeHub.com; Organizations must create an organization at FlakeHub.com.