These are chat archives for coala/coala-bears

29th
Oct 2017
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 07:12
:point_up: October 28, 2017 9:39 PM
@jayvdb or any person any help will be important for me at this time :sweat_smile: please take a look i tried so many time approx 10 times with different commits buts its failing on bash.ci/deps.opam.sh with same error log I even trid to run without changes
John Vandenberg
@jayvdb
Oct 29 2017 07:44
Still failing on opam?
Are there issues in this repo about opam?
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 08:17
Yes still falling i will give a last try from my friend PC or bg creating a new branch to go for all the problem, as i can't delete the repo as i made a PR to solve upsteam bug
John Vandenberg
@jayvdb
Oct 29 2017 08:21
CI failure has nothing to do with your PC or a friends PC
Are there issues in this repo about opam?
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 12:00
@jayvdb Need permission to close a PR and create a new one to check whole process from start i.e why first my PR coala/coala-bears#2087is not showing in https://circleci.com/gh/coala/coala-bears and and getting the log as this issue is only with my PR
My circle ci details link on my PR is point to link instead it have to shown on link
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 12:08
@stellargo from you also, i am really wants to solve the problem asap as ACM is near
stellargo
@stellargo
Oct 29 2017 13:47
Ok here is what is happening, in your first PR, circle is running on a commit changed on your repo(fork), whilst on your second circle is running on a commit which is on the main coala-bears repo
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 13:48
yes thats what i want to say
but why this is happening i don't know
stellargo
@stellargo
Oct 29 2017 13:50
Did you compare across the right heads while making the PR?
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 13:51
I think No
stellargo
@stellargo
Oct 29 2017 14:01
If that doesnt work, ask some maintainer maybe rebuild without cache could work.
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 14:03

If that doesnt work, ask some maintainer maybe rebuild without cache could work.

You mean compare across the right Heads

stellargo
@stellargo
Oct 29 2017 14:12
I mean if that is not the fault then go on to try the rebuild without cache
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 14:24

I mean if that is not the fault then go on to try the rebuild without cache

I will do it later because I am preparing for ACM which is on 5th, hope you understand

John Vandenberg
@jayvdb
Oct 29 2017 14:36
@RaiVaibhav , please do not close PRs and delete your fork
never required
the docs should tell you not to do this.
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 14:37
I know but :disappointed:
Soory I already did the only to tackle the Ci Circle fail
John Vandenberg
@jayvdb
Oct 29 2017 14:38
then do something else until someone can help
you just deleted all evidence of the problem
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 14:41
I already solved the problem of Circle CI for my PR but i forgot that deletion will remove all the evidence of previous problem which can be a issue ,I don't know what to say now :disappointed:
stellargo
@stellargo
Oct 29 2017 15:01
You can solve it any time you like @RaiVaibhav :) You asked me to look for the problem so i helped :)
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 15:05
@jayvdb i will regenerate the error asap
You can solve it any time you like @RaiVaibhav :) You asked me to look for the problem so i helped :)
:+1:
John Vandenberg
@jayvdb
Oct 29 2017 15:06
@RaiVaibhav , no need to rush. the builds on the main repos are green. there is no major problems on our radar
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 15:22
Ok i think generated a error one more time
Here whats i am doing, first fork the coala-bears then clone it on folder(virtual environment) then i created a new branch name somebranch, made changes on branch then add ,commit, push and a simple open a PR from somebranchto master for that issue.
Here whats happening is Travis CI https://travis-ci.org/coala/coala-bears is running on a commit which is on the main coala-bears repo but Circle CI is not running on main coala-bears repo https://circleci.com/gh/coala/coala-bears
coala/coala-bears#2095
Also take a look at coala/coala-bears#2093 which works tottally fine when I made a PR from master branch
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 15:27
Now needed maintainers help in getting the problem
Mischa Krüger
@Makman2
Oct 29 2017 15:37
Do you have the specific link to your build @RaiVaibhav ? Currently it links to our general build page (pointing then to the most recent build)
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 15:40
These are the previous build https://circleci.com/gh/RaiVaibhav/coala-bears
I don't know why circle Ci is not initiated for my PR (coala/coala-bears#2095)
John Vandenberg
@jayvdb
Oct 29 2017 15:52
@RaiVaibhav those circleci links are not permanent links. we need permanent links , which will have build identifiers in the link
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 16:34
Permalink?but here Circle CI is initiating neither on main coala repo neither on my forked repo so how can i send current build link so previously i send those links and also i can only restart build of those commits
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 17:19
what to do next wait for someone to look onto it or create a PR with my master brach and solve the PysafetyBear problem first
Mischa Krüger
@Makman2
Oct 29 2017 19:12
@RaiVaibhav those CI links are pointing to the overview pages, not to specific builds. When I click on this link, I will see probably a different (and green) build
the build always changes, depending if someone pushed onto a PR
can you check this ,am serioulsy gets blocked from both side, i don't know where to go
Mischa Krüger
@Makman2
Oct 29 2017 19:18
/usr/bin/ocamlopt -I /home/ubuntu/.opam/system/lib/easy-format -I /home/ubuntu/.opam/system/lib/biniou -I /home/ubuntu/.opam/system/lib/yojson -I /home/ubuntu/.opam/system/lib/atdgen -I /home/ubuntu/.opam/system/lib/extlib -I /home/ubuntu/.opam/system/lib/camlzip/../zip -I /home/ubuntu/.opam/system/lib/ptrees -I /home/ubuntu/.opam/system/lib/javalib -I /home/ubuntu/.opam/system/lib/sawja unix.cmxa str.cmxa atdgen.cmxa extLib.cmxa zip.cmxa ptrees.cmxa javalib.cmxa sawja.cmxa easy_format.cmx bi_util.cmx bi_share.cmx bi_outbuf.cmx bi_inbuf.cmx bi_vint.cmx bi_io.cmx yojson.cmx ag_oj_run.cmx ag_ob_run.cmx ag_util.cmx -g backend/config.cmx backend/iList.cmx backend/utils.cmx backend/logging.cmx backend/DB.cmx backend/csu.cmx backend/latex.cmx backend/mangled.cmx backend/ident.cmx backend/procname.cmx backend/io_infer.cmx backend/location.cmx backend/serialization.cmx backend/typename.cmx backend/sil.cmx backend/prop.cmx backend/absarray.cmx backend/localise.cmx backend/exceptions.cmx backend/objc_models.cmx backend/mleak_buckets.cmx backend/errlog.cmx backend/procAttributes.cmx backend/attributesTable.cmx backend/cfg.cmx backend/propgraph.cmx backend/propset.cmx backend/paths.cmx backend/state.cmx backend/buckets.cmx backend/callTree.cmx backend/cg.cmx backend/errdesc.cmx checkers/idenv.cmx checkers/patternMatch.cmx checkers/annotations.cmx eradicate/modelTables.cmx eradicate/models.cmx eradicate/typeErr.cmx eradicate/typeOrigin.cmx eradicate/typeAnnotation.cmx eradicate/typeState.cmx backend/specs.cmx backend/reporting.cmx backend/prover.cmx backend/dotty.cmx backend/match.cmx backend/abs.cmx backend/exe_env.cmx backend/callbacks.cmx backend/printer.cmx checkers/checkers.cmx backend/ondemand.cmx backend/cluster.cmx backend/clusterMakefile.cmx backend/dom.cmx backend/fork.cmx backend/rearrange.cmx opensource/taint.cmx backend/tabulation.cmx checkers/printfArgs.cmx backend/symExec.cmx checkers/dataflow.cmx checkers/constantPropagation.cmx harness/androidFramework.cmx harness/inhabit.cmx harness/stacktrace.cmx harness/harness.cmx backend/interproc.cmx backend/version.cmx eradicate/eradicateChecks.cmx eradicate/typeCheck.cmx eradicate/eradicate.cmx checkers/callbackChecker.cmx checkers/checkDeadCode.cmx checkers/codeQueryAst.cmx checkers/codequeryParser.cmx checkers/codequeryLexer.cmx checkers/codeQuery.cmx checkers/fragmentRetainsViewChecker.cmx checkers/immutableChecker.cmx checkers/performanceCritical.cmx checkers/repeatedCallsChecker.cmx checkers/sqlChecker.cmx checkers/registerCheckers.cmx opensource/facebook.cmx backend/inferanalyze.cmx -o backend/inferanalyze.native
gcc: error: /home/ubuntu/.opam/system/lib/yojson/yojson.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/biniou/bi_io.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/biniou/bi_vint.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/biniou/bi_inbuf.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/biniou/bi_outbuf.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/biniou/bi_share.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/biniou/bi_util.o: No such file or directory
gcc: error: /home/ubuntu/.opam/system/lib/easy-format/easy_format.o: No such file or directory
File "caml_startup", line 1:
Error: Error during linking
Command exited with code 2.
make[2]: *** [build_java] Error 10
make[2]: Leaving directory `/home/ubuntu/infer-linux64-v0.7.0/infer/src'
make[1]: *** [java] Error 2
make[1]: Leaving directory `/home/ubuntu/infer-linux64-v0.7.0/infer'
make: *** [java] Error 2

  compilation failure; you can try running

    make clean
    ./build-infer.sh java


bash .ci/deps.opam.sh returned exit code 1

Action failed: bash .ci/deps.opam.sh
looks for me like an upstream problem on first sight
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:18
Yes
See this I just changed the branch to master and it runs fine coala/coala-bears#2093
Mischa Krüger
@Makman2
Oct 29 2017 19:20
oh okay
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:21
IMO my changes working fines but branch problem i have seen this first time
although I become active on github approx 25 days ago :laughing:
Mischa Krüger
@Makman2
Oct 29 2017 19:30
@jayvdb @RaiVaibhav I don't have any plan right now... I've just seen your issue on infer @jayvdb (mjambon/atdgen#68), maybe we have again problems with atdgen?
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:32
So should i open a PR from my master branch??
Mischa Krüger
@Makman2
Oct 29 2017 19:32
try it
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:32
:+1:
oops wrong channel ;)
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:49
@Makman2 I created a PR with master but then also Circle CI not initiating
coala/coala-bears#2097
:disappointed:
Mischa Krüger
@Makman2
Oct 29 2017 19:50
hm, try to repush, maybe it works then :/
Vaibhav Singh
@vaibhavsingh97
Oct 29 2017 19:50
@RaiVaibhav sometimes closing and reopening helps
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:51
trying
Mischa Krüger
@Makman2
Oct 29 2017 19:51
no please repush
that's better
just do git commit --amend --no-edit && git push -f
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:52
doing same
not initiating
Vaibhav Singh
@vaibhavsingh97
Oct 29 2017 19:56
corbo assign #1849
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:56
@Makman2 I want to give a last try by deleting the forked repo and open a PR with only master branch
use full link url
Mischa Krüger
@Makman2
Oct 29 2017 19:56
nah nah
don't you ever dare to delete your fork again :sweat_smile:
if Circle is not responding, let's wait until tomorrow
it will react again somewhen :+1:
Vaibhav Singh
@vaibhavsingh97
Oct 29 2017 19:57
corobo assign coala/coala-bears#1849
corobo
@co-robo
Oct 29 2017 19:57
Congratulations! You've been assigned to the issue. :tada:
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 19:59
:thumbsup: but its running only when i don't create a new branch and do some change in it but when i create PR from my default master branch and do not create any other branch i.e create changes only in master branchits runs as you can see
in coala/coala-bears#2093
Mischa Krüger
@Makman2
Oct 29 2017 20:01
hm
then make a PR from your fork's master
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:05
I did in coala/coala-bears#2097 but the forked repo hai branch name somebranch which has same commits as in master
thats why i asked to delete a REPO to create change only in master
I will try to delete the branch
But if I deleted a branch name somebranch I will loose my somebranch PR
Mischa Krüger
@Makman2
Oct 29 2017 20:10
yeah you have to reopen a new PR
anyway, make a local copy of your branch
by just checking out a new one from your PR branch^^
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:11
:+1:
what i have to do in last
I opened 2 PR with different branch and 1 PR from friends id to test :sweat_smile:
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:18
I serioulsly want to ask how you handle these situation
Mischa Krüger
@Makman2
Oct 29 2017 20:19
what do you mean? :)
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:20
seriously speaking like these irritating situation where I tried from 2 days to gets the exact error
make it to 3
Mischa Krüger
@Makman2
Oct 29 2017 20:21
what do you mean with "handling"?
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:22
@Makman2 you are asking question like corobo :sweat_smile: leave it
Mischa Krüger
@Makman2
Oct 29 2017 20:23
:3
so does it work with opening the PR from master branch?
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:24

so does it work with opening the PR from master branch?

means deleting a repo and creating a new repo and saving the previous repos of both branch locally?

Mischa Krüger
@Makman2
Oct 29 2017 20:30
no, just pushing your changes to the master branch of your fork and opening a PR from fork's master
never delete your fork :sweat_smile:
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:41

no, just pushing your changes to the master branch of your fork and opening a PR from fork's master

I already did but circle ci not initiating also that my forked repo also contains both master and a branch name somebranch but if i delete a branch -somebranch then i will effect my PR fromsomebranch PR and you said don't close a PR it will help in getting a issue log,so i made a PR from master branch to check then also circle CI not intitiated(Currently my forked repo contains both branch),so I opened a PR from my friends ID in which i made commit only in master branch IT works

Mischa Krüger
@Makman2
Oct 29 2017 20:42
okay I didn't fully understand what branches are where, but okay.
Maybe a temporary problem of Circle
let's wait a day, and we repush again and hope it triggers a build correctly
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:43
But why it is happening only with my forked repo branchs
Mischa Krüger
@Makman2
Oct 29 2017 20:43
I don't know, maybe because you deleted your fork before
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:49
I deleted a fork because this problem occuring previously but @jayvdb said I made a mistake as maybe i deleted a evidence of problem,so tried to regenerate the error and luckly same error occurs but previously atleast circle CI was initiating on my forked repo RaiVaibhav/coala-bears but currently its not even initiating
Mischa Krüger
@Makman2
Oct 29 2017 20:49
like said, maybe a temporary issue
I don't know why it's happening^^
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 20:49

like said, maybe a temporary issue

:+1:

stellargo
@stellargo
Oct 29 2017 21:10
@RaiVaibhav try pushing a no edited commit
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 21:11
ok wait
Vaibhav Rai
@RaiVaibhav
Oct 29 2017 21:17
No effect