Skip to content

coqbot 0.2.0

Latest
Latest
Compare
Choose a tag to compare
@Zimmi48 Zimmi48 released this 09 Sep 09:58
· 419 commits to master since this release
v0.2.0
a47d19b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

The @jtcoolen's internship final release.

Added

  • Integrate with Jason Gross' coq-bug-minimizer tool.
  • Merge a branch in the coq repository if some conditions are met, by writing @coqbot: merge now in a comment.
  • Parameterize the bot with a configuration file.
  • Installation as a GitHub App is supported.
  • Report CI status checks with the Checks API when using the GitHub app.
  • Report errors of jobs in allow failure mode when the Checks API is used.

Changed

  • Refactored the architecture of the application and of the bot-components library
  • Always create a merge commit when pushing to GitLab.
  • More informative bot merge commit title for GitLab CI.
Assets 3
Loading