Skip to content

Actions: impermeable/waterproof-genre

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
Switch to custom multilean function Lean Action CI #27: Commit e452ba8 pushed by pimotte
30s feature/smaller-genre
feature/smaller-genre
30s
Lean block fix Lean Action CI #26: Commit 92c74ac pushed by pimotte
41s feature/smaller-genre
feature/smaller-genre
41s
Improve WaterproofGenre Lean Action CI #25: Commit ba1d80f pushed by pimotte
4m 51s feature/smaller-genre
feature/smaller-genre
4m 51s
Add comments Lean Action CI #24: Commit 8b96c7b pushed by pimotte
3m 9s debug/upsteam-multilean
debug/upsteam-multilean
3m 9s
Smaller Genre Lean Action CI #23: Commit da191b5 pushed by pimotte
4m 30s feature/smaller-genre
feature/smaller-genre
4m 30s
Full tokens Lean Action CI #22: Commit ba61002 pushed by pimotte
2m 57s debug/upsteam-multilean
debug/upsteam-multilean
2m 57s
Debugging Lean Action CI #21: Commit 7e282e9 pushed by pimotte
3m 6s debug/upsteam-multilean
debug/upsteam-multilean
3m 6s
Add testing script Lean Action CI #20: Commit d10c520 pushed by pimotte
34s bugfix/highlighting
bugfix/highlighting
34s
LLM-coded bugfix attempt Lean Action CI #19: Commit af0f875 pushed by pimotte
32s bugfix/highlighting
bugfix/highlighting
32s
Possible bugfix Lean Action CI #18: Commit 3b4fe3e pushed by pimotte
33s bugfix/highlighting
bugfix/highlighting
33s
Merge pull request #3 from david-christiansen/bump-4.29 Lean Action CI #17: Commit b7c0c20 pushed by pimotte
3m 2s main
main
3m 2s
Bump 4.29 Lean Action CI #16: Pull request #3 synchronize by pimotte
3m 17s david-christiansen:bump-4.29
david-christiansen:bump-4.29
3m 17s
MWE Lean Action CI #14: Commit 67c2bb6 pushed by pimotte
2m 58s version-bump-isolation
version-bump-isolation
2m 58s
Vibe-coded monkeypatches Lean Action CI #13: Commit d75d67d pushed by pimotte
2m 49s version-bump-debug
version-bump-debug
2m 49s
Fix warnings Lean Action CI #12: Commit 35566b9 pushed by pimotte
29s version-bump-2
version-bump-2
29s
Fix messages/goal state Lean Action CI #11: Commit c379588 pushed by pimotte
28s v4.25.0+patch1
v4.25.0+patch1
28s
Fix messages/goal state Lean Action CI #10: Pull request #2 opened by pimotte
34s version-update
version-update
34s
Fix messages/goal state Lean Action CI #9: Commit c379588 pushed by pimotte
36s version-update
version-update
36s
Add license Lean Action CI #8: Commit 54d5716 pushed by pimotte
23s v4.20.0
v4.20.0
23s
Bump to v4.25.0 Lean Action CI #7: Commit 5af84ad pushed by pimotte
30s v4.25.0
v4.25.0
30s
Merge pull request #1 from impermeable/version-update Lean Action CI #6: Commit e7d759e pushed by pimotte
2m 39s main
main
2m 39s
Version update Lean Action CI #5: Pull request #1 opened by pimotte
2m 46s version-update
version-update
2m 46s
Bump to v4.25.0 Lean Action CI #4: Commit 5af84ad pushed by pimotte
2m 31s version-update
version-update
2m 31s
Remove slice dependency Lean Action CI #3: Commit 62111b5 pushed by pimotte
48s version-update
version-update
48s
Add license Lean Action CI #2: Commit 54d5716 pushed by pimotte
11s main
main
11s