Skip to content
Add Triage Label

Improve the documentation of Agda files involving Builtin definitions #155

Sign in to view logs

Improve the documentation of Agda files involving Builtin definitions

Improve the documentation of Agda files involving Builtin definitions #155

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

add-triage-label.yml

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