☰

GitHub Actions Filter Button

Filter Kata Containers passed or non-required checks.

Auteur
Xuewei Niu
Installations quotidiennes
0
Installations (total)
6
Notes
0 0 0
Version
1.0.10
Créé
06/02/2024
Mis à jour
23/02/2024
Taille
5,72 ko
Licence
Apache-2.0
S'applique à

Vous pouvez également essayer ces scripts connexes :

  • PlumFont - Remplacez Roboto, Segoe UI, Arial et autres polices - Remplacez les polices des pages Web par celles de votre choix. Arrêtez d'utiliser Segoe UI, Arial et Microsoft YaHei. Remplacez les chiffres anglais par les polices SF Pro et Inter.
  • 🏷️ UTags - Ajouter des tags utilisateur aux liens - Améliorez votre expérience de navigation en ajoutant des tags personnalisés et des notes aux utilisateurs, publications et vidéos sur le web. Parfait pour organiser le contenu, identifier les utilisateurs et filtrer les publications indésirables. Fonctionne également comme un outil moderne de gestion des signets. Prend en charge plus de 100 sites web populaires, notamment X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch et bien d'autres.
  • Assistant de saut rapide de l’entrepôt GitHub - 🤠 Assistant de saut rapide d’entrepôt GitHub, spécialement conçu pour aider les utilisateurs à accéder rapidement à leurs propres entrepôts sur GitHub. Il génère un bouton en haut de la barre de navigation. Cliquez pour développer tous vos référentiels et accéder facilement à votre propre page de référentiel GitHub sans utiliser le menu secondaire de GitHub.
  • GitHub affiche les tailles de fichiers et de dossiers - Affiche la taille de chaque fichier et dossier dans le référentiel GitHub. Il utilise l’API GitHub pour obtenir des détails, y compris les tailles de dossiers récursives, ce qui facilite la vision de la taille totale des répertoires imbriqués. Afficher la taille du fichier dans KB, MB ou GB
  • 🏷️ UTags - Ajouter des tags utilisateur aux liens - staging - Améliorez votre expérience de navigation en ajoutant des tags personnalisés et des notes aux utilisateurs, publications et vidéos sur le web. Parfait pour organiser le contenu, identifier les utilisateurs et filtrer les publications indésirables. Fonctionne également comme un outil moderne de gestion des signets. Prend en charge plus de 100 sites web populaires, notamment X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch et bien d'autres.