Continuous integration

Actions

All workflows
Workflows
- Deploy Extension on VSCode marketplace and Open VSX Registry Deploy Extension on VSCode marketplace and Open VSX Registry
- Check Example Versions Check Example Versions
- Continuous integration Continuous integration
- LSP CI LSP CI
- pages-build-deployment pages-build-deployment
- Publish simplicityhl-lsp Publish simplicityhl-lsp
- Release Release
- Verify signed commits Verify signed commits
- VS Code extension (ESLint) VS Code extension (ESLint)
Management
- Caches
- Deployments

Continuous integration

Actions

Loading...
Loading

rust.yml

441 workflow runs

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

Release 0.5.0 Continuous integration #436: Pull request #286 synchronize by KyrylR

4m 31s release_0.5.0

release_0.5.0

4m 31s

Release 0.5.0 Continuous integration #435: Pull request #286 synchronize by KyrylR

4m 40s release_0.5.0

release_0.5.0

4m 40s

Release 0.5.0 Continuous integration #434: Pull request #286 opened by KyrylR

4m 22s release_0.5.0

release_0.5.0

4m 22s

Change AST to match the functionality of the Driver Continuous integration #433: Pull request #284 synchronize by LesterEvSe

5m 23s LesterEvSe:feature/imports-with-ast

LesterEvSe:feature/imports-with-ast

5m 23s

Change AST to match the functionality of the Driver Continuous integration #432: Pull request #284 synchronize by LesterEvSe

5m 10s LesterEvSe:feature/imports-with-ast

LesterEvSe:feature/imports-with-ast

5m 10s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management