Skip to content

Actions: xiaoshihou514/STLC_Lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 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
feat: add report Lean Action CI #9: Commit 2517797 pushed by xiaoshihou514
9m 26s main
main
9m 26s
chore: add git mirror Lean Action CI #8: Commit e6771ae pushed by xiaoshihou514
18m 1s main
main
18m 1s
chore: add git mirror Lean Action CI #7: Commit 1fe6e1d pushed by xiaoshihou514
16m 16s main
main
16m 16s
chore: add git mirror Lean Action CI #6: Commit f7b6312 pushed by xiaoshihou514
14m 11s main
main
14m 11s
feat: add report Lean Action CI #5: Commit fd660b4 pushed by xiaoshihou514
16m 6s main
main
16m 6s
prove NextFresh Lean Action CI #4: Commit 9b8d6d2 pushed by xiaoshihou514
3m 39s main
main
3m 39s
hmm Lean Action CI #3: Commit 150ab5b pushed by xiaoshihou514
16m 37s main
main
16m 37s
wip Lean Action CI #2: Commit 11eaa14 pushed by xiaoshihou514
15m 34s main
main
15m 34s
Initial commit Create Release #1: Commit 607b0e2 pushed by xiaoshihou514
9s main
main
9s
Initial commit Lean Action CI #1: Commit 607b0e2 pushed by xiaoshihou514
1m 44s main
main
1m 44s