Skip to content

Actions: dynaroars/dig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 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
symex: ranking synthesis, lexicographic + multiphase termination, non… Deploy to production #19: Commit 4151a6f pushed by nguyenthanhvuh
23s dev
dev
23s
Fix static-engine crashes on loops that update their own inputs Deploy to production #18: Commit 128a8e6 pushed by nguyenthanhvuh
15s dev
dev
15s
Pin z3-solver==4.16.0.0 in pyproject too Deploy to production #17: Commit 461e003 pushed by nguyenthanhvuh
22s dev
dev
22s
Pin z3-solver to 4.16.0.0 and regenerate nla golden Deploy to production #16: Commit fc801bb pushed by nguyenthanhvuh
17s dev
dev
17s
Fix Deepak Kapur's dates in memorial notes (1948-2025 -> 1950-2026) Deploy to production #15: Commit 6516a3e pushed by nguyenthanhvuh
18s dev
dev
18s
web: remove the Deepak Kapur dedication footer Deploy to production #14: Commit af65cf5 pushed by nguyenthanhvuh
29s dev
dev
29s
web: explain which algorithms run, and add Kapur dedication footer Deploy to production #13: Commit 40c7dfa pushed by nguyenthanhvuh
53s dev
dev
53s
Simplify CLI: -types selector, grouped --help, remove debug flags Deploy to production #12: Commit febbe86 pushed by nguyenthanhvuh
50s dev
dev
50s
Add multi-path recurrence, SYMBA, and LLM-houdini invariant engines Deploy to production #11: Commit 1ed6e05 pushed by nguyenthanhvuh
1m 11s dev
dev
1m 11s
more clean up Deploy to production #10: Commit a24d345 pushed by nguyenthanhvuh
9s dev
dev
9s
clean up Deploy to production #9: Commit 94b30a3 pushed by nguyenthanhvuh
21s dev
dev
21s
remove docs/index.md, old stuff back to the Sagemath time, and other … Deploy to production #8: Commit cc88c17 pushed by nguyenthanhvuh
20s dev
dev
20s
web: rename index2.html to symexc.html Deploy to production #7: Commit afb41f2 pushed by nguyenthanhvuh
40s dev
dev
40s
web: refine CORS domain regex and pin Docker container to CPU cores 0-7 Deploy to production #6: Commit 34ecc59 pushed by nguyenthanhvuh
29s dev
dev
29s
web: harden CORS, disable Flask debug by default, and unconstrain CPU… Deploy to production #5: Commit 5d1a57b pushed by nguyenthanhvuh
27s dev
dev
27s
ci: stage static web files into _site before uploading Pages artifact Deploy to production #4: Commit 01abb46 pushed by nguyenthanhvuh
9s dev
dev
9s
ci: migrate to native GitHub Actions Pages deployment with smart path… Deploy to production #3: Commit ac75676 pushed by nguyenthanhvuh
45s dev
dev
45s
web: rename deploy.sh to deploy-frontend.sh, matching neuralsat's con… Deploy to production #2: Commit 36c1fcd pushed by nguyenthanhvuh
15s dev
dev
15s
web: automate frontend publish to gh-pages via CI Deploy to production #1: Commit 823922f pushed by nguyenthanhvuh
13s dev
dev
13s
ci: trigger deploy workflow to confirm after clearing untracked deplo… Deploy backend to taco #3: Commit e0410a4 pushed by nguyenthanhvuh
7s dev
dev
7s
ci: trigger deploy workflow to confirm after adding TACO_DEPLOY_SSH_K… Deploy backend to taco #2: Commit 5e6137b pushed by nguyenthanhvuh
9s dev
dev
9s
web: add automated deploy-to-taco workflow for the backend Deploy backend to taco #1: Commit e765f37 pushed by nguyenthanhvuh
9s dev
dev
9s
pages build and deployment pages-build-deployment #19: by nguyenthanhvuh
40s gh-pages
gh-pages
40s
pages build and deployment pages-build-deployment #18: by nguyenthanhvuh
36s gh-pages
gh-pages
36s
pages build and deployment pages-build-deployment #17: by nguyenthanhvuh
40s gh-pages
gh-pages
40s