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.

Sign up for GitHub

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

Jump to bottom

Bumped the build script. #3670

Merged
merged 1 commit into from
Aug 26, 2022
Merged

Bumped the build script. #3670

merged 1 commit into from
Aug 26, 2022

Conversation

mwu-tow
Copy link
Contributor

@mwu-tow mwu-tow commented Aug 26, 2022 •
edited
Loading

Pull Request Description

This PR updates the build script to remove the benchmark report from previous runs. This should address current failures.

Important Notes

Checklist

Please include the following checklist in your PR:

  • The documentation has been updated if necessary.
  • All code conforms to the
    Scala,
    Java,
    and
    Rust
    style guides.
  • All code has been tested:
    • Unit tests have been written where possible.
    • If GUI codebase was changed: Enso GUI was tested when built using BOTH
      ./run ide build and ./run ide watch.

@mwu-tow mwu-tow marked this pull request as ready for review August 26, 2022 05:34
@mwu-tow mwu-tow merged commit 020d080 into develop Aug 26, 2022
@mwu-tow mwu-tow deleted the wip/mwu/build-script-bump2 branch August 26, 2022 05:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mwu-tow