Skip to content

Actions: Oliiiiver/Approximation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor(Blichfeldt): extract lemmas, simplify blichfeldt_minkowski p… Lean Action CI #2: Commit 87d33c4 pushed by Oliiiiver
51m 50s main
main
51m 50s
Initial commit Create Release #1: Commit 96a7149 pushed by Oliiiiver
11s main
main
11s
Initial commit Lean Action CI #1: Commit 96a7149 pushed by Oliiiiver
1h 13m 2s main
main
1h 13m 2s