Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test Dafny Runtimes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
runtime-tests.yml
5,576 workflow runs
5,576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix GoLang issue when module and datatype names collide Build and Test Dafny Runtimes #8764: Pull request #5824 synchronize by keyboardDrummer
October 14, 2024 09:37 5m 32s keyboardDrummer:renameImportsToAvoidNameCollision
keyboardDrummer:renameImportsToAvoidNameCollision
October 14, 2024 09:37 5m 32s
Speed up dafny verify by reducing memory pressure Build and Test Dafny Runtimes #8763: Pull request #5827 synchronize by keyboardDrummer
October 12, 2024 14:30 32m 4s keyboardDrummer:onlyClaimVerificationMemoryPerModule
keyboardDrummer:onlyClaimVerificationMemoryPerModule
October 12, 2024 14:30 32m 4s
Speed up dafny verify by reducing memory pressure Build and Test Dafny Runtimes #8762: Pull request #5827 synchronize by keyboardDrummer
October 12, 2024 14:30 5m 28s keyboardDrummer:onlyClaimVerificationMemoryPerModule
keyboardDrummer:onlyClaimVerificationMemoryPerModule
October 12, 2024 14:30 5m 28s
Fix GoLang issue when module and datatype names collide Build and Test Dafny Runtimes #8761: Pull request #5824 synchronize by keyboardDrummer
October 11, 2024 16:46 5m 22s keyboardDrummer:renameImportsToAvoidNameCollision
keyboardDrummer:renameImportsToAvoidNameCollision
October 11, 2024 16:46 5m 22s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8760: Pull request #5825 synchronize by MikaelMayer
October 11, 2024 15:56 6m 12s feat-at-attributes-1
feat-at-attributes-1
October 11, 2024 15:56 6m 12s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8759: Pull request #5825 synchronize by MikaelMayer
October 11, 2024 15:52 5m 4s feat-at-attributes-1
feat-at-attributes-1
October 11, 2024 15:52 5m 4s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8758: Pull request #5825 synchronize by MikaelMayer
October 11, 2024 14:33 5m 21s feat-at-attributes-1
feat-at-attributes-1
October 11, 2024 14:33 5m 21s
Speed up dafny verify by reducing memory pressure Build and Test Dafny Runtimes #8757: Pull request #5827 synchronize by keyboardDrummer
October 11, 2024 12:07 7m 37s keyboardDrummer:onlyClaimVerificationMemoryPerModule
keyboardDrummer:onlyClaimVerificationMemoryPerModule
October 11, 2024 12:07 7m 37s
Speed up dafny verify by reducing memory pressure Build and Test Dafny Runtimes #8756: Pull request #5827 synchronize by keyboardDrummer
October 11, 2024 12:04 3m 36s keyboardDrummer:onlyClaimVerificationMemoryPerModule
keyboardDrummer:onlyClaimVerificationMemoryPerModule
October 11, 2024 12:04 3m 36s
Speed up dafny verify by reducing memory pressure Build and Test Dafny Runtimes #8755: Pull request #5827 opened by keyboardDrummer
October 11, 2024 12:03 5m 47s keyboardDrummer:onlyClaimVerificationMemoryPerModule
keyboardDrummer:onlyClaimVerificationMemoryPerModule
October 11, 2024 12:03 5m 47s
Golang: Skip ghost parameters in type parameter downcast Build and Test Dafny Runtimes #8754: Pull request #5815 synchronize by stefan-aws
October 11, 2024 11:39 4m 57s robin-aws:github-issue-5814
robin-aws:github-issue-5814
October 11, 2024 11:39 4m 57s
Golang: Skip ghost parameters in type parameter downcast Build and Test Dafny Runtimes #8753: Pull request #5815 synchronize by robin-aws
October 11, 2024 00:56 6m 28s robin-aws:github-issue-5814
robin-aws:github-issue-5814
October 11, 2024 00:56 6m 28s
Add /v4 to references to dafny-lang/DafnyRuntimeGo Build and Test Dafny Runtimes #8752: Pull request #5826 opened by robin-aws
October 11, 2024 00:30 5m 11s robin-aws:fix-go-runtime-module-path
robin-aws:fix-go-runtime-module-path
October 11, 2024 00:30 5m 11s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8751: Pull request #5825 synchronize by MikaelMayer
October 10, 2024 22:08 5m 21s feat-at-attributes-1
feat-at-attributes-1
October 10, 2024 22:08 5m 21s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8750: Pull request #5825 synchronize by MikaelMayer
October 10, 2024 21:35 4m 50s feat-at-attributes-1
feat-at-attributes-1
October 10, 2024 21:35 4m 50s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8749: Pull request #5825 synchronize by MikaelMayer
October 10, 2024 15:59 3m 30s feat-at-attributes-1
feat-at-attributes-1
October 10, 2024 15:59 3m 30s
chore: add config for PyPI runtime publishing Build and Test Dafny Runtimes #8748: Pull request #5273 synchronize by keyboardDrummer
October 10, 2024 15:39 5m 10s alex-chew:alexchew/publish-py-runtime
alex-chew:alexchew/publish-py-runtime
October 10, 2024 15:39 5m 10s
chore: add config for PyPI runtime publishing Build and Test Dafny Runtimes #8747: Pull request #5273 synchronize by keyboardDrummer
October 10, 2024 15:39 13s alex-chew:alexchew/publish-py-runtime
alex-chew:alexchew/publish-py-runtime
October 10, 2024 15:39 13s
Fix GoLang issue when module and datatype names collide Build and Test Dafny Runtimes #8746: Pull request #5824 synchronize by keyboardDrummer
October 10, 2024 15:31 5m 15s keyboardDrummer:renameImportsToAvoidNameCollision
keyboardDrummer:renameImportsToAvoidNameCollision
October 10, 2024 15:31 5m 15s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8745: Pull request #5825 synchronize by MikaelMayer
October 10, 2024 14:56 13m 6s feat-at-attributes-1
feat-at-attributes-1
October 10, 2024 14:56 13m 6s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8744: Pull request #5825 synchronize by MikaelMayer
October 10, 2024 14:53 2m 53s feat-at-attributes-1
feat-at-attributes-1
October 10, 2024 14:53 2m 53s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8743: Pull request #5825 synchronize by MikaelMayer
October 10, 2024 14:46 7m 21s feat-at-attributes-1
feat-at-attributes-1
October 10, 2024 14:46 7m 21s
chore: add config for PyPI runtime publishing Build and Test Dafny Runtimes #8742: Pull request #5273 synchronize by keyboardDrummer
October 10, 2024 14:19 12m 38s alex-chew:alexchew/publish-py-runtime
alex-chew:alexchew/publish-py-runtime
October 10, 2024 14:19 12m 38s
Feat: @-attributes on top-level declarations Build and Test Dafny Runtimes #8741: Pull request #5825 opened by MikaelMayer
October 10, 2024 14:15 3m 30s feat-at-attributes-1
feat-at-attributes-1
October 10, 2024 14:15 3m 30s
Fix GoLang issue when module and datatype names collide Build and Test Dafny Runtimes #8740: Pull request #5824 synchronize by keyboardDrummer
October 10, 2024 14:14 5m 36s keyboardDrummer:renameImportsToAvoidNameCollision
keyboardDrummer:renameImportsToAvoidNameCollision
October 10, 2024 14:14 5m 36s