Skip to content

Update github actions#634

Merged
dgud merged 3 commits intomasterfrom
dgud/update-github-actions
Jan 7, 2026
Merged

Update github actions#634
dgud merged 3 commits intomasterfrom
dgud/update-github-actions

Conversation

@dgud
Copy link
Copy Markdown
Owner

@dgud dgud commented Jan 6, 2026

No description provided.

@dgud dgud force-pushed the dgud/update-github-actions branch 7 times, most recently from d008d16 to 4e790a8 Compare January 7, 2026 11:47
dgud added 3 commits January 7, 2026 13:58
Use windows-2025

Download and build erlang in wsl

Install NSIS
Remove checks that couldn't happen and remove opaque since we look at
the results.
wmic not available in 2025 variants
@dgud dgud force-pushed the dgud/update-github-actions branch from 4e790a8 to f5a0ca7 Compare January 7, 2026 13:00
@dgud dgud merged commit b3d2f8e into master Jan 7, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant