Skip to content

build(deps): bump install-pinned/mypy from 52365a71b7d64ebed3db400b67077d3e91a769b4 to 2b552bed479e3f7065314667b670f7303619e989 #50

build(deps): bump install-pinned/mypy from 52365a71b7d64ebed3db400b67077d3e91a769b4 to 2b552bed479e3f7065314667b670f7303619e989

build(deps): bump install-pinned/mypy from 52365a71b7d64ebed3db400b67077d3e91a769b4 to 2b552bed479e3f7065314667b670f7303619e989 #50

Workflow file for this run

name: Semver checks
on:
pull_request:
branches: [ "main" ]
env:
CARGO_TERM_COLOR: always
jobs:
rustsat:
name: Semver checks
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4
with:
submodules: "recursive"
- name: RustSAT
uses: obi1kenobi/cargo-semver-checks-action@v2
with:
package: rustsat
feature-group: only-explicit-features
features: all
- name: CaDiCaL
uses: obi1kenobi/cargo-semver-checks-action@v2
with:
package: rustsat-cadical
feature-group: default-features
- name: Minisat
uses: obi1kenobi/cargo-semver-checks-action@v2
with:
package: rustsat-minisat
- name: Glucose
uses: obi1kenobi/cargo-semver-checks-action@v2
with:
package: rustsat-glucose
- name: Kissat
uses: obi1kenobi/cargo-semver-checks-action@v2
with:
package: rustsat-kissat
- name: IPASIR
uses: obi1kenobi/cargo-semver-checks-action@v2
with:
package: rustsat-ipasir