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

Run performance benchmarks in CI #182

Closed
shonfeder opened this issue Jul 9, 2020 · 3 comments
Closed

Run performance benchmarks in CI #182

shonfeder opened this issue Jul 9, 2020 · 3 comments
Assignees
@shonfeder
Labels
Finfra-high Feature: Infrastructure improvements high prio
Milestone
February iteration

Comments

@shonfeder
Copy link
Contributor

Following up on #152 and apalache-mc/apalache-tests#1, we want to run the benchmarks and long running integration test in the CI here.

At minimum, we'd like to run the tests weekly, to ensure we catch regressions early, and, ideally, they should also run before the release process.

I'll post a followup here scoping out what needs doing in greater detail, but I think the following issues are prerequisites for beginning this (or, at least, must be accomplished in the process):

apalache-mc/apalache-tests#1
apalache-mc/apalache-tests#2
@shonfeder shonfeder changed the title Run performance benchmarks as in CI Run performance benchmarks in CI Jul 9, 2020
@shonfeder shonfeder self-assigned this Jul 9, 2020
@shonfeder
Copy link
Contributor Author

As per apalache-mc/apalache-tests#1 (comment), we've decided to keep the performance benchmarks in their own repo. So I'm transferring to the appropriate repo.

@shonfeder shonfeder transferred this issue from apalache-mc/apalache Jul 20, 2020
@shonfeder
Copy link
Contributor Author

Oop, I think this transfer was actually ill advised. We'll still want to incorporate this into the CI pipeline in the main repo. Sorry for the noise.

@shonfeder shonfeder transferred this issue from apalache-mc/apalache-tests Jul 20, 2020
@shonfeder shonfeder mentioned this issue Jul 20, 2020
Closed
@shonfeder shonfeder mentioned this issue Sep 19, 2020
Merged
@konnov konnov added this to the v0.14.0-infrastructure milestone Sep 23, 2020
@konnov konnov added the Finfra-high Feature: Infrastructure improvements high prio label Dec 6, 2020
@shonfeder shonfeder mentioned this issue Dec 7, 2020
Closed
@konnov konnov modified the milestones: v0.14.0-infrastructure, backlog2021 Dec 11, 2020
@shonfeder
Copy link
Contributor Author

Lol, we ended up with this issue in triplicate :D

Closed by apalache-mc/apalache-tests#22

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@shonfeder shonfeder

Labels
Finfra-high Feature: Infrastructure improvements high prio
Projects
None yet
Milestone
February iteration
Development

No branches or pull requests
2 participants
@konnov @shonfeder