Skip to content

Actions: typednotes/linen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
165 workflow runs
165 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
Release v1.2.0: fix DuckDB consumer executable links on Linux Lean Action CI #162: Commit d49ab32 pushed by ngrislain
8m 40s main
main
8m 40s
Release Release #8: by ngrislain
5m 28s v1.2.0
v1.2.0
5m 28s
Lean Action CI Lean Action CI #161: by ngrislain
8m 32s v1.2.0
v1.2.0
8m 32s
Release v1.1.0 Lean Action CI #160: Commit 1a912ec pushed by ngrislain
9m 34s v1.1.0
v1.1.0
9m 34s
Release v1.1.0 Release #7: Commit 1a912ec pushed by ngrislain
5m 19s v1.1.0
v1.1.0
5m 19s
Release v1.1.0 Lean Action CI #159: Commit 1a912ec pushed by ngrislain
9m 47s main
main
9m 47s
Fix a small bug Lean Action CI #158: Commit 7f4dc5e pushed by ngrislain
11m 7s main
main
11m 7s
Fix a small bug Lean Action CI #157: Commit 7f4dc5e pushed by ngrislain
9m 54s main
main
9m 54s
Build only what you import; bump to 1.0.0 (#7) Lean Action CI #156: Commit 192c2bd pushed by ngrislain
10m 40s v1.0.0
v1.0.0
10m 40s
Build only what you import; bump to 1.0.0 (#7) Release #6: Commit 192c2bd pushed by ngrislain
5m 50s v1.0.0
v1.0.0
5m 50s
Build only what you import; bump to 1.0.0 (#7) Lean Action CI #155: Commit 192c2bd pushed by ngrislain
10m 36s main
main
10m 36s
Build only what you import; bump to 1.0.0 Lean Action CI #154: Pull request #7 synchronize by ngrislain
9m 59s feat/modular-build
feat/modular-build
9m 59s
Restructure the changelog entry and drop the narrative from the docs Lean Action CI #153: Commit 3daf336 pushed by ngrislain
9m 39s feat/modular-build
feat/modular-build
9m 39s
Build only what you import; bump to 1.0.0 Lean Action CI #152: Pull request #7 synchronize by ngrislain
9m 38s feat/modular-build
feat/modular-build
9m 38s
Correct the reason the extern-lib split was reverted Lean Action CI #151: Commit d498f29 pushed by ngrislain
9m 44s feat/modular-build
feat/modular-build
9m 44s
Build only what you import; bump to 1.0.0 Lean Action CI #150: Pull request #7 opened by ngrislain
10m 7s feat/modular-build
feat/modular-build
10m 7s
Stop making every consumer build all 770 modules; bump to 1.0.0 Lean Action CI #149: Commit 43d442d pushed by ngrislain
9m 59s feat/modular-build
feat/modular-build
9m 59s
Docs/agents ci axes Lean Action CI #148: Pull request #5 opened by ngrislain
11m 46s docs/agents-ci-axes
docs/agents-ci-axes
11m 46s
Commit 2 rules Lean Action CI #147: Commit bd65f33 pushed by ngrislain
10m 28s docs/agents-ci-axes
docs/agents-ci-axes
10m 28s
Document the four CI axes in AGENTS.md (#4) Lean Action CI #146: Commit 2c584ca pushed by ngrislain
13m 4s main
main
13m 4s
Document the four CI axes in AGENTS.md Lean Action CI #145: Pull request #4 synchronize by ngrislain
8m 40s docs/agents-ci-axes
docs/agents-ci-axes
8m 40s
Commit 2 rules Lean Action CI #144: Commit bd65f33 pushed by ngrislain
12m 0s docs/agents-ci-axes
docs/agents-ci-axes
12m 0s
Document the four CI axes in AGENTS.md Lean Action CI #143: Pull request #4 opened by ngrislain
8m 26s docs/agents-ci-axes
docs/agents-ci-axes
8m 26s
Document the four CI axes in AGENTS.md; de-duplicate a CI step Lean Action CI #142: Commit 809e6d5 pushed by ngrislain
11m 3s docs/agents-ci-axes
docs/agents-ci-axes
11m 3s
Ci/platform matrix (#3) Lean Action CI #141: Commit 604a75e pushed by ngrislain
11m 23s docs/agents-ci-axes
docs/agents-ci-axes
11m 23s