Skip to content

Actions: leanprover-community/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
Update Mathlib Dependencies Update Mathlib Dependencies #19054: Scheduled
1m 19s master
master
1m 19s
Export workflow telemetry Export workflow telemetry #69794: completed by WenrongZou
9s
9s
Declarations diff (post-build) Declarations diff (post-build) #24155: completed by WenrongZou
55s
55s
Zulip emoji reconcile Zulip emoji reconcile #23275: completed by WenrongZou
Pending
Pending
Zulip emoji reconcile Zulip emoji reconcile #23274: completed by kim-em
5s
5s
Declarations diff (post-build) Declarations diff (post-build) #24154: completed by kim-em
1s
1s
Export workflow telemetry Export workflow telemetry #69793: completed by kim-em
6s
6s
Export workflow telemetry Export workflow telemetry #69792: completed by elazarg
6s
6s
Declarations diff (post-build) Declarations diff (post-build) #24153: completed by elazarg
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #23273: completed by elazarg
2m 25s
2m 25s
Commit Verification (workflow_run) Commit Verification (workflow_run) #41565: completed by elazarg
9s
9s
Zulip emoji reconcile Zulip emoji reconcile #23272: requested by elazarg
2m 7s
2m 7s
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence lint and suggest #203499: Pull request #43104 synchronize by elazarg
1m 50s elazarg:feat/finite-kl-divergence
elazarg:feat/finite-kl-divergence
1m 50s
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence Run pre-commit and in-place update PR on push #93316: Pull request #43104 synchronize by elazarg
24s elazarg:feat/finite-kl-divergence
elazarg:feat/finite-kl-divergence
24s
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence Commit Verification #62570: Pull request #43104 synchronize by elazarg
44s elazarg:feat/finite-kl-divergence
elazarg:feat/finite-kl-divergence
44s
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence continuous integration (mathlib forks) #324366: Pull request #43104 synchronize by elazarg
In progress
In progress
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence Post PR summary comment #180539: Pull request #43104 synchronize by elazarg
1m 15s
1m 15s
Zulip emoji reconcile Zulip emoji reconcile #23271: Scheduled
In progress master
master
In progress
Commit Verification (workflow_run) Commit Verification (workflow_run) #41564: completed by elazarg
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #41563: completed by BryceT233
6s
6s
Zulip emoji reconcile Zulip emoji reconcile #23270: requested by elazarg
19s
19s
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence Commit Verification #62569: Pull request #43104 synchronize by elazarg
42s elazarg:feat/finite-kl-divergence
elazarg:feat/finite-kl-divergence
42s
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence Run pre-commit and in-place update PR on push #93315: Pull request #43104 synchronize by elazarg
27s elazarg:feat/finite-kl-divergence
elazarg:feat/finite-kl-divergence
27s
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence lint and suggest #203498: Pull request #43104 synchronize by elazarg
1m 45s elazarg:feat/finite-kl-divergence
elazarg:feat/finite-kl-divergence
1m 45s
feat(InformationTheory/KullbackLeibler): finite Kullback-Leibler divergence continuous integration (mathlib forks) #324365: Pull request #43104 synchronize by elazarg
4m 56s
4m 56s