Skip to content

Actions: BlockstreamResearch/SimplicityHL

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
446 workflow runs
446 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
Note that -w is now required for witnesses in simc Continuous integration #461: Pull request #295 synchronize by schoen
5m 47s schoen:need-dash-w-option
schoen:need-dash-w-option
5m 47s
Note that -w is now required for witnesses in simc Continuous integration #460: Pull request #295 opened by schoen
6m 17s schoen:need-dash-w-option
schoen:need-dash-w-option
6m 17s
Merge BlockstreamResearch/SimplicityHL#264: Add imports functionality Continuous integration #459: Commit fa84636 pushed by delta1
5m 52s master
master
5m 52s
Merge BlockstreamResearch/SimplicityHL#276: Fix jet documentation whi… Continuous integration #458: Commit 543439b pushed by delta1
4m 20s master
master
4m 20s
Fix jet documentation whitespace Continuous integration #457: Pull request #276 synchronize by schoen
4m 23s schoen:docs-formatting
schoen:docs-formatting
4m 23s
fix: fix list_fold pruning too soon Continuous integration #456: Pull request #292 opened by stringhandler
4m 17s stringhandler:fix/list
stringhandler:fix/list
4m 17s
Add imports functionality Continuous integration #455: Pull request #264 synchronize by KyrylR
6m 7s dev/imports
dev/imports
6m 7s
Connect the Driver to the main compilation pipeline Continuous integration #454: Pull request #289 synchronize by LesterEvSe
5m 37s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
5m 37s
Connect the Driver to the main compilation pipeline Continuous integration #453: Pull request #289 synchronize by LesterEvSe
5m 44s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
5m 44s
Connect the Driver to the main compilation pipeline Continuous integration #452: Pull request #289 synchronize by LesterEvSe
6m 21s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
6m 21s
Connect the Driver to the main compilation pipeline Continuous integration #451: Pull request #289 synchronize by LesterEvSe
5m 43s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
5m 43s
Connect the Driver to the main compilation pipeline Continuous integration #450: Pull request #289 synchronize by LesterEvSe
6m 10s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
6m 10s
Connect the Driver to the main compilation pipeline Continuous integration #449: Pull request #289 opened by LesterEvSe
5m 49s LesterEvSe:feature/modules-support
LesterEvSe:feature/modules-support
5m 49s
Add imports functionality Continuous integration #448: Pull request #264 synchronize by LesterEvSe
16m 32s dev/imports
dev/imports
16m 32s
Change AST to match the functionality of the Driver Continuous integration #447: Pull request #284 synchronize by LesterEvSe
5m 38s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
5m 38s
Change AST to match the functionality of the Driver Continuous integration #446: Pull request #284 synchronize by LesterEvSe
5m 41s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
5m 41s
Change AST to match the functionality of the Driver Continuous integration #445: Pull request #284 synchronize by LesterEvSe
5m 36s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
5m 36s
Change AST to match the functionality of the Driver Continuous integration #444: Pull request #284 synchronize by LesterEvSe
5m 26s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
5m 26s
Change AST to match the functionality of the Driver Continuous integration #443: Pull request #284 synchronize by LesterEvSe
1m 18s LesterEvSe:feature/imports-with-ast
LesterEvSe:feature/imports-with-ast
1m 18s
Fix: resolution structs and import aliases to support separated namespaces Continuous integration #442: Pull request #287 synchronize by LesterEvSe
5m 34s LesterEvSe:fix/aliases
LesterEvSe:fix/aliases
5m 34s
Fix jet documentation whitespace Continuous integration #441: Pull request #276 synchronize by schoen
4m 37s schoen:docs-formatting
schoen:docs-formatting
4m 37s
Merge BlockstreamResearch/SimplicityHL#286: Release 0.5.0 Continuous integration #440: Commit aeeb37e pushed by apoelstra
4m 29s master
master
4m 29s
Fix: resolution structs and import aliases to support separated namespaces Continuous integration #439: Pull request #287 synchronize by LesterEvSe
5m 42s LesterEvSe:fix/aliases
LesterEvSe:fix/aliases
5m 42s
Fix: resolution structs and import aliases to support separated namespaces Continuous integration #438: Pull request #287 synchronize by LesterEvSe
5m 40s LesterEvSe:fix/aliases
LesterEvSe:fix/aliases
5m 40s
Fix: resolution structs and import aliases to support separated namespaces Continuous integration #437: Pull request #287 opened by LesterEvSe
5m 52s LesterEvSe:fix/aliases
LesterEvSe:fix/aliases
5m 52s