Skip to content

Actions: dafny-lang/Dafny-VMC

Actions

Build Java

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_java.yml
770 workflow runs
770 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove Coin Build Java #774: Pull request #162 opened by stefan-aws
March 5, 2024 19:58 3m 45s remove-coinflip
remove-coinflip
March 5, 2024 19:58 3m 45s
Revert Result Type, Proof of ResultsIndependent, Reduce Brittleness in FisherYates Build Java #773: Pull request #161 synchronize by stefan-aws
March 5, 2024 19:44 5m 16s revert-monad-type
revert-monad-type
March 5, 2024 19:44 5m 16s
Revert Result Type, Proof of ResultsIndependent, Reduce Brittleness in FisherYates Build Java #772: Pull request #161 synchronize by stefan-aws
March 5, 2024 15:44 8m 3s revert-monad-type
revert-monad-type
March 5, 2024 15:44 8m 3s
Revert Result Type, Proof of ResultsIndependent, Reduce Brittleness in FisherYates Build Java #771: Pull request #161 synchronize by stefan-aws
March 5, 2024 15:31 3m 51s revert-monad-type
revert-monad-type
March 5, 2024 15:31 3m 51s
Revert Result Type, Proof of ResultsIndependent, Reduce Brittleness in FisherYates Build Java #770: Pull request #161 synchronize by stefan-aws
March 5, 2024 14:52 17m 29s revert-monad-type
revert-monad-type
March 5, 2024 14:52 17m 29s
Revert Result Type, Proof of ResultsIndependent, Reduce Brittleness in FisherYates Build Java #769: Pull request #161 opened by stefan-aws
March 5, 2024 14:52 16m 35s revert-monad-type
revert-monad-type
March 5, 2024 14:52 16m 35s
Remove dead code (#160) Build Java #768: Commit 9464263 pushed by jtristan
March 5, 2024 14:49 22m 32s main
main
March 5, 2024 14:49 22m 32s
Remove dead code Build Java #767: Pull request #160 synchronize by stefan-aws
March 5, 2024 14:04 4m 19s remove-dead-code
remove-dead-code
March 5, 2024 14:04 4m 19s
Axiomatise Uniform (#159) Build Java #766: Commit 9b10413 pushed by jtristan
March 5, 2024 13:46 4m 1s main
main
March 5, 2024 13:46 4m 1s
Remove dead code Build Java #765: Pull request #160 synchronize by stefan-aws
March 4, 2024 16:51 3m 50s remove-dead-code
remove-dead-code
March 4, 2024 16:51 3m 50s
Remove dead code Build Java #764: Pull request #160 synchronize by stefan-aws
March 4, 2024 16:41 3m 49s remove-dead-code
remove-dead-code
March 4, 2024 16:41 3m 49s
Remove dead code Build Java #763: Pull request #160 synchronize by stefan-aws
March 4, 2024 16:40 4m 12s remove-dead-code
remove-dead-code
March 4, 2024 16:40 4m 12s
Remove dead code Build Java #762: Pull request #160 opened by stefan-aws
March 4, 2024 16:37 3m 48s remove-dead-code
remove-dead-code
March 4, 2024 16:37 3m 48s
Axiomatise Uniform Build Java #761: Pull request #159 synchronize by stefan-aws
March 4, 2024 16:01 4m 6s axiomatise-uniform
axiomatise-uniform
March 4, 2024 16:01 4m 6s
Axiomatise Uniform Build Java #760: Pull request #159 opened by stefan-aws
March 4, 2024 15:46 4m 36s axiomatise-uniform
axiomatise-uniform
March 4, 2024 15:46 4m 36s
Uniform as primitive Build Java #759: Pull request #154 synchronize by stefan-aws
February 29, 2024 21:57 3m 42s uniform-as-primitive
uniform-as-primitive
February 29, 2024 21:57 3m 42s
Uniform as primitive Build Java #758: Pull request #154 synchronize by stefan-aws
February 29, 2024 21:56 3m 36s uniform-as-primitive
uniform-as-primitive
February 29, 2024 21:56 3m 36s
Uniform as primitive Build Java #757: Pull request #154 synchronize by stefan-aws
February 29, 2024 21:38 7m 19s uniform-as-primitive
uniform-as-primitive
February 29, 2024 21:38 7m 19s
Uniform as primitive Build Java #756: Pull request #154 synchronize by stefan-aws
February 29, 2024 20:15 3m 48s uniform-as-primitive
uniform-as-primitive
February 29, 2024 20:15 3m 48s
Additional testing (#158) Build Java #755: Commit a2f6207 pushed by jtristan
February 29, 2024 19:55 3m 58s main
main
February 29, 2024 19:55 3m 58s
Additional testing Build Java #754: Pull request #158 synchronize by stefan-aws
February 29, 2024 19:43 3m 49s full-testing
full-testing
February 29, 2024 19:43 3m 49s
Additional testing Build Java #753: Pull request #158 synchronize by stefan-aws
February 29, 2024 18:54 3m 51s full-testing
full-testing
February 29, 2024 18:54 3m 51s
Additional testing Build Java #752: Pull request #158 synchronize by stefan-aws
February 29, 2024 18:08 44m 7s full-testing
full-testing
February 29, 2024 18:08 44m 7s
Additional testing Build Java #751: Pull request #158 opened by stefan-aws
February 29, 2024 18:07 3h 7m 26s full-testing
full-testing
February 29, 2024 18:07 3h 7m 26s
Improved loop for parameters of Bernoulli expneg greater than 1 (#157) Build Java #750: Commit 6bcf55d pushed by stefan-aws
February 29, 2024 16:50 30s main
main
February 29, 2024 16:50 30s