All workflows test.yml

Actor

All actors cesar programmerjake

Status

All status Success Failure Waiting Running

Run Rocq tests.

test.yml #361 -Commit 845813d4bb pushed by cesar

#64

2026-02-14 22:06:30 +00:00

35s

Demonstrates state with multiple variables and hidden state.

test.yml #340 -Commit e54558d848 pushed by cesar

#56

2025-12-09 01:12:08 +00:00

24s