Skip to content

Actions: gaetanserre/LeanCal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean version
CI #15: Commit 5166163 pushed by gaetanserre
July 22, 2024 12:21 19s main
July 22, 2024 12:21 19s
Update Lean version
CI #14: Commit 5166163 pushed by gaetanserre
July 22, 2024 12:21 16s dev
dev
July 22, 2024 12:21 16s
Delete useless file
CI #13: Commit 3eb444b pushed by gaetanserre
July 22, 2024 12:18 16s dev
dev
July 22, 2024 12:18 16s
Delete useless file
CI #12: Commit 3eb444b pushed by gaetanserre
July 22, 2024 12:18 17s main
July 22, 2024 12:18 17s
Throw error
CI #11: Commit 99f8f8c pushed by gaetanserre
July 18, 2024 12:22 16s main
July 18, 2024 12:22 16s
Throw error
CI #10: Commit 99f8f8c pushed by gaetanserre
July 18, 2024 12:22 18s dev
dev
July 18, 2024 12:22 18s
fr support
CI #9: Commit 1ba0421 pushed by gaetanserre
July 8, 2024 21:53 16s fr
fr
July 8, 2024 21:53 16s
Build.yml
CI #8: Commit 361d78a pushed by gaetanserre
July 8, 2024 21:52 16s main
July 8, 2024 21:52 16s
Build.yml
CI #7: Commit 361d78a pushed by gaetanserre
July 8, 2024 21:51 21s dev
dev
July 8, 2024 21:51 21s
Build.yml
CI #6: Commit 361d78a pushed by gaetanserre
July 8, 2024 21:51 15s fr
fr
July 8, 2024 21:51 15s
build.yml
CI #5: Commit ec994f2 pushed by gaetanserre
July 8, 2024 21:51 18s dev
dev
July 8, 2024 21:51 18s
Update README.md
CI #4: Commit fd38d39 pushed by gaetanserre
July 6, 2024 17:01 15s dev
dev
July 6, 2024 17:01 15s
Update README.md
CI #3: Commit fd38d39 pushed by gaetanserre
July 6, 2024 17:01 17s main
July 6, 2024 17:01 17s
build.yml
CI #2: Commit ec994f2 pushed by gaetanserre
July 5, 2024 11:57 16s main
July 5, 2024 11:57 16s
build.yml
CI #1: Commit ec994f2 pushed by gaetanserre
July 5, 2024 11:55 19s dev
dev
July 5, 2024 11:55 19s
Create blank.yml
CI #1: Commit ade7fcc pushed by gaetanserre
July 5, 2024 11:50 11s main
July 5, 2024 11:50 11s