Skip to content

Actions: Anderssorby/SDL.lean

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
18 workflow runs
18 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
Use Lean v4.4.0 Nix flakes CI #28: Pull request #6 synchronize by Anderssorby
December 25, 2023 19:21 17s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 19:21 17s
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 Nix flakes CI #27: Pull request #6 synchronize by Anderssorby
December 25, 2023 16:25 18s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 16:25 18s
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 Nix flakes CI #26: Pull request #6 opened by Anderssorby
December 25, 2023 15:39 16s acs/lean-v4.4.0
acs/lean-v4.4.0
December 25, 2023 15:39 16s
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
Merge pull request #3 from AntanasKal/fix-example-crash Nix flakes CI #25: Commit 75aa0e3 pushed by Anderssorby
December 25, 2023 15:20 22s main
main
December 25, 2023 15:20 22s
Merge pull request #5 from chabulhwi:update-readme Nix flakes CI #24: Commit 818b862 pushed by Anderssorby
December 9, 2023 18:31 19s main
main
December 9, 2023 18:31 19s