Skip to content

Actions: marpaia/crnt-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 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
Add necessary files CI #104: Commit 9913799 pushed by marpaia
3m 37s master
master
3m 37s
Clean-up docs CI #103: Commit 6353bcf pushed by marpaia
5m 51s master
master
5m 51s
Prove no periodic orbit for weakly reversible deficiency-zero networks CI #102: Commit 777411e pushed by marpaia
3m 35s master
master
3m 35s
Add persistence and deficiency-one Analysis fields (v14) CI #101: Commit 7e342b9 pushed by marpaia
5m 23s master
master
5m 23s
Widespread cleanup of docs and comments CI #100: Commit f50e2ee pushed by marpaia
18m 41s master
master
18m 41s
Surface column Gershgorin stability margin in contract v13 CI #99: Commit 8699d23 pushed by marpaia
3m 59s master
master
3m 59s
Surface Gershgorin stability margin in analyze contract v12 CI #98: Commit 43d5127 pushed by marpaia
3m 28s master
master
3m 28s
Construct candidate compatible pair from a stoich direction CI #97: Commit f771909 pushed by marpaia
3m 30s master
master
3m 30s
Derive steady-state existence from a nonzero reduced degree CI #96: Commit b04f2ed pushed by marpaia
3m 44s master
master
3m 44s
Prove asymptotic facet repulsion from a near-facet dissipation bound CI #95: Commit 6a67c74 pushed by marpaia
3m 48s master
master
3m 48s
Add uniqueness of the genuine mass-action orbit from a positive start CI #94: Commit c734e19 pushed by marpaia
3m 36s master
master
3m 36s
Reduce GAC to a single separating-confinement predicate CI #93: Commit c57f9eb pushed by marpaia
3m 46s master
master
3m 46s
Add Fenichel normal attraction and stability transfer CI #92: Commit 655e7b3 pushed by marpaia
4m 46s master
master
4m 46s
Add Fenichel persistence over a drifting slow base CI #91: Commit 7100e43 pushed by marpaia
7m 12s master
master
7m 12s
Decide rational feasibility via Fourier-Motzkin elimination CI #90: Commit babb329 pushed by marpaia
3m 35s master
master
3m 35s
Add time-uniform Michaelis-Menten tracking ceiling CI #89: Commit 1053f05 pushed by marpaia
5m 9s master
master
5m 9s
Add column diagonal-dominance Gershgorin Hurwitz test CI #88: Commit c1df6b9 pushed by marpaia
5m 58s master
master
5m 58s
Rework docstrings CI #87: Commit a2338c5 pushed by marpaia
7m 19s master
master
7m 19s
Drop ladder and load-bearing metaphors from docstrings CI #86: Commit 1af561b pushed by marpaia
6m 38s master
master
6m 38s
Add Gershgorin diagonal-dominance Hurwitz eigenvalue test CI #85: Commit 0e94500 pushed by marpaia
5m 13s master
master
5m 13s
Update documentation CI #84: Commit a9c8979 pushed by marpaia
4m 1s master
master
4m 1s
Add degree-4 Routh-Hurwitz necessity (Lienard-Chipart) CI #83: Commit 30bfd5a pushed by marpaia
3m 53s master
master
3m 53s
Prove concordance implies kinetics-independent monostationarity CI #82: Commit 0ed4d26 pushed by marpaia
4m 15s master
master
4m 15s
Bind box Gale-Nikaido to mass-action class injectivity CI #81: Commit 4d3c4b2 pushed by marpaia
3m 36s master
master
3m 36s
Prove unconditional Gale-Nikaido global univalence CI #80: Commit f3fdb4e pushed by marpaia
3m 33s master
master
3m 33s