Skip to content

Actions: fvutils/pyvsc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #256 from fvutils/copilot/fix-indexerror-in-rangelist CI #216: Commit c039eb6 pushed by mballance
5m 58s master
master
5m 58s
Fix IndexError in variable bound propagators during constraint solving failures CI #215: Pull request #256 synchronize by Copilot AI
13m 15s copilot/fix-indexerror-in-rangelist
copilot/fix-indexerror-in-rangelist
13m 15s
Fix IndexError in variable bound propagators during unsolvable constr… CI #214: Commit b62b958 pushed by Copilot AI
10m 36s copilot/fix-indexerror-in-rangelist
copilot/fix-indexerror-in-rangelist
10m 36s
Addressing comment on PR #256 Copilot coding agent #4: by Copilot AI
18m 33s copilot/fix-indexerror-in-rangelist
copilot/fix-indexerror-in-rangelist
18m 33s
Fix IndexError in variable bound propagators during constraint solving failures CI #213: Pull request #256 synchronize by Copilot AI
5m 10s copilot/fix-indexerror-in-rangelist
copilot/fix-indexerror-in-rangelist
5m 10s
Add clarifying comment to _safe_to_expr_model about stack behavior CI #212: Commit 9f2a932 pushed by Copilot AI
5m 52s copilot/fix-indexerror-in-rangelist
copilot/fix-indexerror-in-rangelist
5m 52s
Running Copilot coding agent Copilot coding agent #3: by Copilot AI
33m 37s copilot/fix-indexerror-in-rangelist
copilot/fix-indexerror-in-rangelist
33m 37s
pages build and deployment pages-build-deployment #34: by github-pages bot
36s gh-pages
gh-pages
36s
Merge pull request #252 from fvutils/copilot/fix-bin-array-duplicate-… CI #206: Commit 40aa1d6 pushed by mballance
6m 5s master
master
6m 5s
Fix bin_array to retain duplicate values per IEEE 1800-2023 CI #205: Pull request #252 synchronize by Copilot AI
5m 46s copilot/fix-bin-array-duplicate-values
copilot/fix-bin-array-duplicate-values
5m 46s
Fix bin_array to retain duplicate values per IEEE 1800-2023 CI #204: Pull request #252 synchronize by Copilot AI
5m 49s copilot/fix-bin-array-duplicate-values
copilot/fix-bin-array-duplicate-values
5m 49s
Remove test output file and update gitignore CI #203: Commit 856c955 pushed by Copilot AI
5m 48s copilot/fix-bin-array-duplicate-values
copilot/fix-bin-array-duplicate-values
5m 48s
Running Copilot Copilot coding agent #2: by Copilot AI
15m 14s copilot/fix-bin-array-duplicate-values
copilot/fix-bin-array-duplicate-values
15m 14s
Fix bin_array to retain duplicate values per IEEE 1800-2023 CI #199: Pull request #252 opened by Copilot AI
5m 41s copilot/fix-bin-array-duplicate-values
copilot/fix-bin-array-duplicate-values
5m 41s
Update btor options CI #198: Commit b6df483 pushed by mballance
5m 46s master
master
5m 46s
Update references to BTOR options CI #197: Commit 833c902 pushed by mballance
5m 47s mballance-cross-ignore
mballance-cross-ignore
5m 47s
Add ValueInt.from_bits() for signed/unsigned bit pattern conversion CI #196: Pull request #249 synchronize by Copilot AI
3m 3s copilot/add-signed-helper-method
copilot/add-signed-helper-method
3m 3s
Add documentation for ValueInt.from_bits method CI #195: Commit 3f8cef6 pushed by Copilot AI
3m 0s copilot/add-signed-helper-method
copilot/add-signed-helper-method
3m 0s
Add ValueInt.from_bits() for signed/unsigned bit pattern conversion CI #194: Pull request #249 synchronize by Copilot AI
3m 44s copilot/add-signed-helper-method
copilot/add-signed-helper-method
3m 44s
Add ValueInt.from_bits() for signed/unsigned bit pattern conversion CI #193: Pull request #249 synchronize by Copilot AI
4m 11s copilot/add-signed-helper-method
copilot/add-signed-helper-method
4m 11s
Add ValueInt.from_bits class method with tests CI #192: Commit f9a5027 pushed by Copilot AI
4m 14s copilot/add-signed-helper-method
copilot/add-signed-helper-method
4m 14s
Running Copilot Copilot coding agent #1: by Copilot AI
13m 6s copilot/add-signed-helper-method
copilot/add-signed-helper-method
13m 6s
pages build and deployment pages-build-deployment #33: by github-pages bot
23s gh-pages
gh-pages
23s
Merge pull request #244 from alwilson/solve_order_continue_242 CI #190: Commit 66fbd41 pushed by mballance
5m 52s master
master
5m 52s
Merge pull request #245 from alwilson/dist_retry_fallback_243 CI #189: Commit f883324 pushed by mballance
5m 50s master
master
5m 50s