Skip to content

Actions: BlockstreamResearch/SimplicityHL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
340 workflow runs
340 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add CMR to compiler JSON output Continuous integration #194: Pull request #231 opened by 0ceanSlim
Action required 0ceanSlim:add-cmr-to-output
0ceanSlim:add-cmr-to-output
Action required
Add TemplateProgram::witness_types Continuous integration #193: Pull request #219 synchronize by egasimus
Action required hackbg:feat/template-witness-types
hackbg:feat/template-witness-types
Action required
✨ 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 Continuous integration #190: Pull request #230 opened by gerau
4m 33s distributed-lab:lsp/documentation
distributed-lab:lsp/documentation
4m 33s
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
✨ 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 Continuous integration #181: Pull request #223 opened by gerau
16m 15s distributed-lab:lsp/chumsky-migration
distributed-lab:lsp/chumsky-migration
16m 15s
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
🐛 Add a check for multiple definitions of the type alias Continuous integration #180: Pull request #222 synchronize by LesterEvSe
12m 32s LesterEvSe:fix/type-redefinition
LesterEvSe:fix/type-redefinition
12m 32s
🐛 Add a check for multiple definitions of the type alias Continuous integration #179: Pull request #222 opened by LesterEvSe
5m 0s LesterEvSe:fix/type-redefinition
LesterEvSe:fix/type-redefinition
5m 0s
Add if-then-else statement support Continuous integration #178: Pull request #213 synchronize by stringhandler
17m 33s stringhandler:feature/add-if
stringhandler:feature/add-if
17m 33s
Add if-then-else statement support Continuous integration #177: Pull request #213 synchronize by stringhandler
15m 21s stringhandler:feature/add-if
stringhandler:feature/add-if
15m 21s
✨ Imports with namespacing, pub/use Continuous integration #176: Pull request #216 synchronize by LesterEvSe
9m 48s LesterEvSe:feature/imports
LesterEvSe:feature/imports
9m 48s
fix: change angle bracket delimiter Continuous integration #175: Pull request #221 opened by stringhandler
11m 15s stringhandler:fix/l-angle
stringhandler:fix/l-angle
11m 15s
Merge BlockstreamResearch/SimplicityHL#201: Add AbiMeta struct for … Continuous integration #174: Commit 568b462 pushed by apoelstra
4m 22s master
master
4m 22s
✨ Imports with namespacing, pub/use Continuous integration #173: Pull request #216 synchronize by LesterEvSe
1h 37m 11s LesterEvSe:feature/imports
LesterEvSe:feature/imports
1h 37m 11s