8000 Tags · leettools-dev/leettools · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: leettools-dev/leettools

D71C Tags

1.0.17

Toggle 1.0.17'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 
Change DEFAULT_SEARCHER_TYPE to bm25_dense. (#136)

* Bump version to 1.0.17

* Change DEFAULT_SEARCHER_TYPE to bm25_dense.

1.0.16

Toggle 1.0.16'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 
Update version number to 1.0.16 (#126)

1.0.15

Toggle 1.0.15'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 
Bump version to 1.0.15 (#124)

1.0.14

Toggle 1.0.14'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 
Fix github build workflow and startup scripts. (#123)

* Fix github flow

* Add image pulling from docker/start.sh

* Fix start.sh

* Fix start.sh

* fix images fetching.

* Fix image checking

* Setting LeetHome automatically.

* Create empty .env by default.

* Fix permission for docker/stop.sh

* Move shared config check to docker_util.sh

* Add default leet_home to start_docker.sh
0