Skip to content
Agda

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

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

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

agda.yml

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