Skip to content

Actions: Seasawher/lean-book

Actions

Update Lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update.yml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean Update Lean #14: Scheduled
August 15, 2024 11:01 33s main
main
August 15, 2024 11:01 33s
Update Lean Update Lean #13: Scheduled
August 8, 2024 11:01 31s main
main
August 8, 2024 11:01 31s
Update Lean Update Lean #12: Scheduled
August 1, 2024 11:01 30s main
main
August 1, 2024 11:01 30s
Update Lean Update Lean #11: Scheduled
July 25, 2024 11:01 28s main
main
July 25, 2024 11:01 28s
Update Lean Update Lean #10: Scheduled
July 18, 2024 11:01 38s main
main
July 18, 2024 11:01 38s
Update Lean Update Lean #9: Scheduled
July 11, 2024 11:01 29s main
main
July 11, 2024 11:01 29s
Update Lean Update Lean #8: Scheduled
July 4, 2024 11:02 40s main
main
July 4, 2024 11:02 40s
Update Lean Update Lean #7: Scheduled
June 27, 2024 11:01 29s main
main
June 27, 2024 11:01 29s
Update Lean Update Lean #6: Scheduled
June 20, 2024 11:01 30s main
main
June 20, 2024 11:01 30s
Update Lean Update Lean #5: Manually run by Seasawher
June 14, 2024 00:43 36s main
main
June 14, 2024 00:43 36s
update version of lean-update-action Update Lean #4: Commit d38122c pushed by Seasawher
May 16, 2024 14:21 15s main
main
May 16, 2024 14:21 15s
Update Lean Update Lean #3: Scheduled
May 16, 2024 11:03 15s main
main
May 16, 2024 11:03 15s
Merge pull request #8 from Seasawher/auto-update/patch-dfddjo7 Update Lean #2: Commit 911209c pushed by Seasawher
May 12, 2024 10:19 30s main
main
May 12, 2024 10:19 30s
add workflow update.yml for auto updating Lean Update Lean #1: Commit f3c5d53 pushed by Seasawher
May 12, 2024 10:17 25s main
main
May 12, 2024 10:17 25s