Skip to content

Tags: the-nix-way/dev-templates

Tags

v0.1.5

Toggle v0.1.5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #79 from sebaszv/python/update

python: Facilitate version changes

v0.1.4

Toggle v0.1.4's commit message

Verified

This commit was signed with the committer’s verified signature.
lucperkins Luc Perkins
GPG key ID: 16DB1108FB591835
Verified
Learn about vigilant mode 
Add support for Lean 4

v0.1.3

Toggle v0.1.3's commit message

Verified

This commit was signed with the committer’s verified signature.
lucperkins Luc Perkins
GPG key ID: 16DB1108FB591835
Verified
Learn about vigilant mode 
Enable fail mode for Flake Checker

v0.1.2

Toggle v0.1.2's commit message

Verified

This commit was signed with the committer’s verified signature.
lucperkins Luc Perkins
GPG key ID: 16DB1108FB591835
Verified
Learn about vigilant mode 
Fix shells

v0.1.1

Toggle v0.1.1's commit message

Verified

This commit was signed with the committer’s verified signature.
lucperkins Luc Perkins
GPG key ID: 16DB1108FB591835
Verified
Learn about vigilant mode 
Switch to FlakeHub URLs

v0.1.0

Toggle v0.1.0's commit message

Unverified

This user has not yet uploaded their public signing key.
GPG key ID: CED8419FB058467A
Learn about vigilant mode 
Minor change to workflow YAML