Skip to content

Parallel downsweep#46

Merged
wavewave merged 2 commits intomercuryfrom
wavewave/parallel-downsweep
Nov 6, 2024
Merged

Parallel downsweep#46
wavewave merged 2 commits intomercuryfrom
wavewave/parallel-downsweep

Conversation

@wavewave
Copy link
Copy Markdown
Collaborator

use -j in haskell_metadata action

@wavewave wavewave force-pushed the wavewave/parallel-downsweep branch from fddcc80 to c296070 Compare October 9, 2024 20:54
@wavewave wavewave changed the base branch from wavewave/link-response-file-2 to wavewave/no-more-special-base October 9, 2024 20:55
@wavewave wavewave changed the title WIP: Parallel downsweep Parallel downsweep Oct 9, 2024
@wavewave wavewave force-pushed the wavewave/no-more-special-base branch from 403c8e4 to 97d5d1b Compare October 30, 2024 14:10
@wavewave wavewave force-pushed the wavewave/parallel-downsweep branch from c296070 to aafe518 Compare October 30, 2024 14:16
@wavewave wavewave changed the base branch from wavewave/no-more-special-base to mercury October 30, 2024 14:16
@wavewave wavewave requested review from aherrmann and avdv October 30, 2024 14:16
@wavewave wavewave marked this pull request as ready for review October 30, 2024 14:17
Comment thread haskell/compile.bzl
@wavewave wavewave merged commit 05ee50b into mercury Nov 6, 2024
@lf- lf- deleted the wavewave/parallel-downsweep branch September 12, 2025 21:53
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.

2 participants