Skip to content

Actions: rami3l/PLFaLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 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
feat: 1. split Plfl/Init to 3 files; 2. update lean from v4.30 to v4.… Test #358: Commit 42b07f4 pushed by rami3l
3m 12s master
master
3m 12s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #357: Pull request #18 synchronize by srghma
1m 12s srghma:refactor2
srghma:refactor2
1m 12s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #356: Pull request #18 synchronize by srghma
1m 16s srghma:refactor2
srghma:refactor2
1m 16s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #355: Pull request #18 synchronize by srghma
1m 30s srghma:refactor2
srghma:refactor2
1m 30s
Running Copilot Code Review Copilot #1: by Copilot AI
7m 0s master
master
7m 0s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #354: Pull request #18 synchronize by srghma
1m 17s srghma:refactor2
srghma:refactor2
1m 17s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #353: Pull request #18 synchronize by srghma
1m 9s srghma:refactor2
srghma:refactor2
1m 9s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #352: Pull request #18 synchronize by srghma
3m 17s srghma:refactor2
srghma:refactor2
3m 17s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #351: Pull request #18 synchronize by srghma
3m 27s srghma:refactor2
srghma:refactor2
3m 27s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #350: Pull request #18 synchronize by srghma
2m 44s srghma:refactor2
srghma:refactor2
2m 44s
refactor: 1. split Plfl/Init to 3 files, 2. update version to v4.31.0 Test #349: Pull request #18 opened by srghma
1m 9s srghma:refactor2
srghma:refactor2
1m 9s
ci: update cache paths for new lake Test #348: Commit 61ee36a pushed by rami3l
3m 13s master
master
3m 13s
ci: update cache paths for new lake Test #347: Pull request #17 synchronize by rami3l
1m 24s rami3l-patch-1
rami3l-patch-1
1m 24s
ci: update cache paths for new lake Test #346: Pull request #17 opened by rami3l
3m 11s rami3l-patch-1
rami3l-patch-1
3m 11s
feat: make compilation faster by making imports minimal Test #345: Commit c02a422 pushed by rami3l
2m 47s master
master
2m 47s
Update to latest lean Test #344: Pull request #16 synchronize by srghma
2m 44s srghma:master
srghma:master
2m 44s
Update to latest lean Test #343: Pull request #16 synchronize by srghma
Action required srghma:master
srghma:master
Action required
Update to latest lean Test #342: Pull request #16 synchronize by srghma
2m 51s srghma:master
srghma:master
2m 51s