Skip to content

Actions: dafny-lang/Dafny-VMC

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,824 workflow run results
1,824 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fisher-Yates: Equivalence proof Verify proofs #681: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 58s equivalence
equivalence
February 1, 2024 17:18 58s
Fisher-Yates: Equivalence proof Check formatting #551: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 15s equivalence
equivalence
February 1, 2024 17:18 15s
Fisher-Yates: Equivalence proof Build Java #649: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 41s equivalence
equivalence
February 1, 2024 17:18 41s
Fisher-Yates: Equivalence proof Audit #580: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 37s equivalence
equivalence
February 1, 2024 17:18 37s
Fisher-Yates: Equivalence proof Run Java tests #673: Pull request #142 synchronize by stefan-aws
February 1, 2024 17:18 2m 9s equivalence
equivalence
February 1, 2024 17:18 2m 9s
Fisher-Yates: Equivalence proof Check formatting #550: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 17s equivalence
equivalence
February 1, 2024 16:06 17s
Fisher-Yates: Equivalence proof Audit #579: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 34s equivalence
equivalence
February 1, 2024 16:06 34s
Fisher-Yates: Equivalence proof Build Java #648: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 36s equivalence
equivalence
February 1, 2024 16:06 36s
Fisher-Yates: Equivalence proof Verify proofs #680: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 57s equivalence
equivalence
February 1, 2024 16:06 57s
Fisher-Yates: Equivalence proof Run Java tests #672: Pull request #142 synchronize by stefan-aws
February 1, 2024 16:06 39s equivalence
equivalence
February 1, 2024 16:06 39s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #671: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 2m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 2m 3s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #549: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 17s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 17s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #578: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 37s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 37s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Build Java #647: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 37s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 37s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #679: Pull request #141 synchronize by stefan-aws
February 1, 2024 16:03 54s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 16:03 54s
Fisher-Yates: Equivalence proof Run Java tests #670: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 1m 1s equivalence
equivalence
February 1, 2024 15:54 1m 1s
Fisher-Yates: Equivalence proof Check formatting #548: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 19s equivalence
equivalence
February 1, 2024 15:54 19s
Fisher-Yates: Equivalence proof Audit #577: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 39s equivalence
equivalence
February 1, 2024 15:54 39s
Fisher-Yates: Equivalence proof Verify proofs #678: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 1m 27s equivalence
equivalence
February 1, 2024 15:54 1m 27s
Fisher-Yates: Equivalence proof Build Java #646: Pull request #142 synchronize by stefan-aws
February 1, 2024 15:54 1m 41s equivalence
equivalence
February 1, 2024 15:54 1m 41s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Run Java tests #669: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 6m 5s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 6m 5s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Build Java #645: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 4m 32s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 4m 32s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Check formatting #547: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 4m 8s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 4m 8s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Audit #576: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 4m 3s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 4m 3s
Fisher-Yates: Model and Correctness for Sequences with Unique Elements Verify proofs #677: Pull request #141 synchronize by stefan-aws
February 1, 2024 15:11 4m 55s fisher-yates-model-correctness-unique-elements
fisher-yates-model-correctness-unique-elements
February 1, 2024 15:11 4m 55s