Skip to content

Actions: dafny-lang/Dafny-VMC

Actions

Build Python

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_py.yml
175 workflow runs
175 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more efficient Int32 Shuffling Build Python #75: Pull request #168 opened by stefan-aws
March 12, 2024 18:08 3m 3s int32
int32
March 12, 2024 18:08 3m 3s
Fix documentation and comments Build Python #74: Pull request #167 synchronize by stefan-aws
March 11, 2024 17:29 5m 21s documentation
documentation
March 11, 2024 17:29 5m 21s
Fix documentation and comments Build Python #73: Pull request #167 synchronize by stefan-aws
March 11, 2024 17:25 6m 5s documentation
documentation
March 11, 2024 17:25 6m 5s
Fix documentation and comments Build Python #72: Pull request #167 synchronize by stefan-aws
March 11, 2024 17:20 5m 57s documentation
documentation
March 11, 2024 17:20 5m 57s
Fix documentation and comments Build Python #71: Pull request #167 opened by stefan-aws
March 11, 2024 17:14 5m 44s documentation
documentation
March 11, 2024 17:14 5m 44s
Remove {:vcs_split_on_every_assert} Build Python #70: Pull request #166 opened by stefan-aws
March 11, 2024 13:43 5m 32s remove-split-on-every-assert
remove-split-on-every-assert
March 11, 2024 13:43 5m 32s
Update readme Build Python #69: Pull request #165 synchronize by stefan-aws
March 11, 2024 12:50 5m 22s readme-update
readme-update
March 11, 2024 12:50 5m 22s
Update readme Build Python #68: Pull request #165 synchronize by stefan-aws
March 11, 2024 12:50 5m 22s readme-update
readme-update
March 11, 2024 12:50 5m 22s
Update readme Build Python #67: Pull request #165 synchronize by stefan-aws
March 11, 2024 12:48 5m 32s readme-update
readme-update
March 11, 2024 12:48 5m 32s
Update readme Build Python #66: Pull request #165 opened by stefan-aws
March 11, 2024 12:45 5m 21s readme-update
readme-update
March 11, 2024 12:45 5m 21s
Enable Custom Extern Uniform (#164) Build Python #65: Commit 2b794e0 pushed by jtristan
March 7, 2024 13:36 5m 44s main
main
March 7, 2024 13:36 5m 44s
Enable Custom Extern Uniform Build Python #64: Pull request #164 synchronize by stefan-aws
March 6, 2024 19:59 5m 30s extern-uniform
extern-uniform
March 6, 2024 19:59 5m 30s
Enable Custom Extern Uniform Build Python #63: Pull request #164 synchronize by stefan-aws
March 6, 2024 19:19 17s extern-uniform
extern-uniform
March 6, 2024 19:19 17s
Remove almost all axioms (#163) Build Python #62: Commit 65e7dfe pushed by jtristan
March 6, 2024 17:33 3m 6s main
main
March 6, 2024 17:33 3m 6s
Remove almost all axioms Build Python #61: Pull request #163 synchronize by stefan-aws
March 6, 2024 17:03 3m 7s remove-independence-axioms
remove-independence-axioms
March 6, 2024 17:03 3m 7s
Remove Coin (#162) Build Python #60: Commit fdc7a86 pushed by jtristan
March 6, 2024 17:01 3m 5s main
main
March 6, 2024 17:01 3m 5s
Remove Coin Build Python #59: Pull request #162 synchronize by jtristan
March 6, 2024 16:43 3m 28s remove-coinflip
remove-coinflip
March 6, 2024 16:43 3m 28s
Revert Result Type, Proof of ResultsIndependent, Reduce Brittleness i… Build Python #58: Commit 2697703 pushed by jtristan
March 6, 2024 16:43 3m 1s main
main
March 6, 2024 16:43 3m 1s
Remove almost all axioms Build Python #57: Pull request #163 synchronize by stefan-aws
March 6, 2024 14:52 13m 6s remove-independence-axioms
remove-independence-axioms
March 6, 2024 14:52 13m 6s
Remove almost all axioms Build Python #56: Pull request #163 synchronize by stefan-aws
March 6, 2024 14:51 13m 44s remove-independence-axioms
remove-independence-axioms
March 6, 2024 14:51 13m 44s
Remove almost all axioms Build Python #55: Pull request #163 synchronize by stefan-aws
March 5, 2024 23:49 3m 59s remove-independence-axioms
remove-independence-axioms
March 5, 2024 23:49 3m 59s
Remove almost all axioms Build Python #54: Pull request #163 synchronize by stefan-aws
March 5, 2024 23:41 3m 5s remove-independence-axioms
remove-independence-axioms
March 5, 2024 23:41 3m 5s
Remove almost all axioms Build Python #53: Pull request #163 synchronize by stefan-aws
March 5, 2024 23:40 2m 55s remove-independence-axioms
remove-independence-axioms
March 5, 2024 23:40 2m 55s
Remove almost all axioms Build Python #52: Pull request #163 synchronize by stefan-aws
March 5, 2024 23:15 3m 6s remove-independence-axioms
remove-independence-axioms
March 5, 2024 23:15 3m 6s
Remove almost all axioms Build Python #51: Pull request #163 opened by stefan-aws
March 5, 2024 23:13 3m 12s remove-independence-axioms
remove-independence-axioms
March 5, 2024 23:13 3m 12s