add CI action for Cicero #1280
Merged
add CI action for Cicero #1280
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
dermetfan
force-pushed
the
cicero
branch
2 times, most recently
from
93e519c to
2cfc58a
Compare
dermetfan
force-pushed
the
cicero
branch
2 times, most recently
from
29de99d to
976d6a5
Compare
dermetfan
commented
Oct 12, 2022
iohk-bors bot
added a commit
to IntersectMBO/cardano-node
that referenced
this pull request
Nov 10, 2022
4518: fix nix impurity r=dermetfan a=dermetfan `builtins.currentSystem` is not available in pure evaluation. Discovered while working on IntersectMBO/cardano-db-sync#1280. Co-authored-by: Robin Stumm <[email protected]>
dermetfan
force-pushed
the
cicero
branch
5 times, most recently
from
76e328a to
697a995
Compare
dermetfan
force-pushed
the
cicero
branch
6 times, most recently
from
db06300 to
08a9720
Compare
|
@dermetfan is this finalised? Does it require a rebase or a review from @input-output-hk/devops |
dermetfan
force-pushed
the
cicero
branch
2 times, most recently
from
4487b4f to
68a5bfa
Compare
|
Cicero reports this error for As it fails with the same message on master as well I would say CI is doing its job and this is ready to merge. @kderme |
iohk-bors bot
added a commit
that referenced
this pull request
Feb 23, 2023
1280: add CI action for Cicero r=jbgi a=dermetfan This adds a Cicero action that runs all hydra jobs on pushes and pull requests. Also purified nix evaluation of hydra jobs. Co-authored-by: Robin Stumm <[email protected]> Co-authored-by: Jean-Baptiste Giraudeau <[email protected]>
|
Timed out. |
jbgi
force-pushed
the
cicero
branch
5 times, most recently
from
bf4df71 to
d5d70ce
Compare
|
bors r+ |
|
👎 Rejected by too few approved reviews |
jbgi
approved these changes
Feb 24, 2023
|
bors r+ |
|
bors r- |
|
Canceled. |
|
bors r+ |
iohk-bors bot
added a commit
that referenced
this pull request
Feb 24, 2023
1280: add CI action for Cicero r=jbgi a=dermetfan This adds a Cicero action that runs all hydra jobs on pushes and pull requests. Also purified nix evaluation of hydra jobs. Co-authored-by: Robin Stumm <[email protected]> Co-authored-by: Jean-Baptiste Giraudeau <[email protected]>
|
This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried. Additional information: {"message":"Waiting on code owner review from input-output-hk/docs-access. 3 of 4 required status checks are expected.","documentation_url":"https://docs.github.com/articles/about-protected-branches"} |
olgahryniuk
approved these changes
Feb 24, 2023
|
bors r+ |
iohk-bors bot
added a commit
that referenced
this pull request
Feb 24, 2023
1280: add CI action for Cicero r=jbgi a=dermetfan This adds a Cicero action that runs all hydra jobs on pushes and pull requests. Also purified nix evaluation of hydra jobs. Co-authored-by: Robin Stumm <[email protected]> Co-authored-by: Jean-Baptiste Giraudeau <[email protected]>
|
This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried. Additional information: {"message":"3 of 4 required status checks are expected.","documentation_url":"https://docs.github.com/articles/about-protected-branches"} |
CarlosLopezDeLara
approved these changes
Feb 24, 2023
|
bors r+ |
|
Build succeeded: |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds a Cicero action that runs all hydra jobs on pushes and pull requests.
Also purified nix evaluation of hydra jobs.