Skip to content
Agda

chore: RSR template floor (23 files: githealth + RSR docs + dotfiles + contractiles + 4 mandatory workflows + stapeln) #217

Sign in to view logs

chore: RSR template floor (23 files: githealth + RSR docs + dotfiles + contractiles + 4 mandatory workflows + stapeln)

chore: RSR template floor (23 files: githealth + RSR docs + dotfiles + contractiles + 4 mandatory workflows + stapeln) #217

Triggered via pull request April 30, 2026 17:11
@hyperpolymathhyperpolymath
opened #30
chore/rsr-floor-scaffold
Status Failure
Total duration 1m 2s
Artifacts –

agda.yml

on: pull_request
check
57s
check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
Process completed with exit code 42.