Skip to content

Actions: BlockstreamResearch/SimplicityHL

Actions

Verify signed commits

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
signed-commits.yml
210 workflow runs
210 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
vscode: add "-w" flag before witness in compilation command Verify signed commits #210: Pull request #297 opened by gerau
11s gerau:vscode/fix-witness-passing
gerau:vscode/fix-witness-passing
11s
Note that -w is now required for witnesses in simc Verify signed commits #209: Pull request #295 synchronize by schoen
10s schoen:need-dash-w-option
schoen:need-dash-w-option
10s
Note that -w is now required for witnesses in simc Verify signed commits #208: Pull request #295 opened by schoen
21s schoen:need-dash-w-option
schoen:need-dash-w-option
21s
Fix jet documentation whitespace Verify signed commits #207: Pull request #276 synchronize by schoen
10s schoen:docs-formatting
schoen:docs-formatting
10s
fix: fix list_fold pruning too soon Verify signed commits #206: Pull request #292 opened by stringhandler
8s stringhandler:fix/list
stringhandler:fix/list
8s
Add imports functionality Verify signed commits #205: Pull request #264 synchronize by KyrylR
9s dev/imports
dev/imports
9s
Connect the Driver to the main compilation pipeline Verify signed commits #204: Pull request #289 synchronize by LesterEvSe
10s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
10s
Connect the Driver to the main compilation pipeline Verify signed commits #203: Pull request #289 synchronize by LesterEvSe
10s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
10s
Connect the Driver to the main compilation pipeline Verify signed commits #202: Pull request #289 synchronize by LesterEvSe
9s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
9s
Connect the Driver to the main compilation pipeline Verify signed commits #201: Pull request #289 synchronize by LesterEvSe
10s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
10s
Connect the Driver to the main compilation pipeline Verify signed commits #200: Pull request #289 synchronize by LesterEvSe
9s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
9s
Connect the Driver to the main compilation pipeline Verify signed commits #199: Pull request #289 opened by LesterEvSe
9s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
9s
Add imports functionality Verify signed commits #198: Pull request #264 synchronize by LesterEvSe
3m 17s dev/imports
dev/imports
3m 17s
Change AST to match the functionality of the Driver Verify signed commits #197: Pull request #284 synchronize by LesterEvSe
7s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
7s
Change AST to match the functionality of the Driver Verify signed commits #196: Pull request #284 synchronize by LesterEvSe
11s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
11s
Change AST to match the functionality of the Driver Verify signed commits #195: Pull request #284 synchronize by LesterEvSe
7s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
7s
Change AST to match the functionality of the Driver Verify signed commits #194: Pull request #284 synchronize by LesterEvSe
8s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
8s
Change AST to match the functionality of the Driver Verify signed commits #193: Pull request #284 synchronize by LesterEvSe
9s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
9s
Fix: resolution structs and import aliases to support separated namespaces Verify signed commits #192: Pull request #287 synchronize by LesterEvSe
11s LesterEvSe:fix/aliases
LesterEvSe:fix/aliases
11s
Fix jet documentation whitespace Verify signed commits #191: Pull request #276 synchronize by schoen
8s schoen:docs-formatting
schoen:docs-formatting
8s
Fix: resolution structs and import aliases to support separated namespaces Verify signed commits #190: Pull request #287 synchronize by LesterEvSe
8s LesterEvSe:fix/aliases
LesterEvSe:fix/aliases
8s
Fix: resolution structs and import aliases to support separated namespaces Verify signed commits #189: Pull request #287 synchronize by LesterEvSe
9s LesterEvSe:fix/aliases
LesterEvSe:fix/aliases
9s
Fix: resolution structs and import aliases to support separated namespaces Verify signed commits #188: Pull request #287 opened by LesterEvSe
8s LesterEvSe:fix/aliases
LesterEvSe:fix/aliases
8s
Release 0.5.0 Verify signed commits #187: Pull request #286 synchronize by KyrylR
10s release_0.5.0
release_0.5.0
10s
Release 0.5.0 Verify signed commits #186: Pull request #286 synchronize by KyrylR
11s release_0.5.0
release_0.5.0
11s