GitHub PR Check Status

provides better UI for PR check status details

Wat is GitHub PR Check Status?

GitHub PR Check Status is een Chrome-extensie ontwikkeld door bdkent, en de belangrijkste functie is "provides better UI for PR check status details".

Extensie Screenshots

screenshot

Download het CRX-bestand van de extensie GitHub PR Check Status

Download GitHub PR Check Status-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

                        The current GitHub pull request UI has a tiny window to the CI Action "Checks". Many large projects have dozen of checks that run per push but there is no good way to see / filter all the actions. This browser extension provides a little icon on the bottom right that when clicked will display an overlay that lets one see and filter the checks.                    

Basisinformatie over de Extensie

Naam GitHub PR Check Status GitHub PR Check Status
ID ldddlenkajkonchccpkjapihmdgjgjop
Officiële URL https://chromewebstore.google.com/detail/github-pr-check-status/ldddlenkajkonchccpkjapihmdgjgjop
Beschrijving provides better UI for PR check status details
Bestandsgrootte 53.68 KB
Aantal Installaties 49
Huidige Versie 1.0.2
Laatst Bijgewerkt 2023-09-20
Publicatiedatum 2023-08-13
Ontwikkelaar bdkent
E-mail [email protected]
Betalingswijze free
Extensiewebsite https://github.com/bdkent/gh-pr-ext
Help Pagina-URL https://github.com/bdkent/gh-pr-ext/issues
Ondersteunde Talen en-US
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "manifest_version": 3,
    "name": "GitHub PR Check Status",
    "description": "provides better UI for PR check status details",
    "version": "1.0.2",
    "content_scripts": [
        {
            "matches": [
                "*:\/\/github.com\/*\/*\/pull\/*"
            ],
            "js": [
                "js\/content.js"
            ]
        }
    ],
    "icons": {
        "16": "icon-16.png",
        "48": "icon-48.png",
        "128": "icon-128.png"
    },
    "browser_specific_settings": {
        "gecko": {
            "id": "[email protected]",
            "strict_min_version": "42.0"
        }
    }
}