Skip to content

Actions: rami3l/PLFaLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
Use more original-agda-like notation, and add more solutions Test #367: Pull request #22 synchronize by srghma
1m 20s srghma:feat_better_arrows
srghma:feat_better_arrows
1m 20s
Use more original-agda-like notation, and add more solutions Test #366: Pull request #22 synchronize by srghma
2m 31s srghma:feat_better_arrows
srghma:feat_better_arrows
2m 31s
Use more original-agda-like notation, and add more solutions Test #365: Pull request #22 synchronize by srghma
1m 38s srghma:feat_better_arrows
srghma:feat_better_arrows
1m 38s
Use more original-agda-like notation, and add more solutions Test #364: Pull request #22 synchronize by srghma
1m 20s srghma:feat_better_arrows
srghma:feat_better_arrows
1m 20s
feat(#20): Replace □ with a dot-like Unicode symbol ⬝ for term applic… Test #363: Commit 138c217 pushed by rami3l
2m 31s master
master
2m 31s
Use more original-agda-like notation, and add more solutions Test #362: Pull request #22 opened by srghma
2m 22s srghma:feat_better_arrows
srghma:feat_better_arrows
2m 22s
feat(#20): Replace □ with a dot-like Unicode symbol ⬝ for term application (Black Very Small Square, U+2B1D, \tr , \con) Test #361: Pull request #21 opened by srghma
2m 9s srghma:black_very_small_square
srghma:black_very_small_square
2m 9s
feat: update to v4.33.0-rc1, fix warnings Test #360: Commit 1db280e pushed by rami3l
3m 41s master
master
3m 41s
update to v4.33.0-rc1 Test #359: Pull request #19 opened by srghma
3m 24s srghma:master
srghma:master
3m 24s
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