Comments (3)
zardus
commented on August 28, 2024
1
For the record, if someone did extend the test stuff with github API magic, that'd be great and a really welcome PR. The less work we have to do to run CI, the better :-)
from angr-dev.
rhelmot
commented on August 28, 2024
We looked into doing this. The real issue is with how github handles merge requests, i.e. it pre-merges everything and puts the result on a ref, and this is what is used for testing. Correct testing would require not only identifying the alternate repos which needed to be pulled in, but also identifying the alternate pull request number and grabbing the corresponding premerged ref.
It's. Doable, but it would require installing the github API and doing some really horrible stuff I really really do not want to do ever ever ever. In the meantime, prsync.py to do local testing is enough. There's nothing sacred about travis.
from angr-dev.
ekilmer
commented on August 28, 2024
Sounds good! I should really use the tools in angr-dev to set up my dev environment better... Thanks again.
from angr-dev.
Related Issues (20)
- pypy environment setup failed
- I want to be able to `pip install -e .` angr/archr/angr-management/etc HOT 11
- Dockerfile is broken
- Development install "./setup.sh -i -p angr" is not working HOT 3
- about usage of the feature ReachingDefinitions engine HOT 1
- Add OS dependencies check to each setup.py HOT 4
- Exception has occurred: ArchNotFound - Can't find architecture info for architecture image_file_machine_unknown with '' bits and unsure endness HOT 4
- Document native dependencies in setup.sh HOT 2
- Trim native depedencies in setup.sh HOT 3
- ERROR: No matching distribution found for angr==9.2.5.dev0 HOT 8
- setup script simplification HOT 2
- Typo in setup.sh when setting venvwrapper_loc
- setup script fails on Ubuntu 22.04 due to changed package name(libgcc1 -> libgcc-s1) HOT 7
- Incompatible versions of some packages due to updates in the last three days HOT 2
- Prefer `angr` repos to external repos? HOT 2
- `./setup.sh -i -e angr` due to `archr` requiring `--no-build-isolation` when `pip` installing HOT 2
- Crashes in pyqodeng on startup
- The pinned version of setuptools (64.0.1) fails for virtualenv with python3.12 HOT 5
- angr-management fails to install because of dependency conflicts virtualenv python3.12 HOT 3
- Editable build in strict mode (#187) prevents git updates and breaks angr management plugins HOT 1
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 angr-dev.