Actions: asdf-community/asdf-idris2
Build
Build
#273:
Scheduled
November 2, 2023 00:47
29m 7s
master
November 2, 2023 00:47
29m 7s
Lint
Lint
#310:
Scheduled
November 1, 2023 01:18
30s
master
November 1, 2023 01:18
30s
Build
Build
#272:
Scheduled
November 1, 2023 00:50
15m 56s
master
November 1, 2023 00:50
15m 56s
Lint
Lint
#309:
Scheduled
October 31, 2023 01:14
26s
master
October 31, 2023 01:14
26s
Build
Build
#271:
Scheduled
October 31, 2023 00:47
16m 31s
master
October 31, 2023 00:47
16m 31s
Lint
Lint
#308:
Scheduled
October 30, 2023 01:14
1m 48s
master
October 30, 2023 01:14
1m 48s
Build
Build
#270:
Scheduled
October 30, 2023 00:47
19m 1s
master
October 30, 2023 00:47
19m 1s
Lint
Lint
#307:
Scheduled
October 29, 2023 01:18
29s
master
October 29, 2023 01:18
29s
Build
Build
#269:
Scheduled
October 29, 2023 00:50
17m 18s
master
October 29, 2023 00:50
17m 18s
Lint
Lint
#306:
Scheduled
October 28, 2023 01:11
43s
master
October 28, 2023 01:11
43s
Build
Build
#268:
Scheduled
October 28, 2023 00:44
15m 9s
master
October 28, 2023 00:44
15m 9s
Lint
Lint
#305:
Scheduled
October 27, 2023 01:12
35s
master
October 27, 2023 01:12
35s
Build
Build
#267:
Scheduled
October 27, 2023 00:45
17m 18s
master
October 27, 2023 00:45
17m 18s
Lint
Lint
#304:
Scheduled
October 26, 2023 01:12
40s
master
October 26, 2023 01:12
40s
Build
Build
#266:
Scheduled
October 26, 2023 00:45
23m 8s
master
October 26, 2023 00:45
23m 8s
Lint
Lint
#303:
Scheduled
October 25, 2023 01:13
30s
master
October 25, 2023 01:13
30s
Build
Build
#265:
Scheduled
October 25, 2023 00:46
15m 11s
master
October 25, 2023 00:46
15m 11s
Lint
Lint
#302:
Scheduled
October 24, 2023 01:13
39s
master
October 24, 2023 01:13
39s
Build
Build
#264:
Scheduled
October 24, 2023 00:46
16m 33s
master
October 24, 2023 00:46
16m 33s
Lint
Lint
#301:
Scheduled
October 23, 2023 01:14
40s
master
October 23, 2023 01:14
40s
Build
Build
#263:
Scheduled
October 23, 2023 00:47
21m 24s
master
October 23, 2023 00:47
21m 24s
Lint
Lint
#300:
Scheduled
October 22, 2023 01:18
31s
master
October 22, 2023 01:18
31s
Build
Build
#262:
Scheduled
October 22, 2023 00:50
14m 8s
master
October 22, 2023 00:50
14m 8s
Lint
Lint
#299:
Scheduled
October 21, 2023 01:12
28s
master
October 21, 2023 01:12
28s
Build
Build
#261:
Scheduled
October 21, 2023 00:45
17m 50s
master
October 21, 2023 00:45
17m 50s
You can’t perform that action at this time.