Skip to content
Build and Test the Rust API

Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex #40

Sign in to view logs

Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex

Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex #40

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-macos-13-cmake-clang-rust
12m 21s
check-ubuntu-22_04-cmake-clang-rust
12m 2s
24m 23s