Pinned Loading

1. action-setup-gh-cli action-setup-gh-cli Public

   Makes the GitHub CLI command available in your PATH

2. action-setup-jq action-setup-jq Public

   Simple GitHub Action to add jq to the path

3. Progress-based timeout Progress-based timeout

   1

   #!/usr/bin/env bash

   2

   3

   # This is an alternative for the GNU coreutils timeout, which resets the timer

   4

   # when the program writes to stdout. This allows setting much smaller timeout

   5

   # values for programs that regularly print progress messages, which allows

4. Retry with stdin replay Retry with stdin replay

   1

   #! /usr/bin/env bash

   2

   3

   # usage: retry ATTEMPTS COMMAND [...]

   4

   #

   5

   # This script provides a retry function capable of capturing and replaying data

5. Lisanna's eclectic nix troubleshooti... Lisanna's eclectic nix troubleshooting guide for suicidal power users

   1

   # Lisanna's eclectic nix troubleshooting guide for suicidal power users

   2

   3

   ## tar fails with exit code 1

   4

   ```

   5

   unpacking 'https://example.com/nixexprs.tar.xz'...

6. A formalization of the Boole-Schrode... A formalization of the Boole-Schroder algebra in Coq, with proofs of common properties

   1

   Class BooleSchroderAlgebra (A : Type) := {

   2

     zero : A;  (* null class *)

   3

     one : A;  (* universe of discourse class *)

   4

     union : A -> A -> A;

   5

     inter : A -> A -> A;