Skip to content

Actions: RedPRL/agda-mugen

Actions

Make

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
regenerate-everything.yaml
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup code, bring up to date with new versions of 1Lab and Agda Make #17: Pull request #21 opened by TOTBWF
October 10, 2023 18:22 23s cleanup
cleanup
October 10, 2023 18:22 23s