Skip to content

Actions: leanprover-community/azure-scripts

Actions

Update lean-3.*.* branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
branch_update.yml
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.
694 workflow runs
694 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lean-3.*.* branch Update lean-3.*.* branch #49355: Scheduled
October 24, 2023 22:01 37s master
master
October 24, 2023 22:01 37s
Update lean-3.*.* branch Update lean-3.*.* branch #49354: Scheduled
October 24, 2023 21:31 40s master
master
October 24, 2023 21:31 40s
Update lean-3.*.* branch Update lean-3.*.* branch #49353: Scheduled
October 24, 2023 21:02 40s master
master
October 24, 2023 21:02 40s
Update lean-3.*.* branch Update lean-3.*.* branch #49352: Scheduled
October 24, 2023 20:31 39s master
master
October 24, 2023 20:31 39s
Update lean-3.*.* branch Update lean-3.*.* branch #49351: Scheduled
October 24, 2023 20:02 36s master
master
October 24, 2023 20:02 36s
Update lean-3.*.* branch Update lean-3.*.* branch #49350: Scheduled
October 24, 2023 19:31 38s master
master
October 24, 2023 19:31 38s
Update lean-3.*.* branch Update lean-3.*.* branch #49349: Scheduled
October 24, 2023 19:01 46s master
master
October 24, 2023 19:01 46s
Update lean-3.*.* branch Update lean-3.*.* branch #49348: Scheduled
October 24, 2023 18:32 37s master
master
October 24, 2023 18:32 37s
Update lean-3.*.* branch Update lean-3.*.* branch #49347: Scheduled
October 24, 2023 18:02 38s master
master
October 24, 2023 18:02 38s
Update lean-3.*.* branch Update lean-3.*.* branch #49346: Scheduled
October 24, 2023 17:31 39s master
master
October 24, 2023 17:31 39s
Update lean-3.*.* branch Update lean-3.*.* branch #49345: Scheduled
October 24, 2023 17:02 41s master
master
October 24, 2023 17:02 41s
Update lean-3.*.* branch Update lean-3.*.* branch #49344: Scheduled
October 24, 2023 16:33 34s master
master
October 24, 2023 16:33 34s
Update lean-3.*.* branch Update lean-3.*.* branch #49343: Scheduled
October 24, 2023 16:02 36s master
master
October 24, 2023 16:02 36s
Update lean-3.*.* branch Update lean-3.*.* branch #49342: Scheduled
October 24, 2023 15:31 44s master
master
October 24, 2023 15:31 44s
Update lean-3.*.* branch Update lean-3.*.* branch #49341: Scheduled
October 24, 2023 15:02 43s master
master
October 24, 2023 15:02 43s
Update lean-3.*.* branch Update lean-3.*.* branch #49340: Scheduled
October 24, 2023 14:31 40s master
master
October 24, 2023 14:31 40s
Update lean-3.*.* branch Update lean-3.*.* branch #49339: Scheduled
October 24, 2023 14:02 55s master
master
October 24, 2023 14:02 55s
Update lean-3.*.* branch Update lean-3.*.* branch #49338: Scheduled
October 24, 2023 13:31 37s master
master
October 24, 2023 13:31 37s
Update lean-3.*.* branch Update lean-3.*.* branch #49337: Scheduled
October 24, 2023 13:03 38s master
master
October 24, 2023 13:03 38s
Update lean-3.*.* branch Update lean-3.*.* branch #49336: Scheduled
October 24, 2023 12:39 44s master
master
October 24, 2023 12:39 44s
Update lean-3.*.* branch Update lean-3.*.* branch #49335: Scheduled
October 24, 2023 12:02 41s master
master
October 24, 2023 12:02 41s
Update lean-3.*.* branch Update lean-3.*.* branch #49334: Scheduled
October 24, 2023 11:31 44s master
master
October 24, 2023 11:31 44s
Update lean-3.*.* branch Update lean-3.*.* branch #49333: Scheduled
October 24, 2023 11:02 36s master
master
October 24, 2023 11:02 36s
Update lean-3.*.* branch Update lean-3.*.* branch #49332: Scheduled
October 24, 2023 10:32 33s master
master
October 24, 2023 10:32 33s
Update lean-3.*.* branch Update lean-3.*.* branch #49331: Scheduled
October 24, 2023 10:02 34s master
master
October 24, 2023 10:02 34s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.