Skip to content

Actions: chabulhwi/lean-notes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 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 #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
Update Lean Project Update Lean Project #59: Scheduled
1m 54s master
master
1m 54s
chore: update lake-manifest.json Lean Action CI #15: Commit 8b3e07c pushed by chabulhwi
2m 45s master
master
2m 45s
Update Lean Project Update Lean Project #58: Scheduled
1m 48s master
master
1m 48s
chore: move toolchain to v4.27.0 Lean Action CI #14: Commit 0da1c6b pushed by chabulhwi
2m 15s master
master
2m 15s
Update Lean Project Update Lean Project #57: Scheduled
1m 49s master
master
1m 49s
Update Lean Project Update Lean Project #56: Scheduled
1m 52s master
master
1m 52s