DGNum/gestioCOF
13
2
Fork 1
Code Issues 77 Pull requests 14 Packages Projects Releases 12 Wiki Activity

core -- Disable coverage in GitLab CI #622

Merged
delobell merged 0 commits from aureplop/ci-disable-coverage-in-gitlab into master 2018-10-06 10:14:58 +02:00
Conversation 5 Commits - Files changed -
delobell commented 2018-10-06 02:48:53 +02:00 (Migrated from git.eleves.ens.fr)
Copy link
No description provided.
delobell commented 2018-10-06 02:49:57 +02:00 (Migrated from git.eleves.ens.fr)
Copy link

enabled an automatic merge when the pipeline for cc4e3223b6 succeeds

enabled an automatic merge when the pipeline for cc4e3223b63de09f44b4ae003aa4aa21a4081b83 succeeds
delobell commented 2018-10-06 03:24:25 +02:00 (Migrated from git.eleves.ens.fr)
Copy link

added ~33 label

added ~33 label
delobell commented 2018-10-06 04:01:47 +02:00 (Migrated from git.eleves.ens.fr)
Copy link

canceled the automatic merge

canceled the automatic merge
delobell commented 2018-10-06 10:15:03 +02:00 (Migrated from git.eleves.ens.fr)
Copy link

merged

merged
delobell commented 2018-10-06 10:15:12 +02:00 (Migrated from git.eleves.ens.fr)
Copy link

mentioned in commit dda803b7d5

mentioned in commit dda803b7d5048108a7dbb685b5007a787f73fffd
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
devtype -- backend

Au programme : du Python, du Django...

  
devtype -- docs

   
devtype -- frontend

   
devtype -- user interface

Au programme : templating, JS, CSS...

  
difficulty -- easy

   
difficulty -- hard

Difficile et/ou risqué

  
difficulty -- normal

   
Doing

   
domain -- bda

Concerne l'application BdA

  
domain -- bds

   
domain -- cof

Concerne l'application COF

  
domain -- core

Dépendances externes, CI, linting...

  
domain -- kfet

Concerne l'application K-Fêt

  
Good first issue

   
priority -- high

Urgent quoi

  
priority -- low

   
priority -- medium

   
priority -- staff-wanted

L'équipe dirigeante du domaine en question souhaite cette fonctionnalité.

  
status -- development

En cours de développement

  
status -- discussion

Avant de coder, c'est bien de discuter

  
status -- need review

En attente de code review

  
status -- production

L'ajout/la modification est présente en production

  
status -- ready to merge

Plus qu'à merger !

  
status -- todo

Le développement devrait bientôt commencer

  
To Do

   
type -- bug

Signalement ou correction de bug

  
type -- hygiene

Tout ce qui amène à du code plus propre et un repo mieux organisé.

  
type -- improvement

Ajout/Demande d'évolution mineure d'une fonctionnalité existante

  
type -- new feature

Ajout/Demande d'une nouvelle fonctionnalité

No labels
devtype -- backend
devtype -- docs
devtype -- frontend
devtype -- user interface
difficulty -- easy
difficulty -- hard
difficulty -- normal
Doing
domain -- bda
domain -- bds
domain -- cof
domain -- core
domain -- kfet
Good first issue
priority -- high
priority -- low
priority -- medium
priority -- staff-wanted
status -- development
status -- discussion
status -- need review
status -- production
status -- ready to merge
status -- todo
To Do
type -- bug
type -- hygiene
type -- improvement
type -- new feature
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: DGNum/gestioCOF#622
No description provided.
Delete branch "aureplop/ci-disable-coverage-in-gitlab"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?