Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / pavpanchekha/setup-z3 issues and pull requests

#15 - Bump semver from 6.3.0 to 6.3.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#13 - Export Z3_SYS_Z3_HEADER and LIBRARY_PATH

Pull Request - State: closed - Opened by skyf0l over 1 year ago

#12 - Versioning confusion

Issue - State: closed - Opened by skyf0l over 1 year ago - 1 comment

#11 - use node16

Pull Request - State: closed - Opened by larskuhtz almost 2 years ago - 1 comment

#10 - Publish latest version

Issue - State: closed - Opened by seebees over 2 years ago

#9 - Bump @actions/core from 1.2.6 to 1.9.1

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#8 - Note the default distribution in the readme.

Pull Request - State: closed - Opened by philderbeast over 2 years ago

#7 - Download file name construction for newer z3 releases.

Issue - State: closed - Opened by philderbeast over 2 years ago - 5 comments

#6 - Configuration: drop hard-coded Linux-based distribution string

Pull Request - State: closed - Opened by ppaulweber over 3 years ago - 4 comments

#5 - Update dependencies and push files

Pull Request - State: closed - Opened by serras about 4 years ago - 7 comments

#4 - Check failure: The `add-path` command is deprecated and will be disabled soon

Issue - State: closed - Opened by rachelcarmena over 4 years ago - 2 comments

#3 - Bump @actions/core from 1.2.0 to 1.2.6

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#2 - Update action.yml

Pull Request - State: closed - Opened by junkil-park over 4 years ago - 2 comments

#1 - Added include/ to path for C & C++ headers

Pull Request - State: closed - Opened by anishbadhri over 4 years ago