Skip to content

Actions: Anderssorby/SDL.lean

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from Anderssorby/acs/lean-v4.4.0 ci #13: Commit df56977 pushed by Anderssorby
December 25, 2023 20:48 1m 13s main
main
December 25, 2023 20:48 1m 13s
Use Lean v4.4.0 ci #12: Pull request #6 synchronize by Anderssorby
December 25, 2023 20:23 1m 13s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 20:23 1m 13s
feat: Add lake CI ci #11: Commit 4673990 pushed by Anderssorby
December 25, 2023 20:23 1m 4s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 20:23 1m 4s
Use Lean v4.4.0 ci #10: Pull request #6 synchronize by Anderssorby
December 25, 2023 20:14 9m 16s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 20:14 9m 16s
feat: Add lake CI ci #9: Commit e943ef5 pushed by Anderssorby
December 25, 2023 20:14 8m 55s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 20:14 8m 55s
Use Lean v4.4.0 ci #8: Pull request #6 synchronize by Anderssorby
December 25, 2023 19:52 1m 13s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 19:52 1m 13s
feat: Add lake CI ci #7: Commit 8bff511 pushed by Anderssorby
December 25, 2023 19:52 1m 5s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 19:52 1m 5s
Use Lean v4.4.0 ci #6: Pull request #6 synchronize by Anderssorby
December 25, 2023 19:21 15s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 19:21 15s
feat: Add lake CI ci #5: Commit ad940d3 pushed by Anderssorby
December 25, 2023 19:20 15s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 19:20 15s
Use Lean v4.4.0 ci #4: Pull request #6 synchronize by Anderssorby
December 25, 2023 16:25 16s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 16:25 16s
feat: Add lake CI ci #3: Commit 75552c4 pushed by Anderssorby
December 25, 2023 16:25 22s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 16:25 22s
Use Lean v4.4.0 ci #2: Pull request #6 opened by Anderssorby
December 25, 2023 15:39 15s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 15:39 15s
feat: Add lake CI ci #1: Commit 9611e25 pushed by Anderssorby
December 25, 2023 15:38 15s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 15:38 15s