Skip to content
This repository has been archived by the owner on Dec 2, 2024. It is now read-only.

Add default definition for initialInstances #478

Merged
merged 1 commit into from
May 24, 2022

Conversation

MaximilianAlgehed
Copy link
Contributor

@MaximilianAlgehed MaximilianAlgehed commented May 24, 2022

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Relevant tickets are mentioned in commit messages
    • Formatting, materialized Nix files, PNG optimization, etc. are updated
  • PR
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

@MaximilianAlgehed
Copy link
Contributor Author

@koslambrou could you merge this when things turn green?

@koslambrou koslambrou merged commit 7d067a4 into IntersectMBO:main May 24, 2022
@MaximilianAlgehed MaximilianAlgehed deleted the PR-ContractModel-minor-fix branch January 4, 2023 09:29
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants