Skip to content

Conversation

fghalasz
Copy link
Member

@fghalasz fghalasz commented Jun 5, 2025

NOTE: Depends on PR#536 in the Maiko repo, which must be approved and merged first.

Updated Build/Push Medley Release workflow to add wsl1-specific assets to the releases - based on the new wsl1-specific maiko builds.

Renamed the current wsl release assets to be wsl2-speciic assets.

There are now 20 assets in a release build.

@fghalasz fghalasz self-assigned this Jun 5, 2025
Copy link
Member

@masinter masinter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

don't merge until 2180 2181 are merged
as per 6/16/25 meeting

@InterlispMachineUser InterlispMachineUser merged commit ba4250d into master Jun 17, 2025
7 checks passed
@InterlispMachineUser InterlispMachineUser deleted the fgh_wsl1-builds branch June 17, 2025 05:27
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.

3 participants