Skip to content

Actions: dafny-lang/Dafny-VMC

Actions

Run C# tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
447 workflow runs
447 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removing Geometric from main Run C# tests #122: Pull request #65 synchronize by jtristan
September 29, 2023 19:35 16s john
john
September 29, 2023 19:35 16s
Removing Geometric from main Run C# tests #121: Pull request #65 synchronize by jtristan
September 29, 2023 19:31 15s john
john
September 29, 2023 19:31 15s
Removing Geometric from main Run C# tests #120: Pull request #65 opened by jtristan
September 29, 2023 19:30 1m 20s john
john
September 29, 2023 19:30 1m 20s
Switch distribution parameters to Rationals & remove Bernoulli with r… Run C# tests #119: Commit 31f8376 pushed by jtristan
September 29, 2023 19:27 1m 22s main
main
September 29, 2023 19:27 1m 22s
Switch distribution parameters to Rationals & remove Bernoulli with real parameter Run C# tests #118: Pull request #64 synchronize by fzaiser
September 29, 2023 19:22 1m 43s rationals
rationals
September 29, 2023 19:22 1m 43s
Switch distribution parameters to Rationals & remove Bernoulli with real parameter Run C# tests #117: Pull request #64 opened by fzaiser
September 29, 2023 19:05 2m 46s rationals
rationals
September 29, 2023 19:05 2m 46s
Uniform Correctness fix (#63) Run C# tests #116: Commit 2e6a07f pushed by jtristan
September 29, 2023 17:50 2m 40s main
main
September 29, 2023 17:50 2m 40s
Uniform Correctness fix Run C# tests #115: Pull request #63 synchronize by stefan-aws
September 29, 2023 16:34 2m 45s uniform-fix
uniform-fix
September 29, 2023 16:34 2m 45s
Uniform Correctness fix Run C# tests #114: Pull request #63 synchronize by stefan-aws
September 29, 2023 16:13 3m 10s uniform-fix
uniform-fix
September 29, 2023 16:13 3m 10s
Uniform Correctness fix Run C# tests #113: Pull request #63 synchronize by stefan-aws
September 29, 2023 15:55 2m 39s uniform-fix
uniform-fix
September 29, 2023 15:55 2m 39s
Uniform Correctness fix Run C# tests #112: Pull request #63 synchronize by stefan-aws
September 29, 2023 15:37 10m 53s uniform-fix
uniform-fix
September 29, 2023 15:37 10m 53s
Break up the UniformCorrectness proof Run C# tests #111: Pull request #61 synchronize by jtristan
September 29, 2023 15:35 12m 0s fabian
fabian
September 29, 2023 15:35 12m 0s
Uniform Correctness fix Run C# tests #110: Pull request #63 opened by stefan-aws
September 29, 2023 15:27 18m 26s uniform-fix
uniform-fix
September 29, 2023 15:27 18m 26s
Refined guidelines (#62) Run C# tests #109: Commit 21f48d3 pushed by jtristan
September 29, 2023 13:26 3m 0s main
main
September 29, 2023 13:26 3m 0s
Refined guidelines Run C# tests #108: Pull request #62 synchronize by jtristan
September 29, 2023 13:23 2m 44s john
john
September 29, 2023 13:23 2m 44s
Refined guidelines Run C# tests #107: Pull request #62 opened by jtristan
September 29, 2023 12:53 2m 31s john
john
September 29, 2023 12:53 2m 31s
Break up the UniformCorrectness proof Run C# tests #106: Pull request #61 synchronize by jtristan
September 29, 2023 12:35 3m 24s fabian
fabian
September 29, 2023 12:35 3m 24s
Remove ghost where possible and run formatter (#59) Run C# tests #105: Commit beca2ef pushed by jtristan
September 29, 2023 12:34 3m 20s main
main
September 29, 2023 12:34 3m 20s
Break up the UniformCorrectness proof Run C# tests #104: Pull request #61 opened by fzaiser
September 28, 2023 21:12 3m 13s fabian
fabian
September 28, 2023 21:12 3m 13s
Remove ghost where possible and run formatter Run C# tests #103: Pull request #59 synchronize by jtristan
September 28, 2023 20:18 29m 20s ghost
ghost
September 28, 2023 20:18 29m 20s
Auditor (#60) Run C# tests #102: Commit 9c8db1a pushed by fzaiser
September 28, 2023 18:06 2m 57s main
main
September 28, 2023 18:06 2m 57s
Auditor Run C# tests #101: Pull request #60 synchronize by jtristan
September 28, 2023 17:53 3m 16s john
john
September 28, 2023 17:53 3m 16s
Auditor Run C# tests #100: Pull request #60 synchronize by jtristan
September 28, 2023 17:46 2m 43s john
john
September 28, 2023 17:46 2m 43s
Auditor Run C# tests #99: Pull request #60 synchronize by jtristan
September 28, 2023 17:03 3m 13s john
john
September 28, 2023 17:03 3m 13s
Auditor Run C# tests #98: Pull request #60 synchronize by jtristan
September 28, 2023 16:35 2m 44s john
john
September 28, 2023 16:35 2m 44s
ProTip! You can narrow down the results and go further in time using created:<2023-09-28 or the other filters available.