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

[Wiki] Fetch latest CARML updates for internalized libraries #1587

Merged
merged 97 commits into from
Jul 29, 2022

Conversation

elanzel
Copy link
Contributor

@elanzel elanzel commented Jun 24, 2022

Description

Wiki new pages with instructions to fetch latest changes of the library.

Closes #1459

Changes:
-Updated Home.md adding section Fetching latest changes

  • added:
    • Fetching latest changes
    • Scenario 1: Module library only
    • Scenario 2: Module library and CI environment

Type of Change

  • Update to documentation

Checklist

  • I'm sure there are no other open Pull Requests for the same update/change

@elanzel elanzel added the documentation Improvements or additions to documentation label Jun 24, 2022
AlexanderSehr
AlexanderSehr previously approved these changes Jul 15, 2022
…and CI environment.md

Co-authored-by: Erika Gressi <56914614+eriqua@users.noreply.github.com>
elanzel and others added 7 commits July 25, 2022 09:38
…only.md

Co-authored-by: Erika Gressi <56914614+eriqua@users.noreply.github.com>
…only.md

Co-authored-by: Erika Gressi <56914614+eriqua@users.noreply.github.com>
…only.md

Co-authored-by: Erika Gressi <56914614+eriqua@users.noreply.github.com>
@elanzel elanzel requested review from eriqua and removed request for matebarabas July 29, 2022 10:52
Copy link
Contributor

@eriqua eriqua left a comment

Choose a reason for hiding this comment

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

🆗

@AlexanderSehr AlexanderSehr merged commit dbdd636 into main Jul 29, 2022
@AlexanderSehr AlexanderSehr deleted the users/ee/1459_internalizedCarml branch July 29, 2022 16:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Projects
None yet
3 participants