Skip to content

Actions: tree-sitter/tree-sitter-agda

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: regenerate Lint #13: Commit 6516cfe pushed by amaanq
October 15, 2024 03:18 57s master
master
October 15, 2024 03:18 57s
Update Lint #12: Pull request #25 synchronize by amaanq
October 15, 2024 03:03 51s update
update
October 15, 2024 03:03 51s
Update Lint #11: Pull request #25 synchronize by amaanq
October 15, 2024 02:02 53s update
update
October 15, 2024 02:02 53s
docs: update badges Lint #9: Commit d3dc807 pushed by amaanq
February 15, 2024 00:18 23s master
master
February 15, 2024 00:18 23s