Skip to content

Actions: trishullab/clever

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
295 workflow runs
295 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #73 from barabbs/prob2-spec-reformat Lean Action CI #280: Commit 9c0b34f pushed by amit9oct
13m 12s main
main
13m 12s
Merge pull request #73 from barabbs/prob2-spec-reformat Deploy to GitHub Pages #10: Commit 9c0b34f pushed by amit9oct
19s main
main
19s
Copilot code review Copilot code review #3: by Copilot AI
1m 48s refs/pull/73/head
refs/pull/73/head
1m 48s
Adjusted formatting of provided spec in human_eval problem_2 Lean Action CI #279: Pull request #73 opened by barabbs
13m 8s barabbs:prob2-spec-reformat
barabbs:prob2-spec-reformat
13m 8s
Copilot code review Copilot code review #2: by Copilot AI
2m 37s refs/pull/71/head
refs/pull/71/head
2m 37s
Fix to test case (problem_103) and formatting issues in sample_examples Lean Action CI #278: Pull request #71 opened by barabbs
12m 43s barabbs:main
barabbs:main
12m 43s
Publish to PyPI Publish to PyPI #7: Manually run by amit9oct
37s main
main
37s
Bump version from 1.4.0 to 1.5.0 Deploy to GitHub Pages #9: Commit b2c19a5 pushed by amit9oct
19s main
main
19s
Bump version from 1.4.0 to 1.5.0 Lean Action CI #277: Commit b2c19a5 pushed by amit9oct
14m 11s main
main
14m 11s
Merge pull request #67 from barabbs/main Lean Action CI #276: Commit 5a178ba pushed by amit9oct
13m 48s main
main
13m 48s
Merge pull request #67 from barabbs/main Deploy to GitHub Pages #8: Commit 5a178ba pushed by amit9oct
20s main
main
20s
Bug fix of specs/implementations in benchmark Lean Action CI #275: Pull request #67 synchronize by barabbs
14m 8s barabbs:main
barabbs:main
14m 8s
Bug fix of specs/implementations in benchmark Lean Action CI #273: Pull request #67 synchronize by barabbs
6m 13s barabbs:main
barabbs:main
6m 13s
Copilot code review Copilot code review #1: by Copilot AI
9m 46s refs/pull/67/head
refs/pull/67/head
9m 46s
Publish to PyPI Publish to PyPI #6: Manually run by amit9oct
46s main
main
46s
Bump version from 1.3.0 to 1.4.0 Deploy to GitHub Pages #7: Commit 603e318 pushed by amit9oct
29s main
main
29s
Bump version from 1.3.0 to 1.4.0 Lean Action CI #268: Commit 603e318 pushed by amit9oct
13m 51s main
main
13m 51s
Publish to PyPI Publish to PyPI #5: Manually run by amit9oct
34s main
main
34s
Merge pull request #66 from trishullab/fixes/problem_57 Deploy to GitHub Pages #6: Commit 913b7c2 pushed by amit9oct
19s main
main
19s
Merge pull request #66 from trishullab/fixes/problem_57 Lean Action CI #267: Commit 913b7c2 pushed by amit9oct
13m 1s main
main
13m 1s
Fixes/problem 57 Lean Action CI #266: Pull request #66 opened by amit9oct
13m 9s fixes/problem_57
fixes/problem_57
13m 9s
Merge pull request #64 from trishullab/chore/leadboard-update Deploy to GitHub Pages #5: Commit f2c0f8c pushed by amit9oct
17s main
main
17s
Merge pull request #64 from trishullab/chore/leadboard-update Lean Action CI #265: Commit f2c0f8c pushed by amit9oct
12m 39s main
main
12m 39s
Update leaderboard.html with additional proof metrics and improved de… Lean Action CI #264: Pull request #64 opened by amit9oct
13m 18s chore/leadboard-update
chore/leadboard-update
13m 18s
Publish to PyPI Publish to PyPI #4: Manually run by amit9oct
38s main
main
38s