Actions: tree-sitter/tree-sitter-agda
Release
Release
#2:
completed
by
amaanq
February 15, 2024 00:20
19s
February 15, 2024 00:20
19s
February 15, 2024 00:18
2m 37s
February 15, 2024 00:18
23s
Release
Release
#1:
completed
by
amaanq
September 18, 2023 04:47
23s
September 18, 2023 04:47
23s
September 18, 2023 04:42
10m 41s
September 18, 2023 04:42
25s
September 18, 2023 04:42
4m 17s
September 18, 2023 04:40
6m 5s
September 18, 2023 04:40
24s
September 18, 2023 04:35
25s
September 18, 2023 04:35
4m 31s
September 18, 2023 03:44
5m 14s
September 18, 2023 03:44
6m 13s
September 18, 2023 03:44
26s
September 18, 2023 03:39
5m 55s
September 18, 2023 03:39
1m 47s
September 18, 2023 03:39
28s
September 18, 2023 03:12
28s
September 18, 2023 03:12
5m 12s
September 18, 2023 03:12
1m 59s
September 18, 2023 03:12
25s
September 18, 2023 03:12
5m 15s
September 18, 2023 03:12
2m 16s
September 18, 2023 03:07
45s
September 18, 2023 02:56
1m 4s
You can’t perform that action at this time.