Build and Test the Rust API

Actions

All workflows
Workflows
- Build and Test CBMC Build and Test CBMC
- Build and Test on *BSD Build and Test on *BSD
- Build and Test the Rust API Build and Test the Rust API
- Build Doxygen Documentation Build Doxygen Documentation
- Build Linux partially with CPROVER tools Build Linux partially with CPROVER tools
- Build Xen with CPROVER tools Build Xen with CPROVER tools
- Codecov coverage report Codecov coverage report
- CodeQL CodeQL
- Create Release Create Release
- Dependabot Updates Dependabot Updates
Management
- Caches
- Deployments

Build and Test the Rust API

Actions

Loading...
Loading

pull-request-check-rust-api.yaml

917 workflow runs

Higher radix multiplier encoding Build and Test the Rust API #4111: Pull request #7991 synchronize by tautschnig

27m 50s tautschnig:feature/multiplier-encoding

tautschnig:feature/multiplier-encoding

27m 50s

Fix support for mathematical types Build and Test the Rust API #4110: Pull request #8324 synchronize by tautschnig

1m 51s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

1m 51s

Fix support for mathematical types Build and Test the Rust API #4109: Pull request #8324 synchronize by tautschnig

2m 1s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

2m 1s

Fix support for mathematical types Build and Test the Rust API #4108: Pull request #8324 synchronize by tautschnig

2m 2s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

2m 2s

Fix support for mathematical types Build and Test the Rust API #4107: Pull request #8324 synchronize by tautschnig

2m 13s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

2m 13s

Fix support for mathematical types Build and Test the Rust API #4106: Pull request #8324 synchronize by tautschnig

1m 59s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

1m 59s

Fix support for mathematical types Build and Test the Rust API #4105: Pull request #8324 synchronize by tautschnig

3m 2s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

3m 2s

Merge pull request #8713 from tautschnig/goto-functions-json Build and Test the Rust API #4104: Commit 5f4c82d pushed by tautschnig

11m 29s develop

develop

11m 29s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4103: Pull request #8713 synchronize by tautschnig

3m 0s tautschnig:goto-functions-json

tautschnig:goto-functions-json

3m 0s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4102: Pull request #8713 synchronize by tautschnig

1m 50s tautschnig:goto-functions-json

tautschnig:goto-functions-json

1m 50s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4101: Pull request #8713 synchronize by tautschnig

1m 37s tautschnig:goto-functions-json

tautschnig:goto-functions-json

1m 37s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4100: Pull request #8713 synchronize by tautschnig

2m 22s tautschnig:goto-functions-json

tautschnig:goto-functions-json

2m 22s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4099: Pull request #8713 synchronize by tautschnig

1m 30s tautschnig:goto-functions-json

tautschnig:goto-functions-json

1m 30s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4098: Pull request #8713 synchronize by tautschnig

22m 59s tautschnig:goto-functions-json

tautschnig:goto-functions-json

22m 59s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4097: Pull request #8713 synchronize by tautschnig

1m 31s tautschnig:goto-functions-json

tautschnig:goto-functions-json

1m 31s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4096: Pull request #8713 synchronize by tautschnig

1m 46s tautschnig:goto-functions-json

tautschnig:goto-functions-json

1m 46s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4095: Pull request #8713 synchronize by tautschnig

2m 27s tautschnig:goto-functions-json

tautschnig:goto-functions-json

2m 27s

Add support for reading GOTO functions from JSON Build and Test the Rust API #4094: Pull request #8713 opened by tautschnig

1m 10s tautschnig:goto-functions-json

tautschnig:goto-functions-json

1m 10s

Merge pull request #8646 from tautschnig/language_mode-protected Build and Test the Rust API #4093: Commit b0156a3 pushed by tautschnig

3m 14s develop

develop

3m 14s

Merge pull request #8712 from tautschnig/remove-function-body-regex Build and Test the Rust API #4092: Commit 43cb7a6 pushed by tautschnig

10m 21s develop

develop

10m 21s

Add remove-function-body-regex command line option Build and Test the Rust API #4091: Pull request #8712 synchronize by tautschnig

1m 40s tautschnig:remove-function-body-regex

tautschnig:remove-function-body-regex

1m 40s

Add remove-function-body-regex command line option Build and Test the Rust API #4090: Pull request #8712 synchronize by tautschnig

4m 19s tautschnig:remove-function-body-regex

tautschnig:remove-function-body-regex

4m 19s

Make goto_symext::language_mode protected Build and Test the Rust API #4089: Pull request #8646 synchronize by tautschnig

21m 21s tautschnig:language_mode-protected

tautschnig:language_mode-protected

21m 21s

Add remove-function-body-regex command line option Build and Test the Rust API #4088: Pull request #8712 synchronize by tautschnig

1m 40s tautschnig:remove-function-body-regex

tautschnig:remove-function-body-regex

1m 40s

Merge pull request #8711 from tautschnig/no-install-cmake Build and Test the Rust API #4087: Commit 6c3978f pushed by tautschnig

21m 4s develop

develop

21m 4s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management