Skip to content

Actions: jjdishere/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
Merge conflicts Merge conflicts #24669: Scheduled
11s master
master
11s
Zulip emoji reconcile Zulip emoji reconcile #595: Scheduled
1s master
master
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #868: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #24668: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #594: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #24667: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #593: Scheduled
8s master
master
8s
Daily master tag Daily master tag #175: Scheduled
1s master
master
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #867: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #24666: Scheduled
2s master
master
2s
Zulip emoji reconcile Zulip emoji reconcile #592: Scheduled
10s master
master
10s
Declarations diff (post-build) Declarations diff (post-build) #113: completed by jjdishere
1s
1s
Export workflow telemetry Export workflow telemetry #239: completed by jjdishere
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #591: completed by jjdishere
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #590: requested by jjdishere
1s
1s
Address all comments continuous integration #476: Commit 0d8ae89 pushed by jjdishere
1s jiedong_jiang_refactor_valuative_2_intro_methods
jiedong_jiang_refactor_valuative_2_intro_methods
1s
Address all comments Run pre-commit and in-place update PR on push #330: Commit 0d8ae89 pushed by jjdishere
28s jiedong_jiang_refactor_valuative_2_intro_methods
jiedong_jiang_refactor_valuative_2_intro_methods
28s
Lake cache shadow (master) Lake cache shadow (master) #95: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #24665: Scheduled
10s master
master
10s
Export workflow telemetry Export workflow telemetry #238: completed by jjdishere
2s
2s
Zulip emoji reconcile Zulip emoji reconcile #589: completed by jjdishere
2s
2s
Declarations diff (post-build) Declarations diff (post-build) #112: completed by jjdishere
9s
9s
Zulip emoji reconcile Zulip emoji reconcile #588: requested by jjdishere
1s
1s
resolve conflict continuous integration #475: Commit f7a19d3 pushed by jjdishere
2s jiedong_jiang_normed_valued
jiedong_jiang_normed_valued
2s
resolve conflict Run pre-commit and in-place update PR on push #329: Commit f7a19d3 pushed by jjdishere
29s jiedong_jiang_normed_valued
jiedong_jiang_normed_valued
29s