Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
638 workflow runs
638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update Typechecker #272: Commit c1efbf6 pushed by yangky11
September 6, 2024 13:05 54s main
main
September 6, 2024 13:05 54s
bugfix Black Code Formatter #712: Commit 6d0795a pushed by yangky11
September 4, 2024 16:58 25s main
main
September 4, 2024 16:58 25s
bugfix Typechecker #271: Commit 6d0795a pushed by yangky11
September 4, 2024 16:58 56s main
main
September 4, 2024 16:58 56s
Merge pull request #205 from realharryhero/main Black Code Formatter #711: Commit 8b7792a pushed by yangky11
September 3, 2024 04:08 22s main
main
September 3, 2024 04:08 22s
Merge pull request #205 from realharryhero/main Typechecker #270: Commit 8b7792a pushed by yangky11
September 3, 2024 04:08 51s main
main
September 3, 2024 04:08 51s
Fix(typing): mypy errors Typechecker #268: Pull request #204 synchronize by AntiKnot
August 30, 2024 01:44 51s AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
August 30, 2024 01:44 51s
Fix(typing): mypy errors Black Code Formatter #709: Pull request #204 synchronize by AntiKnot
August 30, 2024 01:44 25s AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
August 30, 2024 01:44 25s
update Black Code Formatter #708: Commit 9f4d398 pushed by yangky11
August 29, 2024 21:32 22s dev
dev
August 29, 2024 21:32 22s
Merge pull request #198 from lean-dojo/dev Black Code Formatter #705: Commit 9b19df9 pushed by yangky11
August 15, 2024 02:32 20s v2.1.2
v2.1.2
August 15, 2024 02:32 20s
Merge pull request #198 from lean-dojo/dev Typechecker #265: Commit 9b19df9 pushed by yangky11
August 15, 2024 02:31 57s main
main
August 15, 2024 02:31 57s
Merge pull request #198 from lean-dojo/dev Black Code Formatter #704: Commit 9b19df9 pushed by yangky11
August 15, 2024 02:31 21s main
main
August 15, 2024 02:31 21s
minor bugfix Typechecker #264: Pull request #198 opened by yangky11
August 15, 2024 02:30 51s dev
dev
August 15, 2024 02:30 51s
minor bugfix Black Code Formatter #703: Pull request #198 opened by yangky11
August 15, 2024 02:30 22s dev
dev
August 15, 2024 02:30 22s
minor bugfix Black Code Formatter #702: Commit dfb5f31 pushed by yangky11
August 15, 2024 02:30 24s dev
dev
August 15, 2024 02:30 24s
Merge pull request #197 from lean-dojo/dev Black Code Formatter #701: Commit ee58ed9 pushed by yangky11
August 14, 2024 17:38 18s main
main
August 14, 2024 17:38 18s
Merge pull request #197 from lean-dojo/dev Typechecker #263: Commit ee58ed9 pushed by yangky11
August 14, 2024 17:38 49s main
main
August 14, 2024 17:38 49s
fix minor bug Black Code Formatter #700: Pull request #197 opened by yangky11
August 14, 2024 17:38 20s dev
dev
August 14, 2024 17:38 20s
fix minor bug Typechecker #262: Pull request #197 opened by yangky11
August 14, 2024 17:38 1m 12s dev
dev
August 14, 2024 17:38 1m 12s
fix minor bug Black Code Formatter #699: Commit dc755b9 pushed by yangky11
August 14, 2024 17:38 20s dev
dev
August 14, 2024 17:38 20s
Merge pull request #195 from lean-dojo/dev Black Code Formatter #698: Commit b5c3b97 pushed by yangky11
August 12, 2024 14:42 27s v2.1.1
v2.1.1
August 12, 2024 14:42 27s
Merge pull request #195 from lean-dojo/dev Black Code Formatter #697: Commit b5c3b97 pushed by yangky11
August 11, 2024 21:15 19s main
main
August 11, 2024 21:15 19s
Merge pull request #195 from lean-dojo/dev Typechecker #261: Commit b5c3b97 pushed by yangky11
August 11, 2024 21:15 48s main
main
August 11, 2024 21:15 48s
fix minor bugs Black Code Formatter #696: Pull request #195 opened by yangky11
August 11, 2024 21:14 23s dev
dev
August 11, 2024 21:14 23s
fix minor bugs Typechecker #260: Pull request #195 opened by yangky11
August 11, 2024 21:14 53s dev
dev
August 11, 2024 21:14 53s
fix minor bugs Black Code Formatter #695: Commit 8896814 pushed by yangky11
August 11, 2024 21:14 24s dev
dev
August 11, 2024 21:14 24s