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 test and change output directory #660

Merged
merged 8 commits into from
Oct 28, 2023
Merged

fix test and change output directory #660

merged 8 commits into from
Oct 28, 2023

Conversation

0xJepsen
Copy link
Collaborator

@0xJepsen 0xJepsen commented Oct 27, 2023

Closes #657 and fixes tests

  • updates CI to not use Macos (expensive)
  • Removes book deploy from CI

@codecov
Copy link

codecov bot commented Oct 27, 2023

Codecov Report

Merging #660 (3c4d035) into main (e69eb77) will decrease coverage by 2.00%.
Report is 14 commits behind head on main.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##             main     #660      +/-   ##
==========================================
- Coverage   60.67%   58.67%   -2.00%     
==========================================
  Files          26       26              
  Lines        5551     5551              
==========================================
- Hits         3368     3257     -111     
- Misses       2183     2294     +111     
Files Coverage Δ
arbiter-core/src/data_collection.rs 0.00% <0.00%> (-91.40%) ⬇️

... and 3 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@0xJepsen 0xJepsen requested a review from Alexangelj October 27, 2023 22:13
Comment on lines -112 to -131
if-no-files-found: error

deploy:
# Only deploy if a push to main
if: github.ref_name == 'main' && github.event_name == 'push'
runs-on: ubuntu-latest
needs: [test, lint, build]

# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions:
pages: write
id-token: write

environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}

steps:
- name: Deploy to GitHub Pages
id: deployment
Copy link
Collaborator

Choose a reason for hiding this comment

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

What all is being removed here?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

This is removing the deploy job for the book that we never run because our mdbook isn't deployed to github pages (yet)

@0xJepsen 0xJepsen merged commit 2b57acd into main Oct 28, 2023
10 of 11 checks passed
@0xJepsen 0xJepsen deleted the event_logger_patch branch October 28, 2023 13:24
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.

Patch: Simout
2 participants