Skip to content

Actions: stefan-hoeck/idris2-rio

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.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 Lint #81: Commit ba17bcb pushed by stefan-hoeck
September 28, 2024 08:07 1m 18s main
main
September 28, 2024 08:07 1m 18s
[ 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 Lint #79: Commit 64a60c1 pushed by stefan-hoeck
September 28, 2024 08:04 1m 13s compat
compat
September 28, 2024 08:04 1m 13s