Skip to content

Actions: SmwYin/Thue

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 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
Experiments Lean Action CI #7: Commit 4aa65aa pushed by SmwYin
1m 57s main
main
1m 57s
Experiments Lean Action CI #6: Commit 3be645a pushed by SmwYin
2m 0s main
main
2m 0s
Replace with 2026 version Lean Action CI #5: Commit ae9f02e pushed by SmwYin
1m 58s main
main
1m 58s
Update README Lean Action CI #4: Commit 8b9c7ab pushed by SmwYin
1m 19s main
main
1m 19s
Rename Thue_2024 to Thue2024 Lean Action CI #3: Commit 3209cd7 pushed by SmwYin
1m 41s main
main
1m 41s
Remove executable bit from Thue_Equation.lean Lean Action CI #2: Commit 7d90df5 pushed by SmwYin
59s main
main
59s
Replace single-file setup with full Lean project structure Lean Action CI #1: Commit 8ddfdc6 pushed by SmwYin
1m 41s main
main
1m 41s