Skip to content

Conversation

MisterDA
Copy link
Contributor

@MisterDA MisterDA commented Dec 10, 2024

@MisterDA MisterDA requested a review from mtelvers December 20, 2024 08:20
@MisterDA MisterDA enabled auto-merge (rebase) January 6, 2025 13:32
@MisterDA MisterDA closed this Jan 6, 2025
auto-merge was automatically disabled January 6, 2025 13:32

Pull request was closed

@MisterDA MisterDA reopened this Jan 6, 2025
@MisterDA MisterDA enabled auto-merge (rebase) January 6, 2025 13:32
@MisterDA
Copy link
Contributor Author

MisterDA commented Jan 6, 2025

Superseded by #248.

@MisterDA MisterDA closed this Jan 6, 2025
auto-merge was automatically disabled January 6, 2025 14:28

Pull request was closed

@MisterDA MisterDA deleted the buildkit-ocaml.org branch January 6, 2025 14:28
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