Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
508 workflow runs
508 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

speed up url_to_repo Black Code Formatter #395: Pull request #102 opened by yangky11
November 29, 2023 22:33 20s dev
dev
November 29, 2023 22:33 20s
speed up url_to_repo Black Code Formatter #394: Commit 20e7063 pushed by yangky11
November 29, 2023 22:32 20s dev
dev
November 29, 2023 22:32 20s
Merge pull request #101 from lean-dojo/dev Black Code Formatter #393: Commit bec479c pushed by yangky11
November 29, 2023 21:21 20s v1.4.1
v1.4.1
November 29, 2023 21:21 20s
Merge pull request #101 from lean-dojo/dev Typechecker #72: Commit bec479c pushed by yangky11
November 29, 2023 17:41 58s main
main
November 29, 2023 17:41 58s
Merge pull request #101 from lean-dojo/dev Black Code Formatter #392: Commit bec479c pushed by yangky11
November 29, 2023 17:41 19s main
main
November 29, 2023 17:41 19s
Support Lean's new directory structures Typechecker #71: Pull request #101 opened by yangky11
November 29, 2023 17:39 1m 4s dev
dev
November 29, 2023 17:39 1m 4s
Support Lean's new directory structures Black Code Formatter #391: Pull request #101 opened by yangky11
November 29, 2023 17:39 21s dev
dev
November 29, 2023 17:39 21s
all tests done Black Code Formatter #390: Commit c4cb4ab pushed by yangky11
November 29, 2023 14:40 24s dev
dev
November 29, 2023 14:40 24s
ProTip! You can narrow down the results and go further in time using created:<2023-11-29 or the other filters available.