Comments (4)
livnev
commented on June 11, 2024
@chenIshi Hi, thanks for reporting this. I'm unable to reproduce this with the latest master. Could you check that the repo is checked out properly and that you are on the latest master?
from klab.
chenIshi
commented on June 11, 2024
It was in branch v0.2.4, which seems to be a little bit out-dated (while I was able to build it in current master branch).
from klab.
chenIshi
commented on June 11, 2024
And also branch v2.0.4 didn't have the file env to config environment variable
Maybe should update readme.md to a newer version ?
from klab.
livnev
commented on June 11, 2024
@chenIshi Good call, we needed to update the v0.2.4 tag. I've just pushed v0.2.4 to the latest master. Please let us know if you have any other issues.
from klab.
Related Issues (20)
- Fast way to look up dapp.ci/<project>/<hash> for a given branch from github
- Adapt PC extractor to work with library functions HOT 2
- Deal with ASTs produced by Waffle HOT 1
- Filter out unrelated constraint changes HOT 4
- Use wall-clock time in timeouts
- Document failure heading
- Document resources/k.json
- klab fetch shouldn't focus HOT 4
- fetch running proofs
- Document dirty lemmas feature
- Investigate .git requirements in klab-prove-all
- klab debug's rule view uses hardcoded paths HOT 5
- Show lemmas in r view HOT 2
- Strip metadata before calculating proof hash HOT 7
- report: make 'not-specified' rows more distinguishable
- report: fetch url is editable
- report: split methods into accessors and mutators in overview
- Document files in KLAB_OUT
- act2 migration
- Using eDSL instead of ACT as spec
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from klab.