Skip to content

Actions: sjh227/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by sjh227
Skipped
Skipped
Updates now done continuous integration #9: Commit d6e9ba9 pushed by sjh227
2s stochastic_matrix
stochastic_matrix
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by sjh227
1s
1s
Updates now done continuous integration #8: Commit 5adc200 pushed by sjh227
1s stochastic_matrix
stochastic_matrix
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by sjh227
1s
1s
Update Mathlib/Data/Matrix/Stochastic.lean continuous integration #7: Commit 6b13abd pushed by sjh227
1s stochastic_matrix
stochastic_matrix
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by sjh227
1s
1s
Various continuous integration #6: Commit 064294c pushed by sjh227
Skipped stochastic_matrix
stochastic_matrix
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by sjh227
1s
1s
Various progress continuous integration #5: Commit fecb68b pushed by sjh227
1s stochastic_matrix
stochastic_matrix
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by sjh227
1s
1s
Update Mathlib/Data/Matrix/DoublyStochastic.lean continuous integration #4: Commit 37fe8d1 pushed by sjh227
2s stochastic_matrix
stochastic_matrix
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by sjh227
6s
6s
Update Mathlib/Data/Matrix/Stochastic.lean continuous integration #3: Commit 7e65a23 pushed by sjh227
1s stochastic_matrix
stochastic_matrix
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by sjh227
1s
1s
Update Mathlib/Data/Matrix/Stochastic.lean continuous integration #2: Commit a0ac2a2 pushed by sjh227
1s stochastic_matrix
stochastic_matrix
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by sjh227
1s
1s
Update Mathlib/Data/Matrix/Stochastic.lean continuous integration #1: Commit 67a44cf pushed by sjh227
1s stochastic_matrix
stochastic_matrix
1s