Skip to content

Actions: tree-sitter/tree-sitter-agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

1.3.3 Publish package #4: Commit 4780209 pushed by amaanq
November 10, 2024 23:14 31s v1.3.3
v1.3.3
November 10, 2024 23:14 31s
1.3.2 Publish package #3: Commit 5500eb0 pushed by amaanq
November 10, 2024 18:23 4m 41s v1.3.2
v1.3.2
November 10, 2024 18:23 4m 41s
1.3.2 CI #33: Commit 5500eb0 pushed by amaanq
November 10, 2024 18:23 1m 1s master
master
November 10, 2024 18:23 1m 1s
chore: regenerate Lint #13: Commit 6516cfe pushed by amaanq
October 15, 2024 03:18 57s master
master
October 15, 2024 03:18 57s
chore: regenerate CI #32: Commit 6516cfe pushed by amaanq
October 15, 2024 03:18 1m 0s master
master
October 15, 2024 03:18 1m 0s
Update Lint #12: Pull request #25 synchronize by amaanq
October 15, 2024 03:03 51s update
update
October 15, 2024 03:03 51s
Update CI #31: Pull request #25 synchronize by amaanq
October 15, 2024 03:03 1m 1s update
update
October 15, 2024 03:03 1m 1s
Update Lint #11: Pull request #25 synchronize by amaanq
October 15, 2024 02:02 53s update
update
October 15, 2024 02:02 53s
Update CI #30: Pull request #25 synchronize by amaanq
October 15, 2024 02:02 55s update
update
October 15, 2024 02:02 55s
Update CI #29: Pull request #25 opened by amaanq
October 14, 2024 21:06 58s update
update
October 14, 2024 21:06 58s
Publish package Publish package #2: completed by amaanq
February 15, 2024 00:20 19s
February 15, 2024 00:20 19s
docs: update badges CI #27: Commit d3dc807 pushed by amaanq
February 15, 2024 00:18 2m 37s master
master
February 15, 2024 00:18 2m 37s
docs: update badges Lint #9: Commit d3dc807 pushed by amaanq
February 15, 2024 00:18 23s master
master
February 15, 2024 00:18 23s