Skip to content

Actions: leanprover/verso-blueprint

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
feat: distinguish original-source identities Backport Discipline #1976: Pull request #353 ready_for_review by ejgallego
11s
11s
feat: distinguish original-source identities Backport Discipline #1975: Pull request #353 edited by ejgallego
9s
9s
[backport v4.33.0] feat: distinguish original-source identities Backport Discipline #1974: Pull request #442 opened by ejgallego
7s
7s
[backport v4.33.0] feat: distinguish original-source identities Reference Blueprints #1723: Pull request #442 opened by ejgallego
13m 27s feat/backport-v433-source-reference-identity
feat/backport-v433-source-reference-identity
13m 27s
[backport v4.33.0] feat: distinguish original-source identities CI #1720: Pull request #442 opened by ejgallego
6m 12s feat/backport-v433-source-reference-identity
feat/backport-v433-source-reference-identity
6m 12s
feat: distinguish original-source identities CI #1719: Pull request #353 synchronize by ejgallego
6m 30s feat/source-reference-identity
feat/source-reference-identity
6m 30s
feat: distinguish original-source identities Reference Blueprints #1722: Pull request #353 synchronize by ejgallego
22m 27s feat/source-reference-identity
feat/source-reference-identity
22m 27s
feat: distinguish original-source identities Backport Discipline #1973: Pull request #353 synchronize by ejgallego
9s
9s
feat: distinguish original-source identities Backport Discipline #1972: Pull request #353 edited by ejgallego
9s
9s
feat: distinguish original-source identities Backport Discipline #1971: Pull request #353 converted_to_draft by ejgallego
15s
15s
Reference Blueprints Deploy Reference Blueprints Deploy #567: completed by ejgallego
24m 26s
24m 26s
Reference Blueprints Deploy Reference Blueprints Deploy #566: completed by ejgallego
1m 37s
1m 37s
Merge pull request #441 from leanprover/perf/backport-v433-compact-ge… Reference Blueprints #1721: Commit 9a720bb pushed by ejgallego
20m 22s v4.33.0
v4.33.0
20m 22s
Merge pull request #441 from leanprover/perf/backport-v433-compact-ge… CI #1718: Commit 9a720bb pushed by ejgallego
7m 49s v4.33.0
v4.33.0
7m 49s
Merge pull request #440 from leanprover/perf/compact-generated-payloa… Reference Blueprints #1720: Commit ca62602 pushed by ejgallego
19m 25s v4.34.0
v4.34.0
19m 25s
Merge pull request #440 from leanprover/perf/compact-generated-payloa… CI #1717: Commit ca62602 pushed by ejgallego
9m 8s v4.34.0
v4.34.0
9m 8s
perf: compact generated Blueprint payloads Backport Discipline #1970: Pull request #440 ready_for_review by ejgallego
7s
7s
perf: compact generated Blueprint payloads Backport Discipline #1969: Pull request #440 edited by ejgallego
8s
8s
[backport v4.33.0] perf: compact generated Blueprint payloads Backport Discipline #1968: Pull request #441 opened by ejgallego
9s
9s
[backport v4.33.0] perf: compact generated Blueprint payloads CI #1716: Pull request #441 opened by ejgallego
7m 15s perf/backport-v433-compact-generated-payloads-v434
perf/backport-v433-compact-generated-payloads-v434
7m 15s
[backport v4.33.0] perf: compact generated Blueprint payloads Reference Blueprints #1719: Pull request #441 opened by ejgallego
18m 54s perf/backport-v433-compact-generated-payloads-v434
perf/backport-v433-compact-generated-payloads-v434
18m 54s
perf: compact generated Blueprint payloads CI #1715: Pull request #440 opened by ejgallego
7m 52s perf/compact-generated-payloads-v434
perf/compact-generated-payloads-v434
7m 52s
perf: compact generated Blueprint payloads Reference Blueprints #1718: Pull request #440 opened by ejgallego
23m 59s perf/compact-generated-payloads-v434
perf/compact-generated-payloads-v434
23m 59s
perf: compact generated Blueprint payloads Backport Discipline #1967: Pull request #440 opened by ejgallego
7s
7s
Reference Blueprints Deploy Reference Blueprints Deploy #565: completed by ejgallego
20m 14s
20m 14s