Skip to content

Actions: chrrasmussen/Idris2-Erlang

Actions

macOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update codegen to match upstream macOS #255: Commit dad40a8 pushed by chrrasmussen
November 13, 2023 13:25 44m 44s main
main
November 13, 2023 13:25 44m 44s
Update codegen to match upstream macOS #254: Commit dad40a8 pushed by chrrasmussen
November 13, 2023 12:06 57m 54s test-ci
test-ci
November 13, 2023 12:06 57m 54s