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
- Clang Sanitizer Clang Sanitizer
- Codecov coverage report Codecov coverage report
- CodeQL CodeQL
- Create Release Create Release
Management
- Caches
- Deployments

Build and Test the Rust API

Actions

Loading...
Loading

986 workflow runs

Update *BSD CI actions to the latest OS versions Build and Test the Rust API #4136: Pull request #8719 synchronize by tautschnig

2m 5s tautschnig:bsd-actions

tautschnig:bsd-actions

2m 5s

Update *BSD CI actions to the latest OS versions Build and Test the Rust API #4135: Pull request #8719 synchronize by tautschnig

1m 41s tautschnig:bsd-actions

tautschnig:bsd-actions

1m 41s

Update *BSD CI actions to the latest OS versions Build and Test the Rust API #4134: Pull request #8719 synchronize by tautschnig

2m 16s tautschnig:bsd-actions

tautschnig:bsd-actions

2m 16s

Update *BSD CI actions to the latest OS versions Build and Test the Rust API #4133: Pull request #8719 synchronize by tautschnig

2m 51s tautschnig:bsd-actions

tautschnig:bsd-actions

2m 51s

Update *BSD CI actions to the latest OS versions Build and Test the Rust API #4132: Pull request #8719 synchronize by tautschnig

8m 14s tautschnig:bsd-actions

tautschnig:bsd-actions

8m 14s

Update *BSD CI actions to the latest OS versions Build and Test the Rust API #4131: Pull request #8719 synchronize by tautschnig

2m 48s tautschnig:bsd-actions

tautschnig:bsd-actions

2m 48s

Update *BSD CI actions to the latest OS versions Build and Test the Rust API #4130: Pull request #8719 opened by tautschnig

3m 6s tautschnig:bsd-actions

tautschnig:bsd-actions

3m 6s

Merge pull request #8717 from tautschnig/popcount-flattening Build and Test the Rust API #4129: Commit 724f2f7 pushed by tautschnig

4m 11s develop

develop

4m 11s

Implement popcount in flattening back-end Build and Test the Rust API #4128: Pull request #8717 synchronize by tautschnig

3h 2m 23s tautschnig:popcount-flattening

tautschnig:popcount-flattening

3h 2m 23s

Merge pull request #8718 from tautschnig/less-than-flattening Build and Test the Rust API #4127: Commit 558ef2f pushed by tautschnig

1h 27m 33s develop

develop

1h 27m 33s

Merge pull request #8716 from tautschnig/use-sign_bit Build and Test the Rust API #4126: Commit 4ed00e1 pushed by tautschnig

5m 42s develop

develop

5m 42s

Implement popcount in flattening back-end Build and Test the Rust API #4125: Pull request #8717 synchronize by tautschnig

1h 51m 54s tautschnig:popcount-flattening

tautschnig:popcount-flattening

1h 51m 54s

Improve bv_utilst less-than-or-less-or-equals Build and Test the Rust API #4124: Pull request #8718 opened by tautschnig

25m 16s tautschnig:less-than-flattening

tautschnig:less-than-flattening

25m 16s

Implement popcount in flattening back-end Build and Test the Rust API #4123: Pull request #8717 opened by tautschnig

34m 0s tautschnig:popcount-flattening

tautschnig:popcount-flattening

34m 0s

Use bv_utilst::sign_bit Build and Test the Rust API #4122: Pull request #8716 opened by tautschnig

4m 5s tautschnig:use-sign_bit

tautschnig:use-sign_bit

4m 5s

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

3m 20s tautschnig:feature/multiplier-encoding

tautschnig:feature/multiplier-encoding

3m 20s

Merge pull request #8715 from diffblue/dependabot/github_actions/gith… Build and Test the Rust API #4120: Commit 46f9d54 pushed by tautschnig

2m 43s develop

develop

2m 43s

Bump github/codeql-action from 3 to 4 Build and Test the Rust API #4119: Pull request #8715 opened by dependabot bot

1m 49s dependabot/github_actions/github/codeql-action-4

dependabot/github_actions/github/codeql-action-4

1m 49s

Merge pull request #8324 from tautschnig/bugfixes/mathematical-types Build and Test the Rust API #4118: Commit 8896f3d pushed by tautschnig

19m 46s develop

develop

19m 46s

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

2m 29s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

2m 29s

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

1m 28s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

1m 28s

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

1m 50s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

1m 50s

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

24m 31s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

24m 31s

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

15m 3s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

15m 3s

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

2m 3s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

2m 3s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management