|
main |
main branch |
Error | 0% |
|
|
|
|
master |
master branch |
| 77% |
468 |
|
136 |
|
pre-release-10-3 |
pre-release-10-3 tag |
| 100% |
648 |
|
|
|
pullrequest-5812 |
PR 5812: Added PlutusTx.SortedMap |
| 100% |
533 |
|
|
|
pullrequest-5910 |
PR 5910: Add Delay type and use it |
| 98% |
531 |
8 |
|
|
pullrequest-6081 |
PR 6081: Renamed to ASTSize, changed to Maybe CoverageIndex |
| 99% |
536 |
4 |
|
|
pullrequest-6184 |
PR 6184: [DRAFT] Minimal example of PIR simplifier memory consumption bug |
Error | 99% |
537 |
4 |
|
|
pullrequest-6407 |
PR 6407: Add sprint-issues-rolloever.yml workflow |
| 100% |
685 |
|
|
|
pullrequest-6428 |
PR 6428: checking exported ledger types to have Arbitrary instances |
| 100% |
683 |
|
|
|
pullrequest-6442 |
PR 6442: Add a step for incrementing ledger package versions in the release process |
| 100% |
693 |
|
|
|
pullrequest-6527 |
PR 6527: Introduce hashScriptWithPrefix which produces the ScriptHash corresponding to a SerialisedScript |
| 100% |
683 |
|
|
|
pullrequest-6624 |
PR 6624: Add PlutusLedgerApi QuickCheck instances |
| 100% |
693 |
|
|
|
pullrequest-6667 |
PR 6667: [Benchmark] Include 'mkTermToEvaluate' in 'benchmark-decode' |
| 100% |
666 |
|
|
|
pullrequest-6668 |
PR 6668: chore(deps): bump slackapi/slack-github-action from 1.27.0 to 2.0.0 |
| 100% |
693 |
|
|
|
pullrequest-6674 |
PR 6674: Add tasty-papi benchmarking |
Error | 0% |
|
|
|
|
pullrequest-6754 |
PR 6754: Nothing |
- | 0% |
|
|
|
|
pullrequest-6769 |
PR 6769: More benchmarking experiments |
| 100% |
666 |
|
|
|
pullrequest-6783 |
PR 6783: Yet more benchmarking experiments |
| 100% |
666 |
|
|
|
pullrequest-6789 |
PR 6789: plutus exe doc: add some extra extensions |
| 100% |
666 |
|
|
|
pullrequest-6793 |
PR 6793: [AST] Add 'Fix' |
| 35% |
236 |
432 |
|
|
pullrequest-6797 |
PR 6797: Add flag to dump PIR ASTs for certifier |
| 98% |
656 |
12 |
|
|
pullrequest-6842 |
PR 6842: Effectfully/inline fix |
| 95% |
622 |
26 |
|
|
pullrequest-6843 |
PR 6843: Add SCCs to Profile PlutusTx Plugin Steps |
| 87% |
530 |
74 |
|
|
pullrequest-6875 |
PR 6875: pre-commit hooks: disable SH, enable fourmolu, remove disabled hooks. |
| 100% |
648 |
|
|
|
pullrequest-6894 |
PR 6894: filip(feat): apply new branding with regard to the new colouring/typography/logos discussed in branding guidelines |
| 100% |
651 |
|
|
|
pullrequest-6929 |
PR 6929: Costing for `caseList` and `caseData` |
| 100% |
573 |
|
|
|
pullrequest-6944 |
PR 6944: Revert "Ramsay t/translation efficiency 2 (#6746)" |
| 100% |
651 |
|
|
|
pullrequest-6947 |
PR 6947: [Evaluation] [Performance] Use the strict 'List' for 'Constr' |
| 24% |
141 |
430 |
|
|
pullrequest-6950 |
PR 6950: Costing of BuiltinArray functions |
| 100% |
604 |
|
|
|
pullrequest-6960 |
PR 6960: Replace tj-actions/changed-files with steo-security/changed-files in check-changelog.yml |
| 100% |
573 |
|
|
|
pullrequest-6963 |
PR 6963: reproduction: `Use of fromString @BuiltinByteStringHex with inscrutable content` |
| 98% |
567 |
6 |
|
|
pullrequest-6979 |
PR 6979: Add Project Code Coverage To CI |
| 96% |
584 |
21 |
|
|
pullrequest-6983 |
PR 6983: Make the certificate an Agda project |
| 97% |
586 |
17 |
|
|
pullrequest-7000 |
PR 7000: [Evaluation] Inline everything on the evaluation path |
| 100% |
604 |
|
|
|
pullrequest-7003 |
PR 7003: Release 1.43.1.0 (cherry-picks #7001) |
| 100% |
573 |
|
|
|
pullrequest-7008 |
PR 7008: Reduction semantics for Untyped Plutus. |
| 100% |
604 |
|
|
|
pullrequest-7010 |
PR 7010: [AST] [Performance] Use 'SmallArray' instead of 'Vector' |
| 87% |
530 |
74 |
|
|
pullrequest-7012 |
PR 7012: [AST] [Performance] Use 'Array' instead of 'Vector' |
| 87% |
530 |
74 |
|
|
pullrequest-7022 |
PR 7022: Inline: effect safety |
| 100% |
604 |
|
|
|
pullrequest-7026 |
PR 7026: Update ghc966 to ghc967 |
| 88% |
532 |
72 |
|
|
pullrequest-7029 |
PR 7029: [Builtins] Allow casing on booleans |
| 83% |
506 |
98 |
|
|
pullrequest-7034 |
PR 7034: Add certifier tests for UPLC simplifier test inputs |
| 100% |
612 |
|
|
|
pullrequest-7037 |
PR 7037: Drop Support for GHC 8.10 |
| 100% |
501 |
|
|
|
pullrequest-7038 |
PR 7038: Add goldenBudgetAndSize test function |
| 100% |
604 |
|
|
|
pullrequest-7039 |
PR 7039: [UPLC] [Optimization] Cancel delay-force pairs |
| 99% |
600 |
4 |
|
|
pullrequest-7042 |
PR 7042: [UPLC] [Optimization] Add force-ifThenElse-delay |
| 95% |
577 |
|
27 |
|
pullrequest-7043 |
PR 7043: Release 1.45.0.0 |
| 100% |
604 |
|
|
|
pullrequest-7045 |
PR 7045: builtin array conformance tests |
| 100% |
604 |
|
|
|
release-1-0-0 |
release/1.0.0 branch |
Error | 0% |
|
|
|
|
release-1-10-0-0 |
release/1.10.0.0 branch |
Error | 0% |
|
|
|
|
release-1-1-1-0 |
release/1.1.1.0 branch |
Error | 0% |
|
|
|
|
release-1-11-0-1 |
release/1.11.0.1 branch |
| 99% |
632 |
4 |
|
|
release-1-15-0 |
release/1.15.0 branch |
Error | 0% |
|
|
|
|
release-1-15-0-1 |
release/1.15.0.1 branch |
Error | 0% |
|
|
|
|
release-1-22-0-0 |
release/1.22.0.0 branch |
Error | 100% |
533 |
|
|
|
release-1-22-1-0 |
release/1.22.1.0 branch |
Error | 100% |
533 |
|
|
|
release-1-23-0-0 |
release/1.23.0.0 branch |
Error | 100% |
533 |
|
|
|
release-1-23-1-0 |
release/1.23.1.0 branch |
Error | 100% |
533 |
|
|
|
release-1-26-0-0 |
release/1.26.0.0 branch |
Error | 100% |
539 |
|
|
|
release-1-28-0-0 |
release/1.28.0.0 branch |
Error | 100% |
533 |
|
|
|
release-1-30-0-0 |
release 1.30.0.0 |
| 100% |
540 |
|
|
|
release-1-31-0-0 |
release 1.31.0.0 |
| 100% |
675 |
|
|
|
release-1-32 |
release/1.32 branch |
| 100% |
685 |
|
|
|
release-1-32-0-0 |
release 1.32.0.0 |
| 100% |
685 |
|
|
|
release-1-33-0-0 |
release/1.33.0.0 branch |
| 100% |
693 |
|
|
|
release-1-33-1-0 |
release/1.33.1.0 branch |
| 100% |
693 |
|
|
|
release-1-35-0-0 |
release/1.35.0.0 branch |
| 100% |
683 |
|
|
|
release-1-38-0-0 |
release/1.38.0.0 branch |
| 100% |
666 |
|
|
|
release-1-39-0-0 |
release/1.39.0.0 branch |
- | 0% |
|
|
|
|
release-1-40-0-0 |
release/1.40.0.0 branch |
Error | 100% |
666 |
|
|
|
release-1-41-0-0 |
release/1.41.0.0 branch |
Error | 0% |
|
|
|
|
release-1-41-1-0 |
release/1.41.1.0 branch |
| 100% |
648 |
|
|
|
release-1-42-0-0 |
release/1.42.0.0 branch |
Error | 100% |
651 |
|
|
|
release-1-43-0-0 |
release/1.43.0.0 branch |
Error | 100% |
573 |
|
|
|
release-1-43-1-0 |
release/1.43.1.0 branch |
| 99% |
570 |
3 |
|
|
release-1-44-0-0 |
release/1.44.0.0 branch |
Error | 100% |
604 |
|
|
|
release-1-45-0-0 |
release/1.45.0.0 branch |
| 100% |
604 |
|
|
|
release-1-5-0 |
release/1.5.0 branch |
Error | 0% |
|
|
|
|
release-1-5-0-0 |
release/1.5.0.0 branch |
Error | 0% |
|
|
|
|
release-1-6-0 |
release/1.6.0 branch |
Error | 0% |
|
|
|
|
release-1-6-1 |
release/1.6.1 branch |
Error | 0% |
|
|
|
|
release-1-7-0 |
release/1.7.0 branch |
Error | 0% |
|
|
|
|
release-1-9-0 |
release/1.9.0 branch |
Error | 0% |
|
|
|
|
release-99-99-99-99 |
release/99.99.99.99 branch |
| 100% |
666 |
|
|
|
release-node-1-34 |
release/node-1.34 branch |
Error | 0% |
|
|
|
|
v1-33-0-0 |
v1.33.0.0 tag |
Error | 100% |
693 |
|
|
|
v1-33-1-0 |
v1.33.1.0 tag |
Error | 100% |
693 |
|
|
|
pullrequest-5669 |
PR 5669: Implement dumping a compilation trace of the pir-pir pipeline for the Coq certifier |
- | 0% |
|
|
|
|
pullrequest-5705 |
PR 5705: Fix a broken link |
- | 0% |
|
|
|
|
pullrequest-5736 |
PR 5736: [Builtins] Add 'EvaluationResultT' |
- | 0% |
|
|
|
|
pullrequest-5840 |
PR 5840: Kwxm/costing/read model type from r |
- | 0% |
|
|
|
|
pullrequest-6067 |
PR 6067: Fix bug in add-triage-label.yml |
- | 0% |
|
|
|
|
pullrequest-6199 |
PR 6199: Fix combined_haddock.sh script |
- | 0% |
|
|
|
|
pullrequest-6238 |
PR 6238: Update github-action-benchmark version |
- | 0% |
|
|
|
|
pullrequest-6246 |
PR 6246: Publish papers and specs on push to master only |
- | 0% |
|
|
|
|
pullrequest-6259 |
PR 6259: Update slackapi/slack-github-action version -> v1.26.0 |
- | 0% |
|
|
|
|
pullrequest-6260 |
PR 6260: Improve messages in slack-message-broker.yml |
- | 0% |
|
|
|
|
pullrequest-6261 |
PR 6261: Fix error message in slack-message-broker.yml |
- | 0% |
|
|
|
|
pullrequest-6262 |
PR 6262: Fix another error in slack-message-broker.yml |
- | 0% |
|
|
|
|
pullrequest-6281 |
PR 6281: Remove ignore links from linkchecker step in combined-haddock.sh |
- | 0% |
|
|
|
|
pullrequest-6283 |
PR 6283: Add cabal update step in combined-haddock.sh |
- | 0% |
|
|
|
|
pullrequest-6295 |
PR 6295: Fix broken linkchecker workflows |
- | 0% |
|
|
|
|
pullrequest-6306 |
PR 6306: Fix the type names in defaultConfiguration.json |
- | 0% |
|
|
|
|
pullrequest-6321 |
PR 6321: Changed update CC thresholds to 51% |
- | 0% |
|
|
|
|
pullrequest-6379 |
PR 6379: Rebase verifies Compilation |
- | 0% |
|
|
|
|
pullrequest-6397 |
PR 6397: Kwxm/mlabs bitwise/fix nqueens conflicts |
- | 0% |
|
|
|
|
pullrequest-6500 |
PR 6500: Fix a broken link on the doc site |
- | 0% |
|
|
|
|
pullrequest-6503 |
PR 6503: Fix a broken doc link |
- | 0% |
|
|
|
|
pullrequest-6535 |
PR 6535: Add workflow_dispatch event to slack-message-broker.yml |
- | 0% |
|
|
|
|
pullrequest-6545 |
PR 6545: Remove extra cons character in slack-message-broker.yml |
- | 0% |
|
|
|
|
pullrequest-6573 |
PR 6573: Fix sender object getter in slack-message-broker.yml |
- | 0% |
|
|
|
|
pullrequest-6634 |
PR 6634: Fix array index access in slack-message-broker.yml |
- | 0% |
|
|
|
|
pullrequest-6658 |
PR 6658: Add option to pass the CAPABILITY_NUM to manual-benchmarl.yml workflow |
- | 0% |
|
|
|
|
pullrequest-6664 |
PR 6664: Fix bug in regex in manual-benchmark.yml |
- | 0% |
|
|
|
|
pullrequest-6698 |
PR 6698: Certifier logging |
- | 0% |
|
|
|
|
pullrequest-6747 |
PR 6747: Release Process |
- | 0% |
|
|
|
|
pullrequest-6756 |
PR 6756: Release 99.99.99.99 |
- | 0% |
|
|
|
|
pullrequest-6834 |
PR 6834: Fix interactive-release.sh script: do not use worktree for the Plutus PR |
- | 0% |
|
|
|
|
pullrequest-6836 |
PR 6836: Fix version replacement snippet in scripts/interactive-release.sh |
- | 0% |
|
|
|
|
pullrequest-6898 |
PR 6898: Add github-cli to nix shell |
- | 0% |
|
|
|
|
pullrequest-6899 |
PR 6899: Fix snippet that changes version number in interactive-release.sh |
- | 0% |
|
|
|
|
pullrequest-6901 |
PR 6901: Fix snippet that changes version number in interactive-release.sh |
- | 0% |
|
|
|
|
pullrequest-6905 |
PR 6905: Fix static exec build snippet in interactive-release.sh |
- | 0% |
|
|
|
|
pullrequest-6925 |
PR 6925: Update specification of `expModInteger` |
- | 0% |
|
|
|
|
pullrequest-6973 |
PR 6973: Fix empty-space bug in manual-benchmark.yml |
- | 0% |
|
|
|
|
pullrequest-6998 |
PR 6998: Don't run cabal-build workflow on PRs |
- | 0% |
|
|
|
|
pullrequest-7009 |
PR 7009: Introduce new Agda FFI types |
| 95% |
574 |
29 |
|
|
pullrequest-7014 |
PR 7014: `PlutusTx.Eq` instance for `ScriptPurpose` |
| 100% |
604 |
|
|
|
pullrequest-7023 |
PR 7023: Explain lifting in the user guide |
| 100% |
604 |
|
|
|
pullrequest-7025 |
PR 7025: Conformance tests for `dropList` |
| 100% |
604 |
|
|
|
pullrequest-7027 |
PR 7027: Explain compile-time evaluation in the user guide |
| 100% |
604 |
|
|
|
pullrequest-7028 |
PR 7028: UPLC Term construction functions for testing |
| 100% |
604 |
|
|
|
pullrequest-7030 |
PR 7030: [UPLC] [Optimization] Push 'force' into 'case' of 'delay's |
| 99% |
598 |
6 |
|
|
pullrequest-7031 |
PR 7031: Add PlutusTx.BuiltinList module |
| 100% |
604 |
|
|
|
pullrequest-7032 |
PR 7032: Fix bug in builtin decidable equality |
| 100% |
604 |
|
|
|
pullrequest-7033 |
PR 7033: Specification of dropList |
| 100% |
604 |
|
|
|
pullrequest-7035 |
PR 7035: fix: error message for the `listToArray` builtin meaning. |
| 100% |
604 |
|
|
|
pullrequest-7036 |
PR 7036: Replace broken link in CONTRIBUTING.adoc |
| 100% |
604 |
|
|
|
pullrequest-7040 |
PR 7040: [UPLC] [Optimization] Make case-of-case clutter the output less |
- | 0% |
|
|
|
|
pullrequest-7044 |
PR 7044: refactor: apply fourmolu to plutus-conformance |
| 100% |
604 |
|
|
|
pullrequest-7046 |
PR 7046: [UPLC] [Optimization] Add proper case-of-case |
| 100% |
604 |
|
|