Skip to content

Synchronize docs develop#768

Merged
vlipovac merged 18 commits intodocsfrom
synchronize-docs-develop
Nov 18, 2022
Merged

Synchronize docs develop#768
vlipovac merged 18 commits intodocsfrom
synchronize-docs-develop

Conversation

@vlipovac
Copy link
Contributor

Manual synchronization of docs with develop until workflow is established.

jhabriel and others added 18 commits November 8, 2022 23:58
Tags are now systematically taken as numerical in geometry processing
(this is convenient for splitting fractures etc.) and Enums in the
interface to Gmsh.

Also typing.
Python and mypy seems to want this.
Co-authored-by: Ivar Stefansson <ivar.stefansson@uib.no>
Allow for tolerance specification in `domain_boundary_sides()`
* DOCS: Update docs of some AD objects.

* MAINT: Typing and docstrings of some AD objects.

* Update src/porepy/numerics/ad/operator_functions.py

Co-authored-by: Eirik Keilegavlen <Eirik.Keilegavlen@uib.no>

* STY: Return type in ADMethod.ad_wrapper fixed (mypy).

* STY: ambigous return type of Operator.evaluate

Co-authored-by: Eirik Keilegavlen <Eirik.Keilegavlen@uib.no>
@vlipovac vlipovac added the documentation Issue/PR related to documentation. label Nov 14, 2022
@vlipovac vlipovac self-assigned this Nov 14, 2022
Copy link
Contributor Author

@vlipovac vlipovac left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This synchronization involves

  • a general update to the latest code in src/
  • eliminating the discrepancy in return types which was noticed in #763
  • updating code ownership of docs/

Note that GH does not let me make an approval for a PR into docs.
Is this related due to changes happening in directories which are not in docs/?
Or due to the missing update of ownership to docs/?

We can also use this PR to update the workflows for including an auto PR of develop into docs every time develop is updated.

@vlipovac vlipovac merged commit 0a7f8ed into docs Nov 18, 2022
@vlipovac vlipovac deleted the synchronize-docs-develop branch November 18, 2022 09:13
vlipovac added a commit that referenced this pull request Nov 25, 2022
MAINT: synchronize develop and docs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Issue/PR related to documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants