Skip to content

Actions: dynaroars/dig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Remove unused manual web launcher Validate Prime deployment #30: Commit 859839a pushed by nguyenthanhvuh
8s dev
dev
8s
Remove completed Prime repair script Validate Prime deployment #29: Commit 4c47f81 pushed by nguyenthanhvuh
9s dev
dev
9s
Remove completed Taco retirement artifacts Validate Prime deployment #28: Commit 5ec1f8e pushed by nguyenthanhvuh
8s dev
dev
8s
Target only DIG key during Taco retirement Validate Prime deployment #27: Commit 6804fff pushed by nguyenthanhvuh
7s dev
dev
7s
Handle multiple Taco deploy keys safely Validate Prime deployment #26: Commit efd088b pushed by nguyenthanhvuh
11s dev
dev
11s
Add guarded Taco retirement script Validate Prime deployment #25: Commit 0c26828 pushed by nguyenthanhvuh
8s dev
dev
8s
Retire legacy Taco deployment Validate Prime deployment #24: Commit 7fe1c7b pushed by nguyenthanhvuh
8s dev
dev
8s
Migrate DIG deployment from Taco to Prime Validate Prime deployment #23: Commit f42271e pushed by nguyenthanhvuh
12s dev
dev
12s
Remove paper examples and update README Validate Prime deployment #22: Commit 3880a18 pushed by nguyenthanhvuh
10s dev
dev
10s
Update README.md Validate Prime deployment #21: Commit e849e36 pushed by nguyenthanhvuh
21s dev
dev
21s
Trigger Pages redeploy to bind dig.roars.dev custom domain Validate Prime deployment #20: Commit 0315297 pushed by nguyenthanhvuh
1h 11m 8s dev
dev
1h 11m 8s
symex: ranking synthesis, lexicographic + multiphase termination, non… Validate Prime deployment #19: Commit 4151a6f pushed by nguyenthanhvuh
23s dev
dev
23s
Fix static-engine crashes on loops that update their own inputs Validate Prime deployment #18: Commit 128a8e6 pushed by nguyenthanhvuh
15s dev
dev
15s
Pin z3-solver==4.16.0.0 in pyproject too Validate Prime deployment #17: Commit 461e003 pushed by nguyenthanhvuh
22s dev
dev
22s
Pin z3-solver to 4.16.0.0 and regenerate nla golden Validate Prime deployment #16: Commit fc801bb pushed by nguyenthanhvuh
17s dev
dev
17s
Fix Deepak Kapur's dates in memorial notes (1948-2025 -> 1950-2026) Validate Prime deployment #15: Commit 6516a3e pushed by nguyenthanhvuh
18s dev
dev
18s
web: remove the Deepak Kapur dedication footer Validate Prime deployment #14: Commit af65cf5 pushed by nguyenthanhvuh
29s dev
dev
29s
web: explain which algorithms run, and add Kapur dedication footer Validate Prime deployment #13: Commit 40c7dfa pushed by nguyenthanhvuh
53s dev
dev
53s
Simplify CLI: -types selector, grouped --help, remove debug flags Validate Prime deployment #12: Commit febbe86 pushed by nguyenthanhvuh
50s dev
dev
50s
Add multi-path recurrence, SYMBA, and LLM-houdini invariant engines Validate Prime deployment #11: Commit 1ed6e05 pushed by nguyenthanhvuh
1m 11s dev
dev
1m 11s
more clean up Validate Prime deployment #10: Commit a24d345 pushed by nguyenthanhvuh
9s dev
dev
9s
clean up Validate Prime deployment #9: Commit 94b30a3 pushed by nguyenthanhvuh
21s dev
dev
21s
remove docs/index.md, old stuff back to the Sagemath time, and other … Validate Prime deployment #8: Commit cc88c17 pushed by nguyenthanhvuh
20s dev
dev
20s
web: rename index2.html to symexc.html Validate Prime deployment #7: Commit afb41f2 pushed by nguyenthanhvuh
40s dev
dev
40s
web: refine CORS domain regex and pin Docker container to CPU cores 0-7 Validate Prime deployment #6: Commit 34ecc59 pushed by nguyenthanhvuh
29s dev
dev
29s