Skip to content
Type performance

Harden statechart modeling and verification #30

Sign in to view logs

Harden statechart modeling and verification

Harden statechart modeling and verification #30

Triggered via pull request August 7, 2026 15:07
@SandroMaglioneSandroMaglione
opened #31
codex/statechart-hardening
Status Success
Total duration 1m 27s
Artifacts 1

type-performance.yml

on: pull_request
type-performance
1m 23s
type-performance
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
type-performance-report Expired
1.41 KB
sha256:d9ce725bf1ee95407c4bb48167c810251c2a5c6323ac897d53cd8dd15bbb5212