Skip to content

Actions: Kiiyya/teal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 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
copy stuff from thesis Lean Action CI #4: Commit e95cab5 pushed by Kiiyya
1m 1s tmp
tmp
1m 1s
Add examples Lean Action CI #3: Commit d9b31d1 pushed by Kiiyya
20s main
main
20s
I forgor Lean Action CI #2: Commit bb75aba pushed by Kiiyya
21s main
main
21s
Move to its own repo :) Lean Action CI #1: Commit 33265ba pushed by Kiiyya
19s main
main
19s