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

fix: broken CI and updates to CI #110

Merged
merged 6 commits into from
Jul 7, 2023
Merged

fix: broken CI and updates to CI #110

merged 6 commits into from
Jul 7, 2023

Conversation

cgrindel
Copy link
Owner

@cgrindel cgrindel commented Jul 6, 2023

  • Upgrade bazel-starlib to 0.16.1.
  • Use tidy_check.
  • Ensure doc generation works.
  • Fix the all_ci_tests to fail if any of the dependent tests fail.

Related to #97.

@cgrindel cgrindel self-assigned this Jul 6, 2023
@cgrindel cgrindel enabled auto-merge (squash) July 6, 2023 22:30
@cgrindel cgrindel merged commit a532cec into main Jul 7, 2023
3 checks passed
@cgrindel cgrindel deleted the gh097_fix_broken_ci branch July 7, 2023 21:04
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