Skip to content
Add Triage Label

Improve the documentation of Agda files involving Algorithmic part 3 #157

Sign in to view logs

Improve the documentation of Agda files involving Algorithmic part 3

Improve the documentation of Agda files involving Algorithmic part 3 #157

Triggered via issue May 16, 2024 13:13
@ramsay-tramsay-t
opened #6031 802cf4f
Status Success
Total duration 14s
Artifacts –

add-triage-label.yml

on: issues
add-triage-label
4s
add-triage-label
Fit to window
Zoom out
Zoom in