Skip to content

Actions: projectLEAN727/Navier-Stokes-Lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 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
Update README.md Lean Action CI #3: Commit d756c93 pushed by projectLEAN727
32m 28s main
main
32m 28s
docs: Update README with Summary Report and clean up repo Lean Action CI #2: Commit f104c4e pushed by projectLEAN727
30m 10s main
main
30m 10s
Initial commit: Navier-Stokes Global Regularity Skeleton in Lean 4 Lean Action CI #1: Commit 567f3c4 pushed by projectLEAN727
36m 8s main
main
36m 8s
Initial commit: Navier-Stokes Global Regularity Skeleton in Lean 4 Create Release #1: Commit 567f3c4 pushed by projectLEAN727
9s main
main
9s