Skip to content

Actions: chabulhwi/lean-notes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Lean Project Update Lean Project #74: Scheduled
1m 49s master
master
1m 49s
Update Lean Project Update Lean Project #73: Scheduled
1m 50s master
master
1m 50s
Update Lean Project Update Lean Project #72: Scheduled
1m 55s master
master
1m 55s
Update Lean Project Update Lean Project #71: Scheduled
1m 53s master
master
1m 53s
Update Lean Project Update Lean Project #70: Scheduled
1m 59s master
master
1m 59s
chore: move toolchain to v4.29.1 Lean Action CI #25: Commit 6927274 pushed by chabulhwi
2m 15s master
master
2m 15s
Update Lean Project Update Lean Project #69: Scheduled
1m 50s master
master
1m 50s
Update Lean Project Update Lean Project #68: Scheduled
1m 49s master
master
1m 49s
style: change the name of a Wff variable Lean Action CI #24: Commit df60c2a pushed by chabulhwi
1m 49s master
master
1m 49s
Update Lean Project Update Lean Project #67: Scheduled
1m 47s master
master
1m 47s
doc: add periods Lean Action CI #23: Commit 28fb324 pushed by chabulhwi
1m 31s master
master
1m 31s
chore: update README.ko.md Lean Action CI #22: Commit bbf167b pushed by chabulhwi
1m 31s master
master
1m 31s
doc: remove .lean from an entry name Lean Action CI #21: Commit 712517b pushed by chabulhwi
1m 33s master
master
1m 33s
chore: reorder import statements Lean Action CI #20: Commit 76aac61 pushed by chabulhwi
2m 2s master
master
2m 2s
chore: move toolchain to v4.29.0 Lean Action CI #19: Commit 0eb4f0b pushed by chabulhwi
3m 21s master
master
3m 21s
Update Lean Project Update Lean Project #66: Scheduled
1m 53s master
master
1m 53s
Update Lean Project Update Lean Project #65: Scheduled
1m 55s master
master
1m 55s
Update Lean Project Update Lean Project #64: Scheduled
2m 5s master
master
2m 5s
Update Lean Project Update Lean Project #63: Scheduled
2m 4s master
master
2m 4s
Update Lean Project Update Lean Project #62: Scheduled
2m 0s master
master
2m 0s
chore: move toolchain to v4.28.0 Lean Action CI #18: Commit 8a1a406 pushed by chabulhwi
1m 35s master
master
1m 35s
chore: move toolchain to v4.28.0 Lean Action CI #17: Commit abe98d0 pushed by chabulhwi
13s master
master
13s
chore: move toolchain to v4.28.0 Lean Action CI #16: Commit 8a1a406 pushed by chabulhwi
2m 20s master
master
2m 20s
Update Lean Project Update Lean Project #61: Scheduled
1m 56s master
master
1m 56s
Update Lean Project Update Lean Project #60: Scheduled
2m 4s master
master
2m 4s