Skip to content

Actions: Deep0Thinking/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Zulip emoji CI status Zulip emoji CI status #94: completed by Deep0Thinking
1s
1s
Export workflow telemetry Export workflow telemetry #82: completed by Deep0Thinking
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #108: completed by Deep0Thinking
8s
8s
Zulip emoji CI status Zulip emoji CI status #93: requested by Deep0Thinking
7s
7s
chore(Analysis/SpecialFunctions/FrullaniIntegral): fix linter warning continuous integration #107: Commit 4cee9c6 pushed by Deep0Thinking
1s Frullani_integral
Frullani_integral
1s
chore(Analysis/SpecialFunctions/FrullaniIntegral): fix linter warning Run pre-commit and in-place update PR on push #105: Commit 4cee9c6 pushed by Deep0Thinking
22s Frullani_integral
Frullani_integral
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #107: completed by Deep0Thinking
1s
1s
Zulip emoji CI status Zulip emoji CI status #92: completed by Deep0Thinking
1s
1s
Export workflow telemetry Export workflow telemetry #81: completed by Deep0Thinking
2s
2s
Zulip emoji CI status Zulip emoji CI status #91: requested by Deep0Thinking
2s
2s
Merge branch 'master' into Frullani_integral continuous integration #106: Commit 66d1ce1 pushed by Deep0Thinking
9s Frullani_integral
Frullani_integral
9s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #104: Commit 66d1ce1 pushed by Deep0Thinking
28s Frullani_integral
Frullani_integral
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #106: completed by Deep0Thinking
1s
1s
Zulip emoji CI status Zulip emoji CI status #90: completed by Deep0Thinking
1s
1s
Export workflow telemetry Export workflow telemetry #80: completed by Deep0Thinking
1s
1s
Zulip emoji CI status Zulip emoji CI status #89: requested by Deep0Thinking
7s
7s
style(Analysis/SpecialFunctions): golf and fix authorship continuous integration #105: Commit f58e0a8 pushed by Deep0Thinking
1s Frullani_integral
Frullani_integral
1s
style(Analysis/SpecialFunctions): golf and fix authorship Run pre-commit and in-place update PR on push #103: Commit f58e0a8 pushed by Deep0Thinking
30s Frullani_integral
Frullani_integral
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105: completed by Deep0Thinking
1s
1s
Export workflow telemetry Export workflow telemetry #79: completed by Deep0Thinking
1s
1s
Zulip emoji CI status Zulip emoji CI status #88: completed by Deep0Thinking
2s
2s
Zulip emoji CI status Zulip emoji CI status #87: requested by Deep0Thinking
2s
2s
style(Analysis/SpecialFunctions/FrullaniIntegral): tiny clean up continuous integration #104: Commit c85e85f pushed by Deep0Thinking
7s Frullani_integral
Frullani_integral
7s
style(Analysis/SpecialFunctions/FrullaniIntegral): tiny clean up Run pre-commit and in-place update PR on push #102: Commit c85e85f pushed by Deep0Thinking
29s Frullani_integral
Frullani_integral
29s
Zulip emoji CI status Zulip emoji CI status #86: completed by Deep0Thinking
Skipped
Skipped