Skip to content

Actions: buzden/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Make %runElab expressions to have unrestricted quantity Idris2 and External Libs #1: Commit 491629c pushed by buzden
September 15, 2023 09:12 1h 23m 9s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
September 15, 2023 09:12 1h 23m 9s