Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge recent changes #135

Merged
merged 14 commits into from
Sep 28, 2023
Merged

Merge recent changes #135

merged 14 commits into from
Sep 28, 2023

Conversation

delucchi-cmu
Copy link
Contributor

No description provided.

@delucchi-cmu delucchi-cmu merged commit 883e7d3 into issue/118/boilerplate Sep 28, 2023
16 checks passed
delucchi-cmu added a commit that referenced this pull request Oct 2, 2023
* Verification pipeline boilerplate

* Input catalog options.

* Contribution docs updates.

* Merge recent changes (#135)

* Use minimum stage name formatting.

* Run copier.

* Add a tad more context for failure email.

* Pin pandas version

* Remove benchmarks for now.

* unpin sphinx versions (#134)

---------

Co-authored-by: Max West <110124344+maxwest-uw@users.noreply.github.com>

---------

Co-authored-by: Max West <110124344+maxwest-uw@users.noreply.github.com>
delucchi-cmu added a commit that referenced this pull request Oct 6, 2023
* unpin sphinx versions (#134)

* Verification pipeline boilerplate (#126)

* Verification pipeline boilerplate

* Input catalog options.

* Contribution docs updates.

* Merge recent changes (#135)

* Use minimum stage name formatting.

* Run copier.

* Add a tad more context for failure email.

* Pin pandas version

* Remove benchmarks for now.

* unpin sphinx versions (#134)

---------

Co-authored-by: Max West <110124344+maxwest-uw@users.noreply.github.com>

---------

Co-authored-by: Max West <110124344+maxwest-uw@users.noreply.github.com>

* Check for valid catalog directories. (#136)

* Check for valid catalog directories.

* Hit uncovered file check.

---------

Co-authored-by: Max West <110124344+maxwest-uw@users.noreply.github.com>
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.

None yet

2 participants