Skip to content

Actions: gussmith23/rosette

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add file Tests #14: Commit 2c74b51 pushed by gussmith23
December 3, 2024 07:46 10m 34s gussmith23-portfolio-solver
gussmith23-portfolio-solver
December 3, 2024 07:46 10m 34s
Bump docker/build-push-action from 5 to 6 Tests #13: Commit cf703c6 pushed by gussmith23
December 3, 2024 06:58 38m 41s gussmith23-portfolio-solver
gussmith23-portfolio-solver
December 3, 2024 06:58 38m 41s
Attempt STP fix Tests #12: Commit 6ca594f pushed by gussmith23
June 17, 2024 21:16 40m 24s gussmith23-2024-06-17-stp-fix
gussmith23-2024-06-17-stp-fix
June 17, 2024 21:16 40m 24s
fix docs Tests #11: Commit 5d15047 pushed by gussmith23
December 14, 2023 20:38 42m 15s vcanumalla/add-stp
vcanumalla/add-stp
December 14, 2023 20:38 42m 15s
More detail in the documentation Tests #10: Commit 44f4c3c pushed by gussmith23
December 14, 2023 20:14 42m 7s vcanumalla/add-stp
vcanumalla/add-stp
December 14, 2023 20:14 42m 7s
Add imports Tests #9: Commit c4eacea pushed by gussmith23
December 14, 2023 20:06 42m 14s vcanumalla/add-stp
vcanumalla/add-stp
December 14, 2023 20:06 42m 14s
yices->yices-smt2 in docs Tests #8: Commit e00ac84 pushed by gussmith23
December 14, 2023 19:14 41m 5s vcanumalla/add-stp
vcanumalla/add-stp
December 14, 2023 19:14 41m 5s
Forgot to before Tests #7: Commit 5b2fcef pushed by gussmith23
December 14, 2023 19:08 42m 6s vcanumalla/add-stp
vcanumalla/add-stp
December 14, 2023 19:08 42m 6s
Run install so that binary gets renamed Tests #6: Commit 974d8e4 pushed by gussmith23
December 14, 2023 18:58 7m 59s vcanumalla/add-stp
vcanumalla/add-stp
December 14, 2023 18:58 7m 59s
Add documentation Tests #5: Commit 1f8e33a pushed by gussmith23
December 13, 2023 19:33 38m 47s vcanumalla/add-stp
vcanumalla/add-stp
December 13, 2023 19:33 38m 47s
Convert new tests.yml code to match existing style Tests #4: Commit a486654 pushed by gussmith23
December 13, 2023 16:48 41m 44s vcanumalla/add-stp
vcanumalla/add-stp
December 13, 2023 16:48 41m 44s
Undo unnecessary changes Tests #3: Commit c405c6f pushed by gussmith23
December 13, 2023 16:24 21m 26s vcanumalla/add-stp
vcanumalla/add-stp
December 13, 2023 16:24 21m 26s
don't need the -p flag Tests #2: Commit f1ad290 pushed by gussmith23
December 12, 2023 20:51 12m 14s vcanumalla/add-stp
vcanumalla/add-stp
December 12, 2023 20:51 12m 14s
Skip ASSERT lines during check-sat for STP Tests #1: Commit becbfab pushed by gussmith23
December 12, 2023 18:39 11m 16s vcanumalla/add-stp
vcanumalla/add-stp
December 12, 2023 18:39 11m 16s