Ce site fonctionne mieux avec JavaScript.
Accueil
Explorateur
Aide
Connexion
TechnikNews
/
PublicAPIs
miroir de
https://github.com/public-apis/public-apis
Suivre
1
Ajouter aux favoris
2
Bifurcation
0
Code
Tickets
0
Versions
0
Wiki
Activité
Parcourir la source
Add main CI driver script
pull/385/head
Dave Machado
il y a 6 ans
Parent
5902def838
révision
eb4b1dfa05
1 fichiers modifiés
avec
8 ajouts
et
0 suppressions
Vue séparée
Option de Diff
Voir les Statistiques
Télécharger le Fichier Patch
Télécharger le Fichier des Différences
+8
-0
build/main.sh
+ 8
- 0
build/main.sh
Voir le fichier
@@ -0,0 +1,8 @@
#!/bin/bash
if [ "$TRAVIS_BRANCH" == "master" ]
then
awesome_bot README.md --allow-ssl --allow 403,302
fi
./validate.rb ../README.md
Écrire
Aperçu
Chargement…
Annuler
Enregistrer