Skip to content

Actions: ryanncode/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 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. #6: completed by ryanncode
1s
1s
Export workflow telemetry Export workflow telemetry #6: completed by ryanncode
1s
1s
Zulip emoji CI status Zulip emoji CI status #12: completed by ryanncode
1s
1s
Zulip emoji CI status Zulip emoji CI status #11: requested by ryanncode
Skipped
Skipped
update imports continuous integration #6: Commit 2e2209e pushed by ryanncode
1s indefinite-metric
indefinite-metric
1s
update imports Run pre-commit and in-place update PR on push #6: Commit 2e2209e pushed by ryanncode
25s indefinite-metric
indefinite-metric
25s
Export workflow telemetry Export workflow telemetry #5: completed by ryanncode
1s
1s
Zulip emoji CI status Zulip emoji CI status #10: completed by ryanncode
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by ryanncode
1s
1s
Zulip emoji CI status Zulip emoji CI status #9: requested by ryanncode
1s
1s
feat(LinearAlgebra/BilinearForm): add indefinite metrics continuous integration #5: Commit 35cff9d pushed by ryanncode
1s indefinite-metric
indefinite-metric
1s
feat(LinearAlgebra/BilinearForm): add indefinite metrics Run pre-commit and in-place update PR on push #5: Commit 35cff9d pushed by ryanncode
24s indefinite-metric
indefinite-metric
24s
Zulip emoji CI status Zulip emoji CI status #8: completed by ryanncode
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by ryanncode
1s
1s
Export workflow telemetry Export workflow telemetry #4: completed by ryanncode
1s
1s
Zulip emoji CI status Zulip emoji CI status #7: requested by ryanncode
1s
1s
feat(LinearAlgebra/BilinearForm): add indefinite metrics Run pre-commit and in-place update PR on push #4: Commit 8783e1f pushed by ryanncode
32s indefinite-metric
indefinite-metric
32s
feat(LinearAlgebra/BilinearForm): add indefinite metrics continuous integration #4: Commit 8783e1f pushed by ryanncode
1s indefinite-metric
indefinite-metric
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by ryanncode
1s
1s
Zulip emoji CI status Zulip emoji CI status #6: completed by ryanncode
Skipped
Skipped
Export workflow telemetry Export workflow telemetry #3: completed by ryanncode
Skipped
Skipped
Zulip emoji CI status Zulip emoji CI status #5: requested by ryanncode
1s
1s
Resolve import conflict again continuous integration #3: Commit 53d79f1 pushed by ryanncode
1s indefinite-metric
indefinite-metric
1s
Resolve import conflict again Run pre-commit and in-place update PR on push #3: Commit 53d79f1 pushed by ryanncode
30s indefinite-metric
indefinite-metric
30s
Export workflow telemetry Export workflow telemetry #2: completed by ryanncode
1s
1s