feat: DEVOPS-700 scilla pipelines from jenkins to gha

Zilliqa · Jun 19, 2023 · fdcddd7 · fdcddd7
1 parent cb9e225
commit fdcddd7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -232,7 +232,7 @@ coveralls:
 	BISECT_ENABLE=YES make
 	dune build @install
 	ulimit -n 1024; dune exec -- tests/testsuite.exe
-	bisect-ppx-report coveralls coverage.json --ignore-missing-files --service-name jenkins --service-job-id ${TRAVIS_JOB_ID}
+	bisect-ppx-report coveralls coverage.json --ignore-missing-files --service-name jenkins --service-job-id ${GITHUB_RUN_NUMBER}
 	curl -L -F json_file=@./coverage.json https://coveralls.io/api/v1/jobs
 	make clean
 	-find . -type f -name 'bisect*.coverage' | xargs rm