Skip to content

Actions: chabulhwi/lean-notes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 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 #82: Scheduled
1m 36s master
master
1m 36s
fix: disable linter.defProp in definitions Lean Action CI #29: Commit d058194 pushed by chabulhwi
2m 32s master
master
2m 32s
chore: move toolchain to v4.32.0 Lean Action CI #28: Commit 8befaf9 pushed by chabulhwi
2m 5s master
master
2m 5s
Update Lean Project Update Lean Project #81: Scheduled
1m 23s master
master
1m 23s
Update Lean Project Update Lean Project #80: Scheduled
1m 28s master
master
1m 28s
Update Lean Project Update Lean Project #79: Scheduled
1m 24s master
master
1m 24s
chore: move toolchain to v4.31.0 Lean Action CI #27: Commit ebb93b6 pushed by chabulhwi
2m 35s master
master
2m 35s
Update Lean Project Update Lean Project #78: Scheduled
3m 15s master
master
3m 15s
Update Lean Project Update Lean Project #77: Scheduled
2m 17s master
master
2m 17s
Update Lean Project Update Lean Project #76: Scheduled
2m 0s master
master
2m 0s
chore: move toolchain to v4.30.0 Lean Action CI #26: Commit a0a56d8 pushed by chabulhwi
2m 26s master
master
2m 26s
Update Lean Project Update Lean Project #75: Scheduled
1m 51s master
master
1m 51s
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