Skip to content

Upstream Summarizer utils#2443

Merged
rv-jenkins merged 16 commits intomasterfrom
upstream-summarizer-utils
Feb 18, 2022
Merged

Upstream Summarizer utils#2443
rv-jenkins merged 16 commits intomasterfrom
upstream-summarizer-utils

Conversation

@tothtamas28
Copy link
Copy Markdown
Contributor

@tothtamas28 tothtamas28 commented Feb 17, 2022

⚠️ Breaking changes:

  • The pyk module no longer re-exports its submodules
  • Moved buildAssoc and buildCons from kastManip to prelude

Base automatically changed from organize-pyk-utils to master February 17, 2022 16:39
@tothtamas28 tothtamas28 force-pushed the upstream-summarizer-utils branch from 54445f4 to d2e5cb4 Compare February 17, 2022 17:29
@tothtamas28 tothtamas28 marked this pull request as ready for review February 17, 2022 18:01
@tothtamas28 tothtamas28 requested a review from ehildenb February 17, 2022 18:01
Comment thread k-distribution/src/main/scripts/lib/pyk/kastManip.py Outdated
Comment thread k-distribution/src/main/scripts/lib/pyk/kastManip.py
Comment thread k-distribution/src/main/scripts/lib/pyk/kastManip.py
@ehildenb
Copy link
Copy Markdown
Member

Please confirm that the added functions to kastManip.py are actually used somewhere, then feel free to add automerge.

@tothtamas28 tothtamas28 force-pushed the upstream-summarizer-utils branch from a694849 to 6ca20b2 Compare February 18, 2022 09:57
@rv-jenkins rv-jenkins merged commit 321c210 into master Feb 18, 2022
@rv-jenkins rv-jenkins deleted the upstream-summarizer-utils branch February 18, 2022 10:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants