Extending the team with a project-specific bot - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

Extending the team with a project-specific bot

Résumé

While every other software team is adopting off-the-shelf bots to automate everyday tasks, the Coq team has made a different choice by developing and maintaining a project-specific bot from the ground up. In this article, we describe the reasons for this choice, what kind of automation this has allowed us to implement, how the many features of this custom bot have evolved based on internal feedback, and the technology and architecture choices that have made it possible.
Fichier principal
Vignette du fichier
paper.pdf (187.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03479327 , version 1 (14-12-2021)
hal-03479327 , version 2 (25-04-2022)

Identifiants

Citer

Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert. Extending the team with a project-specific bot. 2021. ⟨hal-03479327v1⟩
181 Consultations
101 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More