Workflow runs · facebookresearch/LeanUniverse · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

3 workflow runs

3 workflow runs

Update README.md to fix typos Run precommit #3: Pull request #2 opened by armarkos

January 15, 2025 15:01

1m 14s fix_typos_in_readme

fix_typos_in_readme

January 15, 2025 15:01

1m 14s

Run precommit Run precommit #2: Manually run by armarkos

December 26, 2024 00:17

1m 15s main

main

December 26, 2024 00:17

1m 15s

Run precommit Run precommit #1: Manually run by armarkos

December 26, 2024 00:16

1m 10s main

main

December 26, 2024 00:16

1m 10s