Agda

chore: RSR template floor — githealth + RSR docs + dotfiles + contrac… #216

Sign in to view logs

Triggered via push April 30, 2026 17:11

chore/rsr-floor-scaffold

Status Failure

Total duration 53s

Artifacts –

agda.yml

on: push

Annotations

1 error

Process completed with exit code 42.