Skip to content

Actions: leanprover-community/azure-scripts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,070 workflow runs
1,070 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lean-3.*.* branch Update lean-3.*.* branch #49328: Scheduled
October 24, 2023 08:31 40s master
master
October 24, 2023 08:31 40s
Update lean-3.*.* branch Update lean-3.*.* branch #49327: Scheduled
October 24, 2023 08:02 39s master
master
October 24, 2023 08:02 39s
Update lean-3.*.* branch Update lean-3.*.* branch #49326: Scheduled
October 24, 2023 07:31 39s master
master
October 24, 2023 07:31 39s
Update lean-3.*.* branch Update lean-3.*.* branch #49325: Scheduled
October 24, 2023 07:02 33s master
master
October 24, 2023 07:02 33s
Update lean-3.*.* branch Update lean-3.*.* branch #49324: Scheduled
October 24, 2023 06:32 34s master
master
October 24, 2023 06:32 34s
Update lean-3.*.* branch Update lean-3.*.* branch #49323: Scheduled
October 24, 2023 06:02 39s master
master
October 24, 2023 06:02 39s
Update lean-3.*.* branch Update lean-3.*.* branch #49322: Scheduled
October 24, 2023 05:31 34s master
master
October 24, 2023 05:31 34s
Update lean-3.*.* branch Update lean-3.*.* branch #49321: Scheduled
October 24, 2023 05:01 34s master
master
October 24, 2023 05:01 34s
Update lean-3.*.* branch Update lean-3.*.* branch #49320: Scheduled
October 24, 2023 04:31 37s master
master
October 24, 2023 04:31 37s
Update lean-3.*.* branch Update lean-3.*.* branch #49319: Scheduled
October 24, 2023 04:01 40s master
master
October 24, 2023 04:01 40s
Update lean-3.*.* branch Update lean-3.*.* branch #49318: Scheduled
October 24, 2023 03:31 34s master
master
October 24, 2023 03:31 34s
Update lean-3.*.* branch Update lean-3.*.* branch #49317: Scheduled
October 24, 2023 03:02 33s master
master
October 24, 2023 03:02 33s
Update lean-3.*.* branch Update lean-3.*.* branch #49316: Scheduled
October 24, 2023 02:32 39s master
master
October 24, 2023 02:32 39s
Update lean-3.*.* branch Update lean-3.*.* branch #49315: Scheduled
October 24, 2023 02:08 38s master
master
October 24, 2023 02:08 38s
Update lean-3.*.* branch Update lean-3.*.* branch #49314: Scheduled
October 24, 2023 01:45 39s master
master
October 24, 2023 01:45 39s
delete old archives from Azure delete old archives from Azure #1164: Scheduled
October 24, 2023 01:26 48s master
master
October 24, 2023 01:26 48s
Update lean-3.*.* branch Update lean-3.*.* branch #49313: Scheduled
October 24, 2023 01:23 43s master
master
October 24, 2023 01:23 43s
Update lean-3.*.* branch Update lean-3.*.* branch #49312: Scheduled
October 24, 2023 00:45 45s master
master
October 24, 2023 00:45 45s
update nolints update nolints #1085: Scheduled
October 24, 2023 00:20 4h 57m 29s master
master
October 24, 2023 00:20 4h 57m 29s
Generate bundles Generate bundles #208: Scheduled
October 24, 2023 00:15 1h 1m 34s master
master
October 24, 2023 00:15 1h 1m 34s
Update lean-3.*.* branch Update lean-3.*.* branch #49311: Scheduled
October 24, 2023 00:06 42s master
master
October 24, 2023 00:06 42s
Update lean-3.*.* branch Update lean-3.*.* branch #49310: Scheduled
October 23, 2023 23:31 34s master
master
October 23, 2023 23:31 34s
Update lean-3.*.* branch Update lean-3.*.* branch #49309: Scheduled
October 23, 2023 23:02 35s master
master
October 23, 2023 23:02 35s
Update lean-3.*.* branch Update lean-3.*.* branch #49308: Scheduled
October 23, 2023 22:31 33s master
master
October 23, 2023 22:31 33s
Update lean-3.*.* branch Update lean-3.*.* branch #49307: Scheduled
October 23, 2023 22:02 48s master
master
October 23, 2023 22:02 48s
ProTip! You can narrow down the results and go further in time using created:<2023-10-23 or the other filters available.