zactionsz

Popular repositories Loading

1. tla-tools tla-tools Public

   Immutable TLA+ tools releases and a SHA-256-verifying GitHub Action installer

   TypeScript

2. setup-maelstrom setup-maelstrom Public

   Install and validate pinned Maelstrom environments in GitHub Actions

   TypeScript

3. setup-zrail setup-zrail Public

   Install a checksum-pinned zrail release in GitHub Actions

   TypeScript

4. setup-zcheck setup-zcheck Public

   Install exact checksum-pinned zcheck releases in GitHub Actions

   TypeScript

5. setup-rust setup-rust Public

   Install an explicit Rust toolchain for GitHub Actions without hidden CI policy

   TypeScript

6. setup-smoque setup-smoque Public

   Install checksum-pinned Smoque releases in GitHub Actions

   TypeScript