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

Add Support for Local and Remote Repositories Typechecker #242: Pull request #179 synchronize by RexWzh
July 29, 2024 18:36 50s Lean-zh:main
Lean-zh:main
July 29, 2024 18:36 50s
Add Support for Local and Remote Repositories Typechecker #241: Pull request #179 synchronize by RexWzh
July 29, 2024 17:53 53s Lean-zh:main
Lean-zh:main
July 29, 2024 17:53 53s
Add Support for Local and Remote Repositories Black Code Formatter #661: Pull request #179 synchronize by RexWzh
July 29, 2024 17:53 20s Lean-zh:main
Lean-zh:main
July 29, 2024 17:53 20s
Add Support for Local and Remote Repositories Typechecker #240: Pull request #179 synchronize by RexWzh
July 29, 2024 15:35 1m 1s Lean-zh:main
Lean-zh:main
July 29, 2024 15:35 1m 1s
Add Support for Local and Remote Repositories Black Code Formatter #660: Pull request #179 synchronize by RexWzh
July 29, 2024 15:35 25s Lean-zh:main
Lean-zh:main
July 29, 2024 15:35 25s
Add Support for Local and Remote Repositories Black Code Formatter #659: Pull request #179 synchronize by RexWzh
July 29, 2024 09:18 26s Lean-zh:main
Lean-zh:main
July 29, 2024 09:18 26s
Add Support for Local and Remote Repositories Typechecker #239: Pull request #179 synchronize by RexWzh
July 29, 2024 09:18 1m 10s Lean-zh:main
Lean-zh:main
July 29, 2024 09:18 1m 10s
Add Support for Local and Remote Repositories Typechecker #238: Pull request #179 synchronize by RexWzh
July 29, 2024 09:03 53s Lean-zh:main
Lean-zh:main
July 29, 2024 09:03 53s
Add Support for Local and Remote Repositories Black Code Formatter #658: Pull request #179 synchronize by RexWzh
July 29, 2024 09:03 20s Lean-zh:main
Lean-zh:main
July 29, 2024 09:03 20s
Add Support for Local and Remote Repositories Black Code Formatter #657: Pull request #179 synchronize by RexWzh
July 29, 2024 08:51 22s Lean-zh:main
Lean-zh:main
July 29, 2024 08:51 22s
Add Support for Local and Remote Repositories Typechecker #237: Pull request #179 synchronize by RexWzh
July 29, 2024 08:51 51s Lean-zh:main
Lean-zh:main
July 29, 2024 08:51 51s
Extend function features to allow new repo types Typechecker #236: Pull request #190 synchronize by RexWzh
July 26, 2024 02:47 57s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 26, 2024 02:47 57s
Extend function features to allow new repo types Black Code Formatter #656: Pull request #190 synchronize by RexWzh
July 26, 2024 02:47 20s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 26, 2024 02:47 20s
Extend function features to allow new repo types Black Code Formatter #655: Pull request #190 synchronize by RexWzh
July 25, 2024 20:08 20s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 20:08 20s
Extend function features to allow new repo types Typechecker #235: Pull request #190 synchronize by RexWzh
July 25, 2024 20:08 1m 14s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 20:08 1m 14s
Extend function features to allow new repo types Typechecker #234: Pull request #190 synchronize by RexWzh
July 25, 2024 19:32 1m 14s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 19:32 1m 14s
Extend function features to allow new repo types Black Code Formatter #654: Pull request #190 synchronize by RexWzh
July 25, 2024 19:32 21s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 19:32 21s
Extend function features to allow new repo types Typechecker #233: Pull request #190 synchronize by RexWzh
July 25, 2024 19:31 55s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 19:31 55s
Extend function features to allow new repo types Black Code Formatter #653: Pull request #190 synchronize by RexWzh
July 25, 2024 19:31 21s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 19:31 21s
Extend function features to allow new repo types Black Code Formatter #652: Pull request #190 synchronize by RexWzh
July 25, 2024 07:06 23s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 07:06 23s
Extend function features to allow new repo types Typechecker #232: Pull request #190 synchronize by RexWzh
July 25, 2024 07:06 1m 1s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 07:06 1m 1s
Extend function features to allow new repo types Black Code Formatter #651: Pull request #190 synchronize by RexWzh
July 25, 2024 06:39 22s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 06:39 22s
Extend function features to allow new repo types Typechecker #231: Pull request #190 synchronize by RexWzh
July 25, 2024 06:39 58s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 06:39 58s
Extend function features to allow new repo types Black Code Formatter #650: Pull request #190 opened by RexWzh
July 25, 2024 04:01 23s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 04:01 23s
Extend function features to allow new repo types Typechecker #230: Pull request #190 opened by RexWzh
July 25, 2024 04:01 53s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 04:01 53s