Skip to content

Actions: a16z/jsi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sync lock file release #3: Commit 7492516 pushed by 0xkarmacoma
31s v0.1.1
v0.1.1
31s
fix deadlock for solvers with large output pr #21: Pull request #10 synchronize by 0xkarmacoma
39s fix-yices-deadlock
fix-yices-deadlock
39s
fix deadlock for solvers with large output pr #20: Pull request #10 synchronize by 0xkarmacoma
34s fix-yices-deadlock
fix-yices-deadlock
34s
fix deadlock for solvers with large output pr #19: Pull request #10 opened by 0xkarmacoma
29s fix-yices-deadlock
fix-yices-deadlock
29s
add solver variants: bitwuzla-abstraction and cvc5-int-blasting pr #18: Pull request #9 opened by daejunpark
35s solver-variants
solver-variants
35s
change package name to just-solve-it release #2: Commit 81e1473 pushed by 0xkarmacoma
31s v0.1.0
v0.1.0
31s
release release #1: Manually run by 0xkarmacoma
28s main
main
28s
implement parent monitoring thread pr #17: Pull request #8 synchronize by 0xkarmacoma
48s fix-parent-monitor
fix-parent-monitor
48s
implement parent monitoring thread pr #16: Pull request #8 synchronize by 0xkarmacoma
35s fix-parent-monitor
fix-parent-monitor
35s
implement parent monitoring thread pr #15: Pull request #8 synchronize by 0xkarmacoma
37s fix-parent-monitor
fix-parent-monitor
37s
implement parent monitoring thread pr #14: Pull request #8 opened by 0xkarmacoma
53s fix-parent-monitor
fix-parent-monitor
53s
async server + rust client pr #13: Pull request #2 synchronize by 0xkarmacoma
44s feat/daemon
feat/daemon
44s
async server + rust client pr #12: Pull request #2 opened by 0xkarmacoma
27s feat/daemon
feat/daemon
27s
test workflows pr #11: Pull request #1 synchronize by 0xkarmacoma
37s chore/pr-workflow
chore/pr-workflow
37s
test workflows pr #10: Pull request #1 synchronize by 0xkarmacoma
43s chore/pr-workflow
chore/pr-workflow
43s
test workflows pr #9: Pull request #1 synchronize by 0xkarmacoma
1m 47s chore/pr-workflow
chore/pr-workflow
1m 47s
test workflows pr #8: Pull request #1 synchronize by 0xkarmacoma
1m 8s chore/pr-workflow
chore/pr-workflow
1m 8s
test workflows pr #7: Pull request #1 synchronize by 0xkarmacoma
1m 49s chore/pr-workflow
chore/pr-workflow
1m 49s
test workflows pr #6: Pull request #1 synchronize by 0xkarmacoma
48s chore/pr-workflow
chore/pr-workflow
48s
test workflows pr #5: Pull request #1 synchronize by 0xkarmacoma
47s chore/pr-workflow
chore/pr-workflow
47s
test workflows pr #4: Pull request #1 synchronize by 0xkarmacoma
35s chore/pr-workflow
chore/pr-workflow
35s
test workflows pr #3: Pull request #1 synchronize by 0xkarmacoma
35s chore/pr-workflow
chore/pr-workflow
35s
test workflows pr #2: Pull request #1 opened by 0xkarmacoma
34s chore/pr-workflow
chore/pr-workflow
34s
pr pr #1: Manually run by 0xkarmacoma
14s main
main
14s