Comments (3)
the bot could link to the exact point of the log where the error happened
That's a very good idea. Unfortunately, in GitLab CI, I'm not aware of a way to link to a specific line of the log (see e.g. https://gitlab.com/gitlab-org/gitlab-ce/issues/13205).
from bot.
Instead of linking to a specific line on GitLab, we now could extract the relevant error from the log and display it in the Checks tab. We just need to determine what we are looking for. The words "error" and "warning"?
from bot.
We are currently reporting the last 40 lines of failed builds. Please reopen if you have suggestions on how to improve this.
from bot.
Related Issues (20)
- Print warnings from GraphQL API results in log.
- coqbot minimizer should upload and attach the file to GH when it's truncated HOT 1
- Migrating the backporting tracking mechanism to Projects V2. HOT 6
- Document coqbot bench.
- Reduce log verbosity by printing less output for git commands HOT 2
- Incorrect link to gitlab pipeline in github check HOT 2
- `update_bench_status` should check whether status is valid before querying GitHub.
- Issue in the bug minimizer code with the call to git push --delete.
- Support for `@coqbot run full CI` in PR body. HOT 1
- coqbot can show light pipeline as cancelled when full pipeline is running.
- Using coqbot to run OCaml benchmarks HOT 3
- Add backoff strategy to auto retry of failing CI jobs HOT 7
- ci minimization is broken due to change in format of reporting results HOT 4
- [CI minimization] File name should include project info rather than be `bug.v`
- Bot doesn't generate CI merge commits anymore HOT 1
- "needs" and "request full CI" should be removed only after the pipeline is successfully started
- coqbot should be able to add reactions rather than just posting comments (e.g., for minimization)
- Minimizer on issues should be able to compare coq versions
- Deprecation in GraphQL API to address by the end of June. HOT 1
- Coqbot could schedule a benchmark of CI run when the tag is set.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from bot.