Actions: asdf-community/asdf-idris2
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days.
Enable this workflow to resume scheduled runs.
Build
Build
#260:
Scheduled
October 20, 2023 00:46
19m 32s
master
October 20, 2023 00:46
19m 32s
Build
Build
#259:
Scheduled
October 19, 2023 00:47
15m 19s
master
October 19, 2023 00:47
15m 19s
Build
Build
#258:
Scheduled
October 18, 2023 00:47
17m 6s
master
October 18, 2023 00:47
17m 6s
Build
Build
#257:
Scheduled
October 17, 2023 00:47
15m 58s
master
October 17, 2023 00:47
15m 58s
Build
Build
#256:
Scheduled
October 16, 2023 00:48
14m 41s
master
October 16, 2023 00:48
14m 41s
Build
Build
#255:
Scheduled
October 15, 2023 00:51
17m 38s
master
October 15, 2023 00:51
17m 38s
Build
Build
#254:
Scheduled
October 14, 2023 00:45
16m 3s
master
October 14, 2023 00:45
16m 3s
Build
Build
#253:
Scheduled
October 13, 2023 00:48
16m 13s
master
October 13, 2023 00:48
16m 13s
Build
Build
#252:
Scheduled
October 12, 2023 00:44
17m 11s
master
October 12, 2023 00:44
17m 11s
Build
Build
#251:
Scheduled
October 11, 2023 00:46
14m 39s
master
October 11, 2023 00:46
14m 39s
Build
Build
#250:
Scheduled
October 10, 2023 00:46
16m 46s
master
October 10, 2023 00:46
16m 46s
October 9, 2023 02:45
16m 55s
October 9, 2023 01:20
16m 37s
October 9, 2023 01:20
15m 1s
Build
Build
#246:
Scheduled
May 15, 2023 01:14
18m 34s
master
May 15, 2023 01:14
18m 34s
Build
Build
#245:
Scheduled
May 14, 2023 01:15
15m 48s
master
May 14, 2023 01:15
15m 48s
Build
Build
#244:
Scheduled
May 13, 2023 01:09
16m 12s
master
May 13, 2023 01:09
16m 12s
Build
Build
#243:
Scheduled
May 12, 2023 01:11
15m 36s
master
May 12, 2023 01:11
15m 36s
Build
Build
#242:
Scheduled
May 11, 2023 01:11
15m 11s
master
May 11, 2023 01:11
15m 11s
Build
Build
#241:
Scheduled
May 10, 2023 01:10
20m 37s
master
May 10, 2023 01:10
20m 37s
Build
Build
#240:
Scheduled
May 9, 2023 01:13
16m 49s
master
May 9, 2023 01:13
16m 49s
Build
Build
#239:
Scheduled
May 8, 2023 01:09
19m 47s
master
May 8, 2023 01:09
19m 47s
Build
Build
#238:
Scheduled
May 7, 2023 01:16
17m 9s
master
Build
Build
#237:
Scheduled
May 6, 2023 01:06
17m 57s
master
May 6, 2023 01:06
17m 57s
Build
Build
#236:
Scheduled
May 5, 2023 01:05
24m 28s
master
May 5, 2023 01:05
24m 28s
You can’t perform that action at this time.