Actions: VitalyAnkh/agda
Deploy
Deploy
#30:
completed
by
pull
bot
March 8, 2024 17:50
16m 42s
March 8, 2024 17:50
16m 42s
Deploy
Deploy
#29:
completed
by
pull
bot
March 7, 2024 19:36
18m 2s
March 7, 2024 19:36
18m 2s
Deploy
Deploy
#28:
completed
by
pull
bot
March 7, 2024 10:35
20m 41s
March 7, 2024 10:35
20m 41s
March 5, 2024 16:36
34m 27s
March 5, 2024 16:28
24m 33s
Deploy
Deploy
#25:
completed
by
pull
bot
January 2, 2024 02:47
25m 50s
January 2, 2024 02:47
25m 50s
Deploy
Deploy
#24:
completed
by
pull
bot
December 23, 2023 08:14
13m 18s
December 23, 2023 08:14
13m 18s
Deploy
Deploy
#23:
completed
by
pull
bot
December 22, 2023 10:23
19m 36s
December 22, 2023 10:23
19m 36s
Deploy
Deploy
#22:
completed
by
pull
bot
December 15, 2023 05:16
14m 7s
December 15, 2023 05:16
14m 7s
Deploy
Deploy
#21:
completed
by
pull
bot
December 15, 2023 01:27
15m 57s
December 15, 2023 01:27
15m 57s
Deploy
Deploy
#20:
completed
by
pull
bot
December 14, 2023 08:36
19m 24s
December 14, 2023 08:36
19m 24s
Deploy
Deploy
#19:
completed
by
pull
bot
December 14, 2023 07:06
17m 29s
December 14, 2023 07:06
17m 29s
Deploy
Deploy
#18:
completed
by
pull
bot
December 13, 2023 11:04
18m 18s
December 13, 2023 11:04
18m 18s
Deploy
Deploy
#17:
completed
by
pull
bot
December 13, 2023 02:03
16m 16s
December 13, 2023 02:03
16m 16s
December 7, 2023 17:45
27m 5s
Deploy
Deploy
#15:
completed
by
pull
bot
May 29, 2023 19:37
24m 38s
May 29, 2023 19:37
24m 38s
You can’t perform that action at this time.