Ce projet est un orb CircleCI qui fournit des jobs pour publier des statuts de contrôle personnalisés GitHub. Il permet de suivre l'état des dépôts GitHub et d'automatiser la publication de statuts personnalisés, facilitant ainsi l'intégration continue et le déploiement continu avec CircleCI.

Projet gérant l'intégration et la copie de branches entre dépôts GitHub.

This project provides reusable GitHub actions for automating the deployment of applications to Scalingo, a Platform as a Service (PaaS) provider. It includes a workflow for deploying an app from a tar.gz URL, which can be easily integrated into any project's GitHub Actions workflow.

Le projet test-github-actions est conçu pour automatiser les workflows de développement, en assurant l'intégration continue et le déploiement continu grâce à des actions GitHub. Il permet également d'exécuter des tests automatisés de code source, améliorant ainsi l'efficacité et la qualité du processus de développement.

Ce projet fournit une documentation sur l'utilisation du service continu d'intégration d'INRIA avec Github, facilitant ainsi le processus de développement et d'intégration pour les équipes INRIA.

Ce projet est un framework web moderne permettant de publier des articles scientifiques en Open Science sur GitHub. Il intègre des fonctionnalités telles que la gestion de commentaires via des issues GitHub, la personnalisation de l'affichage des notifications avec Toastr et l'annotation de parties spécifiques d'un article.

Ce projet permet de déployer automatiquement des sites web statiques construits avec React vers des buckets S3 d'OVH. Il s'intègre à GitHub Actions pour assurer une intégration continue.

Ce projet est une ressource pédagogique pour une journée de formation au code pour les non-développeurs, fournissant des instructions pour l'installation de GitHub, Scalingo, git et python, et couvrant des sujets tels que les pages statiques avec HTML et CSS, Django pour le développement web et l'intégration de formulaires HTML.

DashLord est un outil permettant de surveiller et de générer des rapports sur l'état de conformité aux bonnes pratiques techniques pour différentes URLs. Il s'intègre avec GitHub Actions pour automatiser les scans et la génération de rapports.

DashLord est un outil permettant de surveiller et de générer des rapports sur l'état de conformité aux bonnes pratiques techniques pour différentes URLs. Il s'intègre avec GitHub Actions pour automatiser les scans et la génération de rapports.