Skip to content

Actions: erdkocak/CompPoly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 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
Update Lean Project Update Lean Project #49: Scheduled
1m 35s master
master
1m 35s
Update Lean Project Update Lean Project #48: Scheduled
1m 36s master
master
1m 36s
Update Lean Project Update Lean Project #47: Scheduled
1m 43s master
master
1m 43s
Update Lean Project Update Lean Project #46: Scheduled
1m 41s master
master
1m 41s
Update Lean Project Update Lean Project #45: Scheduled
1m 57s master
master
1m 57s
Update Lean Project Update Lean Project #44: Scheduled
1m 38s master
master
1m 38s
Update Lean Project Update Lean Project #43: Scheduled
1m 37s master
master
1m 37s
Update Lean Project Update Lean Project #42: Scheduled
1m 47s master
master
1m 47s
completed the working proofs Docs Integrity #8: Commit 6f4a280 pushed by erdkocak
10s master
master
10s
completed the working proofs Lean Action CI #8: Commit 6f4a280 pushed by erdkocak
6m 32s master
master
6m 32s
completed the working proofs Lint Style #8: Commit 6f4a280 pushed by erdkocak
11s master
master
11s
inverseImpl_correct proof Lint Style #7: Commit d9366bd pushed by erdkocak
10s master
master
10s
inverseImpl_correct proof Lean Action CI #7: Commit d9366bd pushed by erdkocak
6m 15s master
master
6m 15s
inverseImpl_correct proof Docs Integrity #7: Commit d9366bd pushed by erdkocak
16s master
master
16s
rest of the changes Lean Action CI #6: Commit 9e892e3 pushed by erdkocak
6m 8s master
master
6m 8s
rest of the changes Docs Integrity #6: Commit 9e892e3 pushed by erdkocak
10s master
master
10s
rest of the changes Lint Style #6: Commit 9e892e3 pushed by erdkocak
18s master
master
18s
refactoring common code of forward and inverse into transform Lean Action CI #5: Commit d35acc4 pushed by erdkocak
34s master
master
34s
refactoring common code of forward and inverse into transform Lint Style #5: Commit d35acc4 pushed by erdkocak
7s master
master
7s
refactoring common code of forward and inverse into transform Docs Integrity #5: Commit d35acc4 pushed by erdkocak
15s master
master
15s
Update Lean Project Update Lean Project #41: Scheduled
1m 41s master
master
1m 41s
Update Lean Project Update Lean Project #40: Scheduled
1m 38s master
master
1m 38s
forwardImpl_correct proof Docs Integrity #4: Commit 7c81b54 pushed by erdkocak
8s master
master
8s
forwardImpl_correct proof Lean Action CI #4: Commit 7c81b54 pushed by erdkocak
6m 33s master
master
6m 33s
forwardImpl_correct proof Lint Style #4: Commit 7c81b54 pushed by erdkocak
11s master
master
11s