Skip to content

Actions: erdkocak/CompPoly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 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 #53: Scheduled
1m 41s master
master
1m 41s
Merge branch 'master' into master Lean Action CI #19: Commit 77a0986 pushed by erdkocak
23m 46s master
master
23m 46s
Merge branch 'master' into master Add Lean release tag #1: Commit 77a0986 pushed by erdkocak
15s master
master
15s
Merge branch 'master' into master Docs Integrity #19: Commit 77a0986 pushed by erdkocak
15s master
master
15s
Merge branch 'master' into master Lint Style #19: Commit 77a0986 pushed by erdkocak
10s master
master
10s
parametrization of test domains and better naming Lint Style #18: Commit 49b738d pushed by erdkocak
12s master
master
12s
parametrization of test domains and better naming Lean Action CI #18: Commit 49b738d pushed by erdkocak
2m 2s master
master
2m 2s
parametrization of test domains and better naming Docs Integrity #18: Commit 49b738d pushed by erdkocak
9s master
master
9s
better tests Lint Style #17: Commit 41e63ac pushed by erdkocak
15s master
master
15s
better tests Docs Integrity #17: Commit 41e63ac pushed by erdkocak
17s master
master
17s
better tests Lean Action CI #17: Commit 41e63ac pushed by erdkocak
6m 25s master
master
6m 25s
fixed boolean equality issue Docs Integrity #16: Commit 9bac2e2 pushed by erdkocak
10s master
master
10s
fixed boolean equality issue Lint Style #16: Commit 9bac2e2 pushed by erdkocak
9s master
master
9s
fixed boolean equality issue Lean Action CI #16: Commit 9bac2e2 pushed by erdkocak
7m 14s master
master
7m 14s
leftarrow style, and fixed a warning Lean Action CI #15: Commit c7c1853 pushed by erdkocak
3m 0s master
master
3m 0s
leftarrow style, and fixed a warning Docs Integrity #15: Commit c7c1853 pushed by erdkocak
12s master
master
12s
leftarrow style, and fixed a warning Lint Style #15: Commit c7c1853 pushed by erdkocak
16s master
master
16s
consistent Nat coerciens Docs Integrity #14: Commit e58f73f pushed by erdkocak
11s master
master
11s
consistent Nat coerciens Lint Style #14: Commit e58f73f pushed by erdkocak
12s master
master
12s
consistent Nat coerciens Lean Action CI #14: Commit e58f73f pushed by erdkocak
7m 33s master
master
7m 33s
unnecessary @[simp] removed Lint Style #13: Commit f8c500f pushed by erdkocak
14s master
master
14s
unnecessary @[simp] removed Docs Integrity #13: Commit f8c500f pushed by erdkocak
15s master
master
15s
unnecessary @[simp] removed Lean Action CI #13: Commit f8c500f pushed by erdkocak
6m 53s master
master
6m 53s
Update Lean Project Update Lean Project #52: Scheduled
1m 35s master
master
1m 35s
theorem moved to core Lean Action CI #12: Commit 679d92a pushed by erdkocak
6m 48s master
master
6m 48s