8000 Workflow runs · PaoloOranges/Lean · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: PaoloOranges/Lean

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

< 8000 svg aria-label="Loading content..." style="box-sizing: content-box; color: var(--color-icon-primary);" width="32" height="32" viewBox="0 0 16 16" fill="none" role="img" data-view-component="true" class="anim-rotate">

Filter by Status

Filter by Branch

Filter by Actor

better algorithm with crossing
Research Regression Tests #32: Commit 04d73bb pushed by PaoloOranges
May 30, 2024 18:04 4m 21s paolo-etheur-algorithm
7686 May 30, 2024 18:04 4m 21s
better algorithm with crossing
API Tests #3: Commit 04d73bb pushed by PaoloOranges
May 30, 2024 18:04 4m 54s paolo-etheur-algorithm
May 30, 2024 18:04 4m 54s
better algorithm with crossing
Build & Test Lean #82: Commit 04d73bb pushed by PaoloOranges
May 30, 2024 18:04 5m 30s paolo-etheur-algorithm
May 30, 2024 18:04 5m 30s
better algorithm with crossing
Docker Build/Publish Raspberry Pi Docker Paolo #38: Commit 04d73bb pushed by PaoloOranges
May 30, 2024 18:04 1m 49s paolo-etheur-algorithm
May 30, 2024 18:04 1m 49s
0