Skip to content

Update osx installers and urlchecker environment #3914

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jsiirola merged 4 commits into from
Apr 16, 2026
+33 −6
Merged

Update osx installers and urlchecker environment #3914

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
ccf5f1d
Silence error message if OSX package not present (expected)
jsiirola Apr 15, 2026
03f314d
Set DNS servers before running the URL checker
jsiirola Apr 15, 2026
f674c24
Compute the active link
jsiirola Apr 15, 2026
ed5afee
Fix typo
jsiirola Apr 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 12 additions & 3 deletions .github/workflows/test_branches.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -50,8 +50,17 @@ jobs:
black . --check --diff
- name: Spell Check
uses: crate-ci/typos@master
with:
with:
config: ./.github/workflows/typos.toml
- name: Set DNS server
run: |
# This will hopefully resolve intermittent DNS resolution errors
echo "Reset DNS servers to use cloudfare"
LINK=`resolvectl query github.com | grep link: | sed -r 's/.*link://'`
sudo resolvectl dns $LINK 1.1.1.1 1.0.0.1
sudo resolvectl flush-caches
sudo resolvectl query github.com
sudo resolvectl status
- name: URL Checker
if: env.PYOMO_WORKFLOW == 'branch'
uses: urlstechie/urlchecker-action@0.0.34
Expand Down Expand Up @@ -214,7 +223,7 @@ jobs:
# - install glpk
# - pyodbc needs: gcc pkg-config unixodbc freetds
for pkg in bash pkg-config unixodbc freetds glpk ginac; do
brew list $pkg || brew install $pkg
brew list $pkg 2>/dev/null || brew install $pkg
done

- name: Update Linux
Expand Down Expand Up @@ -700,7 +709,7 @@ jobs:
echo ""
echo "PYOMO_CONFIG_DIR=${GITHUB_WORKSPACE}/config" >> $GITHUB_ENV

# this has to be done after Pyomo is installed because highspy
# this has to be done after Pyomo is installed because highspy
# depends on pyomo's find_library function
- name: Install HiGHS
if: ${{ ! matrix.slim }}
Expand Down
15 changes: 12 additions & 3 deletions .github/workflows/test_pr_and_main.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -61,8 +61,17 @@ jobs:
black . --check --diff
- name: Spell Check
uses: crate-ci/typos@master
with:
with:
config: ./.github/workflows/typos.toml
- name: Set DNS server
run: |
# This will hopefully resolve intermittent DNS resolution errors
echo "Reset DNS servers to use cloudfare"
LINK=`resolvectl query github.com | grep link: | sed -r 's/.*link://'`
sudo resolvectl dns $LINK 1.1.1.1 1.0.0.1
sudo resolvectl flush-caches
sudo resolvectl query github.com
sudo resolvectl status
- name: URL Checker
if: env.PYOMO_WORKFLOW == 'branch'
uses: urlstechie/urlchecker-action@0.0.34
Expand Down Expand Up @@ -266,7 +275,7 @@ jobs:
# - install glpk
# - pyodbc needs: gcc pkg-config unixodbc freetds
for pkg in bash pkg-config unixodbc freetds glpk ginac; do
brew list $pkg || brew install $pkg
brew list $pkg 2>/dev/null || brew install $pkg
done

- name: Update Linux
Expand Down Expand Up @@ -752,7 +761,7 @@ jobs:
echo ""
echo "PYOMO_CONFIG_DIR=${GITHUB_WORKSPACE}/config" >> $GITHUB_ENV

# this has to be done after Pyomo is installed because highspy
# this has to be done after Pyomo is installed because highspy
# depends on pyomo's find_library function
- name: Install HiGHS
if: ${{ ! matrix.slim }}
Expand Down
9 changes: 9 additions & 0 deletions .github/workflows/url_check.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,15 @@ jobs:
steps:
- name: Checkout Pyomo source
uses: actions/checkout@v6
- name: Set DNS server
run: |
# This will hopefully resolve intermittent DNS resolution errors
echo "Reset DNS servers to use cloudfare"
LINK=`resolvectl query github.com | grep link: | sed -r 's/.*link://'`
sudo resolvectl dns $LINK 1.1.1.1 1.0.0.1
sudo resolvectl flush-caches
sudo resolvectl query github.com
sudo resolvectl status
- name: URL Checker
uses: urlstechie/urlchecker-action@0.0.34
with:
Expand Down
Loading