Skip to content

Conversation

@alexhroom
Copy link
Collaborator

@alexhroom alexhroom commented Jan 22, 2025

This PR updates the backgrounds and resolutions in the tutorial to use source instead of value_1 so that they work when we bump the RATapi version.

Also moves RATapi to requirements.txt as it is required to build the docs at all (due to the snippet generation), and pins its version

@alexhroom alexhroom changed the title Updates backgrounds/resolutions to use source Preparing update to RATapi v0.0.0dev4 Jan 22, 2025
@alexhroom alexhroom changed the title Preparing update to RATapi v0.0.0dev4 Prepares update to RATapi v0.0.0dev4 Jan 22, 2025
@alexhroom alexhroom changed the title Prepares update to RATapi v0.0.0dev4 Updates to RATapi v0.0.0dev4 Jan 29, 2025
@alexhroom alexhroom marked this pull request as ready for review January 29, 2025 09:02
Copy link
Collaborator

@StephenNneji StephenNneji left a comment

Choose a reason for hiding this comment

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

Looks good to me

@alexhroom alexhroom merged commit 15703b9 into RascalSoftware:main Jan 29, 2025
1 check passed
@alexhroom alexhroom deleted the update-backgrounds branch January 29, 2025 10:23
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.

2 participants