All Workflows check

Management

Job queue

2 workflow runs

Actor

All actors swaits

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches main

docs: Gitea is the home (D-65 amended)

check #2:Commit 74f2853d5f pushed by swaits

main

2026-10-29 16:37:53 -06:00

0s

View workflow file

feat(checker): examples() and spec_files() carry the specification's files

check #1:Commit 73dd967b1a pushed by swaits

main

2026-10-29 16:37:53 -06:00

0s

View workflow file