Skip to content

Actions: leanprover/verso-blueprint

Actions

Reference Blueprints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reference-blueprints.yml
1,729 workflow runs
1,729 workflow runs

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
refactor: migrate Verso Blueprint to the module system Reference Blueprints #1729: Pull request #443 synchronize by ejgallego
16m 13s refactor/module-system-v434
refactor/module-system-v434
16m 13s
refactor: migrate Verso Blueprint to the module system Reference Blueprints #1728: Pull request #443 synchronize by ejgallego
17m 25s refactor/module-system-v434
refactor/module-system-v434
17m 25s
refactor: migrate Verso Blueprint to the module system Reference Blueprints #1727: Pull request #443 synchronize by ejgallego
16m 13s refactor/module-system-v434
refactor/module-system-v434
16m 13s
refactor: migrate Verso Blueprint to the module system Reference Blueprints #1726: Pull request #443 synchronize by ejgallego
22m 39s refactor/module-system-v434
refactor/module-system-v434
22m 39s
refactor: migrate Verso Blueprint to the module system Reference Blueprints #1725: Pull request #443 synchronize by ejgallego
30m 38s refactor/module-system-v434
refactor/module-system-v434
30m 38s
refactor: migrate Verso Blueprint to the module system Reference Blueprints #1724: Pull request #443 opened by ejgallego
22m 41s refactor/module-system-v434
refactor/module-system-v434
22m 41s
[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
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
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 #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
[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 Reference Blueprints #1718: Pull request #440 opened by ejgallego
23m 59s perf/compact-generated-payloads-v434
perf/compact-generated-payloads-v434
23m 59s
Merge pull request #436 from leanprover/refactor/backport-v433-vbp-ex… Reference Blueprints #1717: Commit 01d6728 pushed by ejgallego
20m 20s v4.33.0
v4.33.0
20m 20s
Merge pull request #435 from leanprover/refactor/vbp-executor-cleanup Reference Blueprints #1716: Commit fb3fea8 pushed by ejgallego
29m 24s v4.34.0
v4.34.0
29m 24s
Merge pull request #437 from leanprover/chore/lean-4-34-rc2 Reference Blueprints #1715: Commit 6638aa8 pushed by ejgallego
21m 27s v4.34.0
v4.34.0
21m 27s
Merge pull request #439 from leanprover/chore/backport-v433-final-ref… Reference Blueprints #1714: Commit 133c6cc pushed by ejgallego
17m 3s v4.33.0
v4.33.0
17m 3s
[backport v4.33.0] chore: update release Pages targets Reference Blueprints #1713: Pull request #439 synchronize by ejgallego
13m 39s chore/backport-v433-final-reference-revisions
chore/backport-v433-final-reference-revisions
13m 39s
chore: update release Pages targets Reference Blueprints #1712: Pull request #437 synchronize by ejgallego
20m 45s chore/lean-4-34-rc2
chore/lean-4-34-rc2
20m 45s
[backport v4.33.0] chore: update release Pages targets Reference Blueprints #1711: Pull request #439 opened by ejgallego
20m 18s chore/backport-v433-final-reference-revisions
chore/backport-v433-final-reference-revisions
20m 18s
chore: update release Pages targets Reference Blueprints #1710: Pull request #437 synchronize by ejgallego
24m 14s chore/lean-4-34-rc2
chore/lean-4-34-rc2
24m 14s
[backport v4.33.0] refactor: simplify VBP generator execution Reference Blueprints #1709: Pull request #436 synchronize by ejgallego
30m 39s refactor/backport-v433-vbp-executor-cleanup
refactor/backport-v433-vbp-executor-cleanup
30m 39s
refactor: simplify VBP generator execution Reference Blueprints #1708: Pull request #435 synchronize by ejgallego
8m 48s refactor/vbp-executor-cleanup
refactor/vbp-executor-cleanup
8m 48s
Merge pull request #438 from leanprover/chore/backport-v433-lean-4-34… Reference Blueprints #1707: Commit d86b460 pushed by ejgallego
22m 53s v4.33.0
v4.33.0
22m 53s
[backport v4.33.0] refactor: simplify VBP generator execution Reference Blueprints #1706: Pull request #436 synchronize by ejgallego
22m 38s refactor/backport-v433-vbp-executor-cleanup
refactor/backport-v433-vbp-executor-cleanup
22m 38s
refactor: simplify VBP generator execution Reference Blueprints #1705: Pull request #435 synchronize by ejgallego
4m 56s refactor/vbp-executor-cleanup
refactor/vbp-executor-cleanup
4m 56s