Skip to content

Actions: gw90/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 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. #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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by gw90
Skipped
Skipped
shortened Completion.induction_on to induction_on Run pre-commit and in-place update PR on push #2: Commit eb3583d pushed by gw90
22s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
22s
shortened Completion.induction_on to induction_on continuous integration #2: Commit eb3583d 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. #1: completed by gw90
1s
1s
minor edits to GNS construction files continuous integration #1: Commit 5682c65 pushed by gw90
1s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
1s
minor edits to GNS construction files Run pre-commit and in-place update PR on push #1: Commit 5682c65 pushed by gw90
30s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
30s
minor edits to GNS construction files Autolabel PRs #1: Commit 5682c65 pushed by gw90
2s gw90/GNS-Construction-edits
gw90/GNS-Construction-edits
2s