Skip to content

Actions: BlockstreamResearch/SimplicityHL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
572 workflow runs
572 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: CRLF newline handling and error span rendering Verify signed commits #87: Pull request #262 opened by metalurgical
Action required metalurgical:fix_issue_260
metalurgical:fix_issue_260
Action required
fix: CRLF newline handling and error span rendering Continuous integration #331: Pull request #262 opened by metalurgical
Action required metalurgical:fix_issue_260
metalurgical:fix_issue_260
Action required
feat: update LSP to use new chumsky parser Continuous integration #330: Pull request #223 synchronize by gerau
4m 19s distributed-lab:lsp/chumsky-migration
distributed-lab:lsp/chumsky-migration
4m 19s
feat: update LSP to use new chumsky parser LSP CI #42: Pull request #223 synchronize by gerau
1m 24s distributed-lab:lsp/chumsky-migration
distributed-lab:lsp/chumsky-migration
1m 24s
feat: update LSP to use new chumsky parser Verify signed commits #86: Pull request #223 synchronize by gerau
13s distributed-lab:lsp/chumsky-migration
distributed-lab:lsp/chumsky-migration
13s
fix: utf-16 rendering for multiline errors Continuous integration #329: Pull request #257 synchronize by gerau
1h 1m 5s gerau:simc/utf16-fix
gerau:simc/utf16-fix
1h 1m 5s
fix: utf-16 rendering for multiline errors Verify signed commits #85: Pull request #257 synchronize by gerau
38m 39s gerau:simc/utf16-fix
gerau:simc/utf16-fix
38m 39s
The SourceName and SourceFile structures for identifying files Verify signed commits #84: Pull request #260 opened by LesterEvSe
7s LesterEvSe:feature/imports-resolution-strategy
LesterEvSe:feature/imports-resolution-strategy
7s
The SourceName and SourceFile structures for identifying files Continuous integration #328: Pull request #260 opened by LesterEvSe
4m 29s LesterEvSe:feature/imports-resolution-strategy
LesterEvSe:feature/imports-resolution-strategy
4m 29s
Identifier str conversions Verify signed commits #83: Pull request #259 opened by LesterEvSe
7s LesterEvSe:feature/identifier-str-conversions
LesterEvSe:feature/identifier-str-conversions
7s
Identifier str conversions Continuous integration #327: Pull request #259 opened by LesterEvSe
4m 21s LesterEvSe:feature/identifier-str-conversions
LesterEvSe:feature/identifier-str-conversions
4m 21s
✨ Add imports functionality Verify signed commits #82: Pull request #258 opened by LesterEvSe
8s dev/imports
dev/imports
8s
✨ Add imports functionality Continuous integration #326: Pull request #258 opened by LesterEvSe
4m 18s dev/imports
dev/imports
4m 18s
Add pub and use keywords and parse them Continuous integration #325: Pull request #256 synchronize by LesterEvSe
4m 37s LesterEvSe:feature/parse-use-pub-keywords
LesterEvSe:feature/parse-use-pub-keywords
4m 37s
Add pub and use keywords and parse them Verify signed commits #81: Pull request #256 synchronize by LesterEvSe
12s LesterEvSe:feature/parse-use-pub-keywords
LesterEvSe:feature/parse-use-pub-keywords
12s
Add pub and use keywords and parse them Continuous integration #324: Pull request #256 synchronize by LesterEvSe
4m 42s LesterEvSe:feature/parse-use-pub-keywords
LesterEvSe:feature/parse-use-pub-keywords
4m 42s
Add pub and use keywords and parse them Verify signed commits #80: Pull request #256 synchronize by LesterEvSe
7s LesterEvSe:feature/parse-use-pub-keywords
LesterEvSe:feature/parse-use-pub-keywords
7s
fix: utf-16 rendering for multiline errors Continuous integration #323: Pull request #257 synchronize by gerau
4m 29s gerau:simc/utf16-fix
gerau:simc/utf16-fix
4m 29s
fix: utf-16 rendering for multiline errors Verify signed commits #79: Pull request #257 synchronize by gerau
9s gerau:simc/utf16-fix
gerau:simc/utf16-fix
9s
Add pub and use keywords and parse them Continuous integration #322: Pull request #256 synchronize by LesterEvSe
4m 43s LesterEvSe:feature/parse-use-pub-keywords
LesterEvSe:feature/parse-use-pub-keywords
4m 43s
Add pub and use keywords and parse them Verify signed commits #78: Pull request #256 synchronize by LesterEvSe
13s LesterEvSe:feature/parse-use-pub-keywords
LesterEvSe:feature/parse-use-pub-keywords
13s
Move jets documentation inside compiler Continuous integration #321: Pull request #251 synchronize by gerau
4m 19s distributed-lab:lsp/jets-docs
distributed-lab:lsp/jets-docs
4m 19s
Move jets documentation inside compiler Verify signed commits #77: Pull request #251 synchronize by gerau
12s distributed-lab:lsp/jets-docs
distributed-lab:lsp/jets-docs
12s
fix: utf-16 rendering for multiline errors Verify signed commits #76: Pull request #257 synchronize by gerau
16s gerau:simc/utf16-fix
gerau:simc/utf16-fix
16s
fix: utf-16 rendering for multiline errors Continuous integration #320: Pull request #257 synchronize by gerau
4m 38s gerau:simc/utf16-fix
gerau:simc/utf16-fix
4m 38s