Skip to content
rust-macos

Add formal verification for session and application state transitions #89

Sign in to view logs

Add formal verification for session and application state transitions

Add formal verification for session and application state transitions #89

Triggered via pull request July 15, 2026 08:05
@pranc1ngpegasuspranc1ngpegasus
synchronize #80
agent/formal-state-verification
Status Success
Total duration 8m 21s
Artifacts –

rust-macos.yaml

on: pull_request
test
8m 15s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
FlakeHub registration required.
Unable to authenticate to FlakeHub. Individuals must register at FlakeHub.com; Organizations must create an organization at FlakeHub.com.