Skip to content

Actions: vyorkin/fm2024

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean Action CI #7: Commit fa7eadd pushed by vyorkin
2m 0s main
main
2m 0s
Update Lean Action CI #6: Commit a7f3531 pushed by vyorkin
1m 54s main
main
1m 54s
Update Lean Action CI #5: Commit 035076e pushed by vyorkin
2m 19s main
main
2m 19s
Update Lean Action CI #4: Commit b78e338 pushed by vyorkin
2m 4s main
main
2m 4s
Update Lean Action CI #3: Commit d79d657 pushed by vyorkin
1m 50s main
main
1m 50s
Update Lean Action CI #2: Commit 836b79d pushed by vyorkin
1m 35s main
main
1m 35s
Update Lean Action CI #1: Commit c059a6b pushed by vyorkin
8m 51s main
main
8m 51s
Update Create Release #1: Commit c059a6b pushed by vyorkin
5s main
main
5s