Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,211 workflow run results
12,211 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow including a test runner using 'dafny translate' Test documentation #7480: Pull request #4890 synchronize by keyboardDrummer
December 15, 2023 15:17 2m 55s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 15:17 2m 55s
Allow including a test runner using 'dafny translate' Build DafnyRef.pdf #15662: Pull request #4890 synchronize by keyboardDrummer
December 15, 2023 15:17 3m 6s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 15:17 3m 6s
Allow including a test runner using 'dafny translate' Build and Test #16431: Pull request #4890 synchronize by keyboardDrummer
December 15, 2023 15:17 3m 20s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 15:17 3m 20s
Allow including a test runner using 'dafny translate' Build and Test Dafny Runtimes #5966: Pull request #4890 synchronize by keyboardDrummer
December 15, 2023 15:17 3m 31s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 15:17 3m 31s
Allow including a test runner using 'dafny translate' Build and Test Dafny Standard Libraries #697: Pull request #4890 synchronize by keyboardDrummer
December 15, 2023 15:17 3m 42s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 15:17 3m 42s
Nightly test and release workflow Nightly test and release workflow #97: Scheduled
December 15, 2023 14:32 1h 48m 8s master
master
December 15, 2023 14:32 1h 48m 8s
Let Std. example code, and user code using Std., depend on target agnostic interfaces instead of target specific ones Build DafnyRef.pdf #15661: Pull request #4891 opened by keyboardDrummer
December 15, 2023 13:56 7m 17s keyboardDrummer:simpleStdReplaceables
keyboardDrummer:simpleStdReplaceables
December 15, 2023 13:56 7m 17s
Let Std. example code, and user code using Std., depend on target agnostic interfaces instead of target specific ones Build and Test Dafny Standard Libraries #696: Pull request #4891 opened by keyboardDrummer
December 15, 2023 13:56 24m 46s keyboardDrummer:simpleStdReplaceables
keyboardDrummer:simpleStdReplaceables
December 15, 2023 13:56 24m 46s
Let Std. example code, and user code using Std., depend on target agnostic interfaces instead of target specific ones Build and Test Dafny Runtimes #5965: Pull request #4891 opened by keyboardDrummer
December 15, 2023 13:56 5m 27s keyboardDrummer:simpleStdReplaceables
keyboardDrummer:simpleStdReplaceables
December 15, 2023 13:56 5m 27s
Let Std. example code, and user code using Std., depend on target agnostic interfaces instead of target specific ones Test documentation #7479: Pull request #4891 opened by keyboardDrummer
December 15, 2023 13:56 17m 38s keyboardDrummer:simpleStdReplaceables
keyboardDrummer:simpleStdReplaceables
December 15, 2023 13:56 17m 38s
Let Std. example code, and user code using Std., depend on target agnostic interfaces instead of target specific ones Build and Test #16430: Pull request #4891 opened by keyboardDrummer
December 15, 2023 13:56 15m 38s keyboardDrummer:simpleStdReplaceables
keyboardDrummer:simpleStdReplaceables
December 15, 2023 13:56 15m 38s
Allow including a test runner using 'dafny translate' Build and Test #16429: Pull request #4890 opened by keyboardDrummer
December 15, 2023 12:46 39m 39s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 12:46 39m 39s
Allow including a test runner using 'dafny translate' Build and Test Dafny Runtimes #5964: Pull request #4890 opened by keyboardDrummer
December 15, 2023 12:46 5m 1s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 12:46 5m 1s
Allow including a test runner using 'dafny translate' Build and Test Dafny Standard Libraries #695: Pull request #4890 opened by keyboardDrummer
December 15, 2023 12:46 23m 3s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 12:46 23m 3s
Allow including a test runner using 'dafny translate' Build DafnyRef.pdf #15660: Pull request #4890 opened by keyboardDrummer
December 15, 2023 12:46 7m 35s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 12:46 7m 35s
Allow including a test runner using 'dafny translate' Test documentation #7478: Pull request #4890 opened by keyboardDrummer
December 15, 2023 12:46 17m 29s keyboardDrummer:includeTestRunnerTranslate
keyboardDrummer:includeTestRunnerTranslate
December 15, 2023 12:46 17m 29s
Move standard library into the runtime Build and Test #16428: Pull request #4877 synchronize by keyboardDrummer
December 15, 2023 10:38 23s keyboardDrummer:replaceableModuleStandardLibrary
keyboardDrummer:replaceableModuleStandardLibrary
December 15, 2023 10:38 23s
Move standard library into the runtime Test documentation #7477: Pull request #4877 synchronize by keyboardDrummer
December 15, 2023 10:38 23s keyboardDrummer:replaceableModuleStandardLibrary
keyboardDrummer:replaceableModuleStandardLibrary
December 15, 2023 10:38 23s
Move standard library into the runtime Build and Test Dafny Runtimes #5963: Pull request #4877 synchronize by keyboardDrummer
December 15, 2023 10:38 20s keyboardDrummer:replaceableModuleStandardLibrary
keyboardDrummer:replaceableModuleStandardLibrary
December 15, 2023 10:38 20s
Move standard library into the runtime Build and Test Dafny Standard Libraries #694: Pull request #4877 synchronize by keyboardDrummer
December 15, 2023 10:38 20s keyboardDrummer:replaceableModuleStandardLibrary
keyboardDrummer:replaceableModuleStandardLibrary
December 15, 2023 10:38 20s
Move standard library into the runtime Build DafnyRef.pdf #15659: Pull request #4877 synchronize by keyboardDrummer
December 15, 2023 10:38 21s keyboardDrummer:replaceableModuleStandardLibrary
keyboardDrummer:replaceableModuleStandardLibrary
December 15, 2023 10:38 21s
Correct some errors in comments in a test Build and Test Dafny Runtimes #5962: Pull request #4889 opened by keyboardDrummer
December 15, 2023 10:31 18s keyboardDrummer:improveTestComments
keyboardDrummer:improveTestComments
December 15, 2023 10:31 18s
Correct some errors in comments in a test Test documentation #7476: Pull request #4889 opened by keyboardDrummer
December 15, 2023 10:31 17s keyboardDrummer:improveTestComments
keyboardDrummer:improveTestComments
December 15, 2023 10:31 17s
Correct some errors in comments in a test Build DafnyRef.pdf #15658: Pull request #4889 opened by keyboardDrummer
December 15, 2023 10:31 17s keyboardDrummer:improveTestComments
keyboardDrummer:improveTestComments
December 15, 2023 10:31 17s
Correct some errors in comments in a test Build and Test Dafny Standard Libraries #693: Pull request #4889 opened by keyboardDrummer
December 15, 2023 10:31 17s keyboardDrummer:improveTestComments
keyboardDrummer:improveTestComments
December 15, 2023 10:31 17s