angr / claripy

An abstraction layer for constraint solvers.
BSD 2-Clause "Simplified" License
275 stars 90 forks source link

master's CI is hanging #314

Closed zwimer closed 1 year ago

zwimer commented 1 year ago

Description

It started manifesting at this commit on claripy master: https://github.com/angr/claripy/commit/b5c4baa1ecdfcde0bb9bea3e75884f95e5b19330

But the branch that was merged in at that commit passed CI: https://github.com/angr/claripy/actions/runs/3374465072

But after that commit was made, nightly CI passed: https://github.com/angr/claripy/actions/runs/3382117037

I tried reverting the commit on this branch, but that didn't seem to fix it, indicating to me that this is a preexisting issue that simply didn't manifest before: https://github.com/angr/claripy/actions/runs/3389153046

This might be from angr though, since it's CI seems to be hanging too: https://github.com/angr/angr/actions/runs/3389056066

zwimer commented 1 year ago

Fixed in angr via: https://github.com/angr/angr/pull/3597