Skip to content
Agda

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

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) #241

Triggered via pull request May 1, 2026 06:11
@hyperpolymathhyperpolymath
synchronize #30
chore/rsr-floor-scaffold
Status Success
Total duration 3m 9s
Artifacts –

agda.yml

on: pull_request
check
2m 58s
check
Fit to window
Zoom out
Zoom in