chore: removed github workflows

This commit is contained in:
Zhongheng Liu 2025-07-06 19:00:36 +03:00
commit a2f4ace863
Signed by: steven
GPG key ID: 805A28B071DAD84B
7 changed files with 46 additions and 202 deletions

2
.envrc
View file

@ -1,3 +1,3 @@
source_url "https://raw.githubusercontent.com/cachix/devenv/95f329d49a8a5289d31e0982652f7058a189bfca/direnvrc" "sha256-d+8cBpDfDBj41inrADaJt+bDWhOktwslgoP5YiGJ1v0="
source_url "https://raw.githubusercontent.com/cachix/devenv/82c0147677e510b247d8b9165c54f73d32dfd899/direnvrc" "sha256-7u4iDd1nZpxL4tCzmPG0dQgC5V+/44Ba+tHkPob1v2k="
use devenv