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

ci: Enforce lock file when retrieving dependencies #47

Merged

Conversation

Mr-Pepe
Copy link
Collaborator

@Mr-Pepe Mr-Pepe commented Jan 9, 2024

For reproducibility, we should always use the lock file when
retrieving dependencies and fail otherwise.

@Mr-Pepe Mr-Pepe force-pushed the 01-09-ci_Cache_.dart_tool_directory branch from bafeffb to 83b80a1 Compare January 9, 2024 17:05
@Mr-Pepe Mr-Pepe force-pushed the 01-09-ci_Enforce_lock_file_when_retrieving_dependencies branch from 0384f85 to 9807bf7 Compare January 9, 2024 17:05
@Mr-Pepe Mr-Pepe force-pushed the 01-09-ci_Cache_.dart_tool_directory branch from 83b80a1 to 10670f4 Compare January 9, 2024 17:19
@Mr-Pepe Mr-Pepe force-pushed the 01-09-ci_Enforce_lock_file_when_retrieving_dependencies branch from 9807bf7 to 69f32ab Compare January 9, 2024 17:19
Copy link
Collaborator Author

@Mr-Pepe Mr-Pepe left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Collaborator Author

Mr-Pepe commented Jan 9, 2024

Merge activity

  • Jan 9, 12:39 PM: @Mr-Pepe started a stack merge that includes this pull request via Graphite.
  • Jan 9, 12:40 PM: Graphite rebased this pull request as part of a merge.
  • Jan 9, 12:41 PM: @Mr-Pepe merged this pull request with Graphite.

Base automatically changed from 01-09-ci_Cache_.dart_tool_directory to main January 9, 2024 17:39
For reproducibility, we should always use the lock file when
retrieving dependencies and fail otherwise.
@Mr-Pepe Mr-Pepe force-pushed the 01-09-ci_Enforce_lock_file_when_retrieving_dependencies branch from 69f32ab to 2c23260 Compare January 9, 2024 17:39
@Mr-Pepe Mr-Pepe merged commit fd6f07f into main Jan 9, 2024
2 checks passed
@Mr-Pepe Mr-Pepe deleted the 01-09-ci_Enforce_lock_file_when_retrieving_dependencies branch January 9, 2024 17:41
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.

1 participant