Václav Kubernát syyyr
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name GitHub PR: expand CI check list | |
| // @namespace http://tampermonkey.net/ | |
| // @version 2025-03-05 | |
| // @description Remove scrolling GitHub Action checks on PRs | |
| // @author Václav Kubernát | |
| // @match https://github.com/*/*/pull/* | |
| // @icon https://www.google.com/s2/favicons?sz=64&domain=github.com | |
| // @grant none | |
| // ==/UserScript== |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| set -eu | |
| if [[ $# != 1 || "$1" = "--help" || "$1" = "-h" ]]; then | |
| echo "$0 - runs a ctest inside gdb, including fixtures and environment" | |
| echo "Usage: $0 <test_name>" | |
| echo | |
| echo "Options:" | |
| echo " <test_name> Test to be ran. The same for 'ctest -R <test_name>'" | |
| echo |