Skip to content

Actions: or4nge19/MCMC

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 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 AppendixB.lean Build MCMC #60: Commit 5a93c41 pushed by or4nge19
3m 29s main
main
3m 29s
PerronFrobenius: resolvent & ML lemmas Build MCMC #59: Commit 8b494d6 pushed by or4nge19
3m 19s main
main
3m 19s
replace classical.arbitrary with witnesses Build MCMC #58: Commit f1aa5e9 pushed by or4nge19
3m 10s main
main
3m 10s
bump 4.29 Create Release #4: Commit 11f672e pushed by or4nge19
16s main
main
16s
bump 4.29 Build MCMC #57: Commit 11f672e pushed by or4nge19
3m 29s main
main
3m 29s
Merge pull request #39 from or4nge19/ax-prover-1777656949 Build MCMC #56: Commit 254beeb pushed by or4nge19
3m 10s main
main
3m 10s
Proof for irreducible_nonnegative_matrix_has_positive_eigenvector_at_spectralRadius Build MCMC #55: Pull request #39 opened by ax-prover Bot
3m 32s ax-prover-1777656949
ax-prover-1777656949
3m 32s
Merge pull request #37 from or4nge19/ax-prover-1777656250 Build MCMC #54: Commit 2a04651 pushed by or4nge19
3m 7s main
main
3m 7s
Proof for spectralRadius_toReal_eq_perronRoot Build MCMC #53: Pull request #37 opened by ax-prover Bot
3m 11s ax-prover-1777656250
ax-prover-1777656250
3m 11s
Merge pull request #35 from or4nge19/ax-prover-1777655718 Build MCMC #52: Commit a44c3c4 pushed by or4nge19
3m 26s main
main
3m 26s
Proof for spectralRadius_eq_nnnorm_perronRoot Build MCMC #51: Pull request #35 opened by ax-prover Bot
3m 33s ax-prover-1777655718
ax-prover-1777655718
3m 33s
Merge pull request #31 from or4nge19/ax-prover-1776354241 Build MCMC #50: Commit df5a4dd pushed by or4nge19
3m 26s main
main
3m 26s
Proof for projectiveDist_eq_zero_iff_exists_pos_smul Build MCMC #49: Pull request #31 synchronize by or4nge19
3m 26s ax-prover-1776354241
ax-prover-1776354241
3m 26s
Merge pull request #26 from or4nge19/ax-prover-1776276130 Build MCMC #48: Commit eb1d25f pushed by or4nge19
50s main
main
50s
Merge pull request #20 from or4nge19/ax-prover-1776274113 Build MCMC #47: Commit 4dce88a pushed by or4nge19
1m 14s main
main
1m 14s
Merge pull request #19 from or4nge19/ax-prover-1776273692 Build MCMC #46: Commit 5d4fcd2 pushed by or4nge19
17s main
main
17s
Merge pull request #16 from or4nge19/ax-prover-1776273111 Build MCMC #45: Commit e3e99a1 pushed by or4nge19
1m 13s main
main
1m 13s
Merge pull request #14 from or4nge19/ax-prover-1776272384 Build MCMC #44: Commit a1aa33a pushed by or4nge19
24s main
main
24s
Merge pull request #13 from or4nge19/ax-prover-1776271975 Build MCMC #43: Commit 3727c58 pushed by or4nge19
1m 11s main
main
1m 11s
Merge pull request #33 from or4nge19/PF Build MCMC #42: Commit 95efa7a pushed by or4nge19
3m 28s main
main
3m 28s
perron-frobenius refactor Build MCMC #41: Pull request #33 synchronize by or4nge19
3m 17s PF
PF
3m 17s
perron-frobenius refactor Build MCMC #40: Pull request #33 synchronize by or4nge19
3m 13s PF
PF
3m 13s
perron-frobenius refactor Build MCMC #39: Pull request #33 synchronize by or4nge19
3m 40s PF
PF
3m 40s
perron-frobenius refactor Build MCMC #38: Pull request #33 synchronize by or4nge19
3m 25s PF
PF
3m 25s
perron-frobenius refactor Build MCMC #37: Pull request #33 synchronize by or4nge19
3m 23s PF
PF
3m 23s