Skip to content

Actions: IntersectMBO/plutus

Actions

🏷️ Changelog Label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
changelog-label.yml
3,640 workflow runs
3,640 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate a destructor function from AsData 🏷️ Changelog Label #5630: Pull request #7664 opened by zliu41
1m 13s zliu41/asdata-destructor
zliu41/asdata-destructor
1m 13s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5629: Pull request #7662 synchronize by Unisay
1h 17m 20s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
1h 17m 20s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5628: Pull request #7662 synchronize by Unisay
1h 23m 8s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
1h 23m 8s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5627: Pull request #7662 synchronize by Unisay
1h 41m 54s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
1h 41m 54s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5626: Pull request #7662 synchronize by Unisay
1h 58m 54s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
1h 58m 54s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5625: Pull request #7662 synchronize by Unisay
32s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
32s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5624: Pull request #7662 synchronize by Unisay
29s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
29s
Add budget consistency test (VariantC, 55 builtins) 🏷️ Changelog Label #5623: Pull request #7663 synchronize by Unisay
31s yura/budget-consistency-experiment
yura/budget-consistency-experiment
31s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5622: Pull request #7662 synchronize by Unisay
35s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
35s
Add budget consistency test (VariantC, 55 builtins) 🏷️ Changelog Label #5621: Pull request #7663 opened by Unisay
27s yura/budget-consistency-experiment
yura/budget-consistency-experiment
27s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5620: Pull request #7662 synchronize by Unisay
1m 25s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
1m 25s
Remove Generic-based Flat derivation machinery 🏷️ Changelog Label #5619: Pull request #7662 opened by Unisay
26s yura/issue-7542-remove-dead-flat-code
yura/issue-7542-remove-dead-flat-code
26s
Plinth: improve error reporting for unsupported Haskell features 🏷️ Changelog Label #5618: Pull request #7659 synchronize by zliu41
29s zliu41/unsupported
zliu41/unsupported
29s
Fix ApplyToCase optimization 🏷️ Changelog Label #5617: Pull request #7661 labeled by zliu41
28s zliu41/applycase
zliu41/applycase
28s
Fix ApplyToCase optimization 🏷️ Changelog Label #5616: Pull request #7661 opened by zliu41
26s zliu41/applycase
zliu41/applycase
26s
Plinth: improve error reporting for unsupported Haskell features 🏷️ Changelog Label #5615: Pull request #7659 synchronize by zliu41
28s zliu41/unsupported
zliu41/unsupported
28s
Plinth: improve error reporting for unsupported Haskell features 🏷️ Changelog Label #5614: Pull request #7659 synchronize by zliu41
28s zliu41/unsupported
zliu41/unsupported
28s
Add Agda certifier integration with source location tracking 🏷️ Changelog Label #5613: Pull request #7660 synchronize by zeme-wana
28s agda-certifier
agda-certifier
28s
Add Agda certifier integration with source location tracking 🏷️ Changelog Label #5612: Pull request #7660 opened by zeme-wana
28s agda-certifier
agda-certifier
28s
Plinth: improve error reporting for unsupported Haskell features 🏷️ Changelog Label #5611: Pull request #7659 synchronize by zliu41
27s zliu41/unsupported
zliu41/unsupported
27s
Plinth: improve error reporting for unsupported Haskell features 🏷️ Changelog Label #5610: Pull request #7659 opened by zliu41
27s zliu41/unsupported
zliu41/unsupported
27s
UPLC optimization pass: ApplyToCase 🏷️ Changelog Label #5609: Pull request #7656 synchronize by zliu41
25s zliu41/apply2case
zliu41/apply2case
25s
UPLC optimization pass: ApplyToCase 🏷️ Changelog Label #5608: Pull request #7656 synchronize by zliu41
27s zliu41/apply2case
zliu41/apply2case
27s
UPLC optimization pass: ApplyToCase 🏷️ Changelog Label #5607: Pull request #7656 synchronize by zliu41
3m 47s zliu41/apply2case
zliu41/apply2case
3m 47s
perf(linear-vesting): optimize validator with raw BI.* data extraction 🏷️ Changelog Label #5606: Pull request #7658 synchronize by Unisay
25s yura/linear-vesting-optimized
yura/linear-vesting-optimized
25s