Skip to content

Actions: tdj28/nonlinear-dynamics-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113 workflow runs
113 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
Correct public status and validate rendered site Deploy Hugo site to GitHub Pages #113: Commit b865d51 pushed by tdj28
1m 2s main
main
1m 2s
Prepare finite GUE raw-spacing laws Deploy Hugo site to GitHub Pages #112: Commit e90ab23 pushed by tdj28
50s main
main
50s
Validate raw finite spectral statistics Deploy Hugo site to GitHub Pages #111: Commit de78075 pushed by tdj28
55s main
main
55s
Prepare raw finite spectral statistics Deploy Hugo site to GitHub Pages #110: Commit c09bb53 pushed by tdj28
1m 0s main
main
1m 0s
Record validated finite quantum foundation Deploy Hugo site to GitHub Pages #109: Commit 55674eb pushed by tdj28
2m 27s main
main
2m 27s
Repair finite quantum foundation proofs Deploy Hugo site to GitHub Pages #108: Commit 3e9cb91 pushed by tdj28
53s main
main
53s
Prepare shared finite quantum foundation Deploy Hugo site to GitHub Pages #107: Commit 361046a pushed by tdj28
54s main
main
54s
Repair Lorenz proofs for pinned Mathlib Deploy Hugo site to GitHub Pages #106: Commit 4c43d6d pushed by tdj28
1m 1s main
main
1m 1s
Prepare Lorenz source candidate Deploy Hugo site to GitHub Pages #105: Commit fcd01d5 pushed by tdj28
52s main
main
52s
Repair Lotka-Volterra proofs for pinned Mathlib Deploy Hugo site to GitHub Pages #104: Commit 274910c pushed by tdj28
16s main
main
16s
Prepare Lotka-Volterra source candidate Deploy Hugo site to GitHub Pages #103: Commit 538a8c6 pushed by tdj28
51s main
main
51s
Repair Pendulum proofs for pinned Mathlib Deploy Hugo site to GitHub Pages #102: Commit 404ae20 pushed by tdj28
1m 1s main
main
1m 1s
Prepare nonlinear pendulum candidate Deploy Hugo site to GitHub Pages #101: Commit 54d075e pushed by tdj28
53s main
main
53s
Repair logistic ODE proofs Deploy Hugo site to GitHub Pages #100: Commit 54ee561 pushed by tdj28
59s main
main
59s
Prepare logistic ODE candidate Deploy Hugo site to GitHub Pages #99: Commit 7103eb7 pushed by tdj28
53s main
main
53s
Repair tent map proofs Deploy Hugo site to GitHub Pages #98: Commit cc74fdc pushed by tdj28
58s main
main
58s
Add tent map source and teaching candidate Deploy Hugo site to GitHub Pages #97: Commit e9d186d pushed by tdj28
54s main
main
54s
Repair logistic map proofs Deploy Hugo site to GitHub Pages #96: Commit 0527d6e pushed by tdj28
1m 0s main
main
1m 0s
Add logistic map source and teaching candidate Deploy Hugo site to GitHub Pages #95: Commit 47be7a9 pushed by tdj28
1m 0s main
main
1m 0s
Repair continuous-time Lyapunov proofs Deploy Hugo site to GitHub Pages #94: Commit 30172c7 pushed by tdj28
59s main
main
59s
Add continuous-time Lyapunov candidate Deploy Hugo site to GitHub Pages #93: Commit 7032894 pushed by tdj28
52s main
main
52s
Fix production Hugo draft references Deploy Hugo site to GitHub Pages #92: Commit 195841a pushed by tdj28
58s main
main
58s
Validate continuous-time flow stability Deploy Hugo site to GitHub Pages #91: Commit 33d6b6f pushed by tdj28
32s main
main
32s
Add continuous-time flow stability milestone candidate Deploy Hugo site to GitHub Pages #90: Commit 64b39c6 pushed by tdj28
38s main
main
38s
record validated ToFlow milestone Deploy Hugo site to GitHub Pages #89: Commit 2b857f6 pushed by tdj28
1m 23s main
main
1m 23s