Skip to content

Actions: lean-dojo/ReProver

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #75 from euclidgame/time_out Black Code Formatter #205: Commit fd6d99c pushed by yangky11
20s main
main
20s