Skip to content

Actions: robin-aws/dafny

Actions

Build and Test Dafny Runtimes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
runtime-tests.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Per backend code support in stdlibs Build and Test Dafny Runtimes #105: Pull request #36 synchronize by robin-aws
November 13, 2023 23:45 3m 30s per-backend-code-support-in-stdlibs
per-backend-code-support-in-stdlibs
November 13, 2023 23:45 3m 30s
Coverage report per module breakdown Build and Test Dafny Runtimes #104: Pull request #37 synchronize by robin-aws
November 13, 2023 22:52 3m 28s coverage-report-per-module-breakdown
coverage-report-per-module-breakdown
November 13, 2023 22:52 3m 28s
Coverage report per module breakdown Build and Test Dafny Runtimes #103: Pull request #37 synchronize by robin-aws
November 13, 2023 20:18 6m 32s coverage-report-per-module-breakdown
coverage-report-per-module-breakdown
November 13, 2023 20:18 6m 32s
Coverage report per module breakdown Build and Test Dafny Runtimes #102: Pull request #37 opened by robin-aws
November 13, 2023 20:18 3m 33s coverage-report-per-module-breakdown
coverage-report-per-module-breakdown
November 13, 2023 20:18 3m 33s
Per backend code support in stdlibs Build and Test Dafny Runtimes #101: Pull request #36 synchronize by robin-aws
November 10, 2023 23:05 3m 22s per-backend-code-support-in-stdlibs
per-backend-code-support-in-stdlibs
November 10, 2023 23:05 3m 22s
Per backend code support in stdlibs Build and Test Dafny Runtimes #100: Pull request #36 opened by robin-aws
November 10, 2023 22:12 3m 29s per-backend-code-support-in-stdlibs
per-backend-code-support-in-stdlibs
November 10, 2023 22:12 3m 29s
Bundle stdlibs with runtimes Build and Test Dafny Runtimes #99: Pull request #35 synchronize by robin-aws
November 3, 2023 16:58 3m 49s bundle-stdlibs-with-runtimes
bundle-stdlibs-with-runtimes
November 3, 2023 16:58 3m 49s
Bundle stdlibs with runtimes Build and Test Dafny Runtimes #98: Pull request #35 opened by robin-aws
November 3, 2023 16:56 4m 1s bundle-stdlibs-with-runtimes
bundle-stdlibs-with-runtimes
November 3, 2023 16:56 4m 1s
GitHub issue 511 Build and Test Dafny Runtimes #97: Pull request #34 synchronize by keyboardDrummer
November 2, 2023 14:20 6m 5s github-issue-511
github-issue-511
November 2, 2023 14:20 6m 5s
GitHub issue 511 Build and Test Dafny Runtimes #96: Pull request #34 synchronize by robin-aws
November 1, 2023 17:47 4m 54s github-issue-511
github-issue-511
November 1, 2023 17:47 4m 54s
GitHub issue 511 Build and Test Dafny Runtimes #95: Pull request #34 synchronize by robin-aws
November 1, 2023 17:47 22s github-issue-511
github-issue-511
November 1, 2023 17:47 22s
GitHub issue 511 Build and Test Dafny Runtimes #94: Pull request #34 synchronize by robin-aws
October 31, 2023 17:39 4m 47s github-issue-511
github-issue-511
October 31, 2023 17:39 4m 47s
GitHub issue 511 Build and Test Dafny Runtimes #93: Pull request #34 synchronize by robin-aws
October 31, 2023 17:06 5m 53s github-issue-511
github-issue-511
October 31, 2023 17:06 5m 53s
GitHub issue 511 Build and Test Dafny Runtimes #92: Pull request #34 synchronize by robin-aws
October 31, 2023 17:06 24s github-issue-511
github-issue-511
October 31, 2023 17:06 24s
GitHub issue 511 Build and Test Dafny Runtimes #91: Pull request #34 synchronize by robin-aws
October 27, 2023 03:41 4m 35s github-issue-511
github-issue-511
October 27, 2023 03:41 4m 35s
GitHub issue 511 Build and Test Dafny Runtimes #90: Pull request #34 synchronize by robin-aws
October 26, 2023 19:08 3m 1s github-issue-511
github-issue-511
October 26, 2023 19:08 3m 1s
GitHub issue 511 Build and Test Dafny Runtimes #89: Pull request #34 synchronize by robin-aws
October 26, 2023 17:31 2m 43s github-issue-511
github-issue-511
October 26, 2023 17:31 2m 43s
GitHub issue 511 Build and Test Dafny Runtimes #88: Pull request #34 synchronize by robin-aws
October 26, 2023 02:37 2m 38s github-issue-511
github-issue-511
October 26, 2023 02:37 2m 38s
GitHub issue 511 Build and Test Dafny Runtimes #87: Pull request #34 synchronize by robin-aws
October 25, 2023 17:25 5m 7s github-issue-511
github-issue-511
October 25, 2023 17:25 5m 7s
GitHub issue 511 Build and Test Dafny Runtimes #86: Pull request #34 synchronize by robin-aws
October 24, 2023 23:21 4m 25s github-issue-511
github-issue-511
October 24, 2023 23:21 4m 25s
Standard library support verification only Build and Test Dafny Runtimes #85: Pull request #33 synchronize by robin-aws
October 13, 2023 23:23 1m 53s standard-library-support-verification-only
standard-library-support-verification-only
October 13, 2023 23:23 1m 53s
Standard library support verification only Build and Test Dafny Runtimes #84: Pull request #33 synchronize by robin-aws
October 13, 2023 23:13 1m 51s standard-library-support-verification-only
standard-library-support-verification-only
October 13, 2023 23:13 1m 51s
Standard library support verification only Build and Test Dafny Runtimes #83: Pull request #33 synchronize by robin-aws
October 13, 2023 22:26 1m 56s standard-library-support-verification-only
standard-library-support-verification-only
October 13, 2023 22:26 1m 56s
Standard library support verification only Build and Test Dafny Runtimes #82: Pull request #33 opened by robin-aws
October 13, 2023 22:21 1m 46s standard-library-support-verification-only
standard-library-support-verification-only
October 13, 2023 22:21 1m 46s
Read clauses on methods Build and Test Dafny Runtimes #81: Pull request #30 synchronize by robin-aws
August 30, 2023 15:40 5m 18s read-clauses-on-methods
read-clauses-on-methods
August 30, 2023 15:40 5m 18s