Skip to content

Actions: typednotes/linen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 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 toolchain Lean Action CI #85: Commit 5598cb8 pushed by ngrislain
10m 51s v0.10.0
v0.10.0
10m 51s
Update toolchain Lean Action CI #84: Commit 5598cb8 pushed by ngrislain
9m 55s main
main
9m 55s
bump again Lean Action CI #83: Commit 21b2548 pushed by ngrislain
2m 22s v0.9.0
v0.9.0
2m 22s
bump again Lean Action CI #82: Commit 21b2548 pushed by ngrislain
3m 7s main
main
3m 7s
Bump version Lean Action CI #81: Commit 119f0b8 pushed by ngrislain
2m 18s main
main
2m 18s
All good Lean Action CI #80: Commit 8e4e1e2 pushed by ngrislain
3m 9s main
main
3m 9s
Added lenses Lean Action CI #79: Commit 189f787 pushed by ngrislain
56s v0.8.0
v0.8.0
56s
Added lenses Lean Action CI #78: Commit 189f787 pushed by ngrislain
1m 34s main
main
1m 34s
Added Time Lean Action CI #77: Commit 0fd52f9 pushed by ngrislain
1m 19s v0.7.0
v0.7.0
1m 19s
Added Time Lean Action CI #76: Commit 0fd52f9 pushed by ngrislain
1m 37s main
main
1m 37s
Bump version Lean Action CI #75: Commit ad5d45d pushed by ngrislain
4m 53s v0.6.0
v0.6.0
4m 53s
Bump version Lean Action CI #74: Commit ad5d45d pushed by ngrislain
6m 51s main
main
6m 51s
Added hoauth2 Lean Action CI #73: Commit c777575 pushed by ngrislain
1m 19s main
main
1m 19s
OK Lean Action CI #72: Commit 5630ca3 pushed by ngrislain
56s v0.5.0
v0.5.0
56s
OK Lean Action CI #71: Commit 5630ca3 pushed by ngrislain
4m 4s main
main
4m 4s
Added more DB connectors Lean Action CI #70: Commit a38daa2 pushed by ngrislain
53s v0.4.0
v0.4.0
53s
Added more DB connectors Lean Action CI #69: Commit a38daa2 pushed by ngrislain
7m 40s main
main
7m 40s
HIP Complete Lean Action CI #68: Commit fe10f27 pushed by ngrislain
4m 3s v0.3.0
v0.3.0
4m 3s
HIP Complete Lean Action CI #67: Commit fe10f27 pushed by ngrislain
4m 14s main
main
4m 14s
Done until ColorQuant Lean Action CI #66: Commit 04fac2b pushed by ngrislain
55s main
main
55s
UPdated gitignore Lean Action CI #65: Commit 6e6e2ee pushed by ngrislain
1m 11s main
main
1m 11s
Fixed warnings and CI Lean Action CI #64: Commit 8651111 pushed by ngrislain
48s v0.2.0
v0.2.0
48s
Fixed warnings and CI Lean Action CI #63: Commit 8651111 pushed by ngrislain
3m 58s main
main
3m 58s
Updated version Lean Action CI #62: Commit ceab42f pushed by ngrislain
38s main
main
38s
Added PDF, Keyring and deps Lean Action CI #61: Commit 3cd444d pushed by ngrislain
34s main
main
34s