Skip to content

Actions: BlockstreamResearch/SimplicityHL

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
788 workflow runs
788 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
Add multi-error support to is_consistent and print colored errors in main.rs Continuous integration #758: Pull request #378 synchronize by LesterEvSe
11m 14s LesterEvSe:feat/ast-multierrors
LesterEvSe:feat/ast-multierrors
11m 14s
Add multi-error support to is_consistent and print colored errors in main.rs Continuous integration #757: Pull request #378 opened by LesterEvSe
8m 54s LesterEvSe:feat/ast-multierrors
LesterEvSe:feat/ast-multierrors
8m 54s
Enums Continuous integration #756: Pull request #376 synchronize by KyrylR
9m 9s feat/enum-sum-types
feat/enum-sum-types
9m 9s
Enums Continuous integration #755: Pull request #376 synchronize by KyrylR
9m 49s feat/enum-sum-types
feat/enum-sum-types
9m 49s
Merge BlockstreamResearch/SimplicityHL#371: feat(witness): resolve fi… Continuous integration #754: Commit bf2fd43 pushed by LesterEvSe
10m 12s master
master
10m 12s
Enums Continuous integration #753: Pull request #376 synchronize by KyrylR
10m 52s feat/enum-sum-types
feat/enum-sum-types
10m 52s
feat(witness): resolve file values against program-declared types Continuous integration #752: Pull request #371 synchronize by KyrylR
8m 47s feat/typed-witness-boundary
feat/typed-witness-boundary
8m 47s
Enums Continuous integration #751: Pull request #376 synchronize by KyrylR
11m 8s feat/enum-sum-types
feat/enum-sum-types
11m 8s
feat(witness): resolve file values against program-declared types Continuous integration #750: Pull request #371 synchronize by KyrylR
10m 59s feat/typed-witness-boundary
feat/typed-witness-boundary
10m 59s
feat(witness): resolve file values against program-declared types Continuous integration #749: Pull request #371 synchronize by KyrylR
11m 3s feat/typed-witness-boundary
feat/typed-witness-boundary
11m 3s
feat(witness): resolve file values against program-declared types Continuous integration #748: Pull request #371 synchronize by KyrylR
10m 54s feat/typed-witness-boundary
feat/typed-witness-boundary
10m 54s
Enums Continuous integration #747: Pull request #376 synchronize by KyrylR
13m 58s feat/enum-sum-types
feat/enum-sum-types
13m 58s
feat(witness): resolve file values against program-declared types Continuous integration #746: Pull request #371 synchronize by KyrylR
2m 41s feat/typed-witness-boundary
feat/typed-witness-boundary
2m 41s
Enums Continuous integration #745: Pull request #376 synchronize by KyrylR
11m 42s feat/enum-sum-types
feat/enum-sum-types
11m 42s
feat(witness): resolve file values against program-declared types Continuous integration #744: Pull request #371 synchronize by KyrylR
5m 11s feat/typed-witness-boundary
feat/typed-witness-boundary
5m 11s
feat(witness): resolve file values against program-declared types Continuous integration #743: Pull request #371 synchronize by KyrylR
5m 23s feat/typed-witness-boundary
feat/typed-witness-boundary
5m 23s
Enums Continuous integration #742: Pull request #376 opened by KyrylR
12m 37s feat/enum-sum-types
feat/enum-sum-types
12m 37s
feat(witness): resolve file values against program-declared types Continuous integration #741: Pull request #371 synchronize by KyrylR
5m 24s feat/typed-witness-boundary
feat/typed-witness-boundary
5m 24s
feat(witness): resolve file values against program-declared types Continuous integration #740: Pull request #371 synchronize by KyrylR
2m 17s feat/typed-witness-boundary
feat/typed-witness-boundary
2m 17s
Merge BlockstreamResearch/SimplicityHL#370: Migrate error rendering t… Continuous integration #739: Commit f62adf1 pushed by LesterEvSe
10m 40s master
master
10m 40s
Migrate error rendering to ariadne Continuous integration #738: Pull request #370 synchronize by LesterEvSe
9m 50s LesterEvSe:feat/ariadne-diagnostic
LesterEvSe:feat/ariadne-diagnostic
9m 50s
Extend lexer for SimplicityHL formatter Continuous integration #737: Pull request #372 synchronize by ikripaka
11m 26s ikripaka:feat/fmt-parser
ikripaka:feat/fmt-parser
11m 26s
Migrate error rendering to ariadne Continuous integration #736: Pull request #370 synchronize by LesterEvSe
9m 55s LesterEvSe:feat/ariadne-diagnostic
LesterEvSe:feat/ariadne-diagnostic
9m 55s
Add a target option for simc Continuous integration #735: Pull request #364 synchronize by ivanlele
11m 38s ivanlele:feature/target-cli-option
ivanlele:feature/target-cli-option
11m 38s
Migrate error rendering to ariadne Continuous integration #734: Pull request #370 synchronize by LesterEvSe
8m 29s LesterEvSe:feat/ariadne-diagnostic
LesterEvSe:feat/ariadne-diagnostic
8m 29s