GitHub workflow for automatically generating Luarocks releases from tags and running busted tests
- automation
- busted
- cicd
- luarocks
Repository Index
47,133 repositories indexed
25–30 of 30 · Most stars
Automatically import infrastructure to tfstate
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Dynamically configure applications that require static configuration in docker container.
- nim
- smalte
- template
- docker
Automatically update a local or remote hosts file with Docker container hostnames
A GitHub Action that automatically updates Quarto extensions in your repository, similar to how Dependabot manages dependencies.
- dependabot
- github-actions
- quarto
- quarto-extension