Skip to content

Actions: gw90/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by j-loreaux
1s
1s
Update Mathlib/Analysis/CStarAlgebra/Spectrum.lean continuous integration #10: Commit 574fa74 pushed by j-loreaux
1s gw90/CStarAlgebra-norm-sqrt-spectralRadius
gw90/CStarAlgebra-norm-sqrt-spectralRadius
1s
Update Mathlib/Analysis/CStarAlgebra/Spectrum.lean Run pre-commit and in-place update PR on push #10: Commit 574fa74 pushed by j-loreaux
26s gw90/CStarAlgebra-norm-sqrt-spectralRadius
gw90/CStarAlgebra-norm-sqrt-spectralRadius
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by j-loreaux
1s
1s
Merge branch 'master' into gw90/CStarAlgebra-norm-sqrt-spectralRadius Run pre-commit and in-place update PR on push #9: Commit f4d5ed6 pushed by j-loreaux
29s gw90/CStarAlgebra-norm-sqrt-spectralRadius
gw90/CStarAlgebra-norm-sqrt-spectralRadius
29s
Merge branch 'master' into gw90/CStarAlgebra-norm-sqrt-spectralRadius continuous integration #9: Commit f4d5ed6 pushed by j-loreaux
1s gw90/CStarAlgebra-norm-sqrt-spectralRadius
gw90/CStarAlgebra-norm-sqrt-spectralRadius
1s
Merge branch 'master' into gw90/CStarAlgebra-norm-sqrt-spectralRadius Autolabel PRs #2: Commit f4d5ed6 pushed by j-loreaux
1s gw90/CStarAlgebra-norm-sqrt-spectralRadius
gw90/CStarAlgebra-norm-sqrt-spectralRadius
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by gw90
1s
1s
Merge branch 'gw90/GNS-Construction-edits' of github.com:gw90/mathlib… continuous integration #8: Commit ebb8569 pushed by gw90
Skipped gw90/GNS-cyclic-vector
gw90/GNS-cyclic-vector
Skipped
Merge branch 'gw90/GNS-Construction-edits' of github.com:gw90/mathlib… Run pre-commit and in-place update PR on push #8: Commit ebb8569 pushed by gw90
28s gw90/GNS-cyclic-vector
gw90/GNS-cyclic-vector
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by gw90
2s
2s
Merge branch 'gw90/GNS-Construction-edits' of github.com:gw90/mathlib… Run pre-commit and in-place update PR on push #7: Commit ebb8569 pushed by gw90
28s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
28s
Merge branch 'gw90/GNS-Construction-edits' of github.com:gw90/mathlib… continuous integration #7: Commit ebb8569 pushed by gw90
1s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by gw90
1s
1s
Merge branch 'master' into gw90/GNS-Construction-edits continuous integration #6: Commit 1c95a03 pushed by gw90
Skipped gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
Skipped
Merge branch 'master' into gw90/GNS-Construction-edits Run pre-commit and in-place update PR on push #6: Commit 1c95a03 pushed by gw90
27s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by gw90
2s
2s
Merge branch 'gw90/GNS-Construction-edits' of github.com:gw90/mathlib… Run pre-commit and in-place update PR on push #5: Commit 882000e pushed by gw90
22s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
22s
Merge branch 'gw90/GNS-Construction-edits' of github.com:gw90/mathlib… continuous integration #5: Commit 882000e pushed by gw90
1s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by gw90
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by gw90
Skipped
Skipped
Update Mathlib/Analysis/CStarAlgebra/GelfandNaimarkSegal.lean continuous integration #4: Commit 6b7a4f3 pushed by gw90
1s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
1s
Update Mathlib/Analysis/CStarAlgebra/GelfandNaimarkSegal.lean Run pre-commit and in-place update PR on push #4: Commit 6b7a4f3 pushed by gw90
28s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
28s
Update Mathlib/Analysis/CStarAlgebra/GelfandNaimarkSegal.lean continuous integration #3: Commit 69af275 pushed by gw90
10s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
10s
Update Mathlib/Analysis/CStarAlgebra/GelfandNaimarkSegal.lean Run pre-commit and in-place update PR on push #3: Commit 69af275 pushed by gw90
25s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
25s