Skip to content

Commit

Permalink
Make package architecture explicit. (cvc5#10905)
Browse files Browse the repository at this point in the history
  • Loading branch information
abdoo8080 authored Jun 12, 2024
1 parent 2722386 commit 9d82173
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion .github/actions/add-package/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,7 @@ runs:
for cnt,asset in enumerate(assets):
delete = False
# We generate 10 artifacts per build:
# {Linux, Linux-arm64, macOS, macOS-arm64, Windows} * {static, shared}
# {Linux-x86_64, Linux-arm64, macOS-x86_64, macOS-arm64, Win64-x86_64} * {static, shared}
if cnt >= 20: # Keep at most 2 builds
delete = True
if asset.name.startswith(samedayprefix):
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ jobs:
python-bindings: true
build-documentation: true
check-examples: true
package-name: cvc5-Linux
package-name: cvc5-Linux-x86_64
exclude_regress: 3-4
run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump

Expand All @@ -37,7 +37,7 @@ jobs:
strip-bin: strip
python-bindings: true
check-examples: true
package-name: cvc5-macOS
package-name: cvc5-macOS-x86_64
macos-target: 10.13
exclude_regress: 3-4
run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump
Expand Down Expand Up @@ -69,7 +69,7 @@ jobs:
windows-build: true
shell: 'msys2 {0}'
check-examples: true
package-name: cvc5-Win64
package-name: cvc5-Win64-x86_64
exclude_regress: 1-4
run_regression_args: --tester base --tester model --tester synth --tester abduct --tester dump

Expand Down

0 comments on commit 9d82173

Please sign in to comment.