Skip to content

Actions: stefan-hoeck/idris2-rio

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #33 from stefan-hoeck/compat Build #214: Commit ba17bcb pushed by stefan-hoeck
September 28, 2024 08:07 1m 13s main
main
September 28, 2024 08:07 1m 13s
[ compat ] adjust file paths to upstream changes Build #213: Pull request #33 opened by stefan-hoeck
September 28, 2024 08:04 1m 15s compat
compat
September 28, 2024 08:04 1m 15s
[ compat ] adjust file paths to upstream changes Build #212: Commit 64a60c1 pushed by stefan-hoeck
September 28, 2024 08:04 1m 14s compat
compat
September 28, 2024 08:04 1m 14s