Skip to content

Actions: BlockstreamResearch/SimplicityHL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
293 workflow run results
293 workflow run results

Filter by Workflow

⌥ + click/return to exclude

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
feat: add infix operators and warnings Continuous integration #202: Pull request #232 synchronize by stringhandler
1h 12m 6s stringhandler:feat/in-fix
stringhandler:feat/in-fix
1h 12m 6s
✨ Imports with namespacing, pub/use Continuous integration #201: Pull request #216 synchronize by LesterEvSe
1h 11m 3s LesterEvSe:feature/imports
LesterEvSe:feature/imports
1h 11m 3s
✨ Imports with namespacing, pub/use Continuous integration #200: Pull request #216 synchronize by Sdoba16
14m 21s LesterEvSe:feature/imports
LesterEvSe:feature/imports
14m 21s
feat: add infix operators and warnings Continuous integration #199: Pull request #232 opened by stringhandler
7m 58s stringhandler:feat/in-fix
stringhandler:feat/in-fix
7m 58s
✨ Imports with namespacing, pub/use Continuous integration #198: Pull request #216 synchronize by Sdoba16
26m 38s LesterEvSe:feature/imports
LesterEvSe:feature/imports
26m 38s
✨ Imports with namespacing, pub/use Continuous integration #197: Pull request #216 synchronize by Sdoba16
21m 50s LesterEvSe:feature/imports
LesterEvSe:feature/imports
21m 50s
✨ Imports with namespacing, pub/use Continuous integration #196: Pull request #216 synchronize by Sdoba16
4m 35s LesterEvSe:feature/imports
LesterEvSe:feature/imports
4m 35s
✨ Imports with namespacing, pub/use Continuous integration #195: Pull request #216 synchronize by Sdoba16
5m 11s LesterEvSe:feature/imports
LesterEvSe:feature/imports
5m 11s
Add CMR to compiler JSON output Continuous integration #194: Pull request #231 opened by 0ceanSlim
4m 33s 0ceanSlim:add-cmr-to-output
0ceanSlim:add-cmr-to-output
4m 33s
Add TemplateProgram::witness_types Continuous integration #193: Pull request #219 synchronize by egasimus
4m 44s hackbg:feat/template-witness-types
hackbg:feat/template-witness-types
4m 44s
✨ Imports with namespacing, pub/use Continuous integration #192: Pull request #216 synchronize by Sdoba16
4m 52s LesterEvSe:feature/imports
LesterEvSe:feature/imports
4m 52s
✨ Imports with namespacing, pub/use Continuous integration #191: Pull request #216 synchronize by Sdoba16
1m 25s LesterEvSe:feature/imports
LesterEvSe:feature/imports
1m 25s
fix(lsp): update documentation for unwraps LSP CI #31: Pull request #230 opened by gerau
59s distributed-lab:lsp/documentation
distributed-lab:lsp/documentation
59s
fix(lsp): update documentation for unwraps Continuous integration #190: Pull request #230 opened by gerau
4m 33s distributed-lab:lsp/documentation
distributed-lab:lsp/documentation
4m 33s
✨ Imports with namespacing, pub/use Continuous integration #189: Pull request #216 synchronize by Sdoba16
1m 21s LesterEvSe:feature/imports
LesterEvSe:feature/imports
1m 21s
✨ Imports with namespacing, pub/use Continuous integration #188: Pull request #216 synchronize by LesterEvSe
1m 43s LesterEvSe:feature/imports
LesterEvSe:feature/imports
1m 43s
fix jet docs for build_tapleaf_simplicity LSP CI #30: Pull request #229 opened by stringhandler
59s stringhandler:docs/update-docs-build-tapleaf
stringhandler:docs/update-docs-build-tapleaf
59s
fix jet docs for build_tapleaf_simplicity Continuous integration #187: Pull request #229 opened by stringhandler
4m 18s stringhandler:docs/update-docs-build-tapleaf
stringhandler:docs/update-docs-build-tapleaf
4m 18s
✨ Imports with namespacing, pub/use Continuous integration #186: Pull request #216 synchronize by Sdoba16
5m 19s LesterEvSe:feature/imports
LesterEvSe:feature/imports
5m 19s
✨ Imports with namespacing, pub/use Continuous integration #185: Pull request #216 synchronize by Sdoba16
4m 52s LesterEvSe:feature/imports
LesterEvSe:feature/imports
4m 52s
Show error if using deprecated jets Continuous integration #184: Pull request #228 opened by stringhandler
2h 31m 33s stringhandler:feat/add-error-for-deprecated-jet
stringhandler:feat/add-error-for-deprecated-jet
2h 31m 33s
feat: add padding keyword to increase program size Continuous integration #183: Pull request #226 opened by stringhandler
15m 11s stringhandler:feat/add-padding
stringhandler:feat/add-padding
15m 11s
🐛 Add a check for multiple definitions of the type alias Continuous integration #182: Pull request #222 synchronize by LesterEvSe
8m 56s LesterEvSe:fix/type-redefinition
LesterEvSe:fix/type-redefinition
8m 56s
feat: update LSP to use new chumsky parser LSP CI #29: Pull request #223 opened by gerau
5m 30s distributed-lab:lsp/chumsky-migration
distributed-lab:lsp/chumsky-migration
5m 30s
feat: update LSP to use new chumsky parser Continuous integration #181: Pull request #223 opened by gerau
16m 15s distributed-lab:lsp/chumsky-migration
distributed-lab:lsp/chumsky-migration
16m 15s