Skip to content

Actions: naype888-cloud/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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. #3: completed by naype888-cloud
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #3: completed by naype888-cloud
10s
10s
Export workflow telemetry Export workflow telemetry #3: completed by naype888-cloud
6s
6s
Zulip emoji reconcile Zulip emoji reconcile #6: completed by naype888-cloud
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #5: requested by naype888-cloud
1s
1s
feat: finite path dimensional uncertainty chain continuous integration #3: Commit a1ea6a0 pushed by naype888-cloud
1s nava-robertson-closed-surface
nava-robertson-closed-surface
1s
feat: finite path dimensional uncertainty chain Run pre-commit and in-place update PR on push #3: Commit a1ea6a0 pushed by naype888-cloud
26s nava-robertson-closed-surface
nava-robertson-closed-surface
26s
Export workflow telemetry Export workflow telemetry #2: completed by naype888-cloud
8s
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by naype888-cloud
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #4: completed by naype888-cloud
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #2: completed by naype888-cloud
10s
10s
Zulip emoji reconcile Zulip emoji reconcile #3: requested by naype888-cloud
11s
11s
feat: finite path dimensional uncertainty chain continuous integration #2: Commit 3a4cd66 pushed by naype888-cloud
10s nava-robertson-closed-surface
nava-robertson-closed-surface
10s
feat: finite path dimensional uncertainty chain Run pre-commit and in-place update PR on push #2: Commit 3a4cd66 pushed by naype888-cloud
29s nava-robertson-closed-surface
nava-robertson-closed-surface
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by naype888-cloud
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #1: completed by naype888-cloud
1s
1s
Export workflow telemetry Export workflow telemetry #1: completed by naype888-cloud
10s
10s
Zulip emoji reconcile Zulip emoji reconcile #2: completed by naype888-cloud
2s
2s
Zulip emoji reconcile Zulip emoji reconcile #1: requested by naype888-cloud
2s
2s
feat: finite path dimensional uncertainty chain continuous integration #1: Commit c708fd0 pushed by naype888-cloud
1s nava-robertson-closed-surface
nava-robertson-closed-surface
1s
feat: finite path dimensional uncertainty chain Run pre-commit and in-place update PR on push #1: Commit c708fd0 pushed by naype888-cloud
43s nava-robertson-closed-surface
nava-robertson-closed-surface
43s