Skip to content

Actions: gw90/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 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. #20: completed by gw90
1s
1s
fixing my fix continuous integration #20: Commit 93894ff pushed by gw90
2s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
2s
fixing my fix Run pre-commit and in-place update PR on push #20: Commit 93894ff pushed by gw90
26s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #19: completed by gw90
2s
2s
basis_iff -> iff_basis continuous integration #19: Commit 5920f3b pushed by gw90
2s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
2s
basis_iff -> iff_basis Run pre-commit and in-place update PR on push #19: Commit 5920f3b pushed by gw90
27s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #18: completed by gw90
3s
3s
making parameters implicit continuous integration #18: Commit f254ec1 pushed by gw90
2s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
2s
making parameters implicit Run pre-commit and in-place update PR on push #18: Commit f254ec1 pushed by gw90
28s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #17: completed by gw90
2s
2s
adding lemmas to earlier files as suggested by @themathqueen continuous integration #17: Commit d5b870d pushed by gw90
2s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
2s
adding lemmas to earlier files as suggested by @themathqueen Run pre-commit and in-place update PR on push #17: Commit d5b870d pushed by gw90
29s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16: completed by gw90
2s
2s
further edits for concision Run pre-commit and in-place update PR on push #16: Commit 72bc380 pushed by gw90
23s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
23s
further edits for concision continuous integration #16: Commit 72bc380 pushed by gw90
2s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #15: completed by gw90
2s
2s
fixed errors from github commit continuous integration #15: Commit 2b5d7a2 pushed by gw90
2s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
2s
fixed errors from github commit Run pre-commit and in-place update PR on push #15: Commit 2b5d7a2 pushed by gw90
27s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #14: completed by gw90
1s
1s
Apply suggestions from code review continuous integration #14: Commit 7588306 pushed by gw90
2s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
2s
Apply suggestions from code review Run pre-commit and in-place update PR on push #14: Commit 7588306 pushed by gw90
27s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #13: completed by gw90
1s
1s
flipping lemmas and adding [simp], edits from @themathqueen continuous integration #13: Commit 5c549c6 pushed by gw90
1s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
1s
flipping lemmas and adding [simp], edits from @themathqueen Run pre-commit and in-place update PR on push #13: Commit 5c549c6 pushed by gw90
26s gw90/bilin-matrix-lemmas-1
gw90/bilin-matrix-lemmas-1
26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #12: completed by gw90
1s
1s