Skip to content

Actions: idris-lang/Idris2

Build External Libraries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test pack and lsp during CI
Build External Libraries #1: Pull request #3067 opened by CodingCellist
September 1, 2023 12:58 1h 10m 9s CodingCellist:ci-pack-lsp
September 1, 2023 12:58 1h 10m 9s