Skip to content

Actions: stefan-hoeck/idris2-rio

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #33 from stefan-hoeck/compat Lint #81: Commit ba17bcb pushed by stefan-hoeck
September 28, 2024 08:07 1m 18s main
main
September 28, 2024 08:07 1m 18s
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 Lint #80: Pull request #33 opened by stefan-hoeck
September 28, 2024 08:04 1m 11s compat
compat
September 28, 2024 08:04 1m 11s
[ 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 Lint #79: Commit 64a60c1 pushed by stefan-hoeck
September 28, 2024 08:04 1m 13s compat
compat
September 28, 2024 08:04 1m 13s
[ 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