Skip to content
Rust

Implement execution of swine-z3 on SMT2 files #280

Sign in to view logs

Implement execution of swine-z3 on SMT2 files

Implement execution of swine-z3 on SMT2 files #280

This workflow is awaiting approval from a maintainer in #65
Triggered via pull request February 11, 2025 22:39
@SeRin-YangSeRin-Yang
opened #65
SeRin-Yang:main
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #65

rust.yml

on: pull_request
Clippy
Clippy
Rustfmt
Rustfmt
Test Suite
Test Suite
Fit to window
Zoom out
Zoom in