Skip to content

Actions: knisht/agda

Actions

User Manual

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
user_manual.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bug in size preservation User Manual #1: Pull request #2 opened by andreasabel
February 7, 2024 09:21 2m 41s agda:tbt
agda:tbt
February 7, 2024 09:21 2m 41s