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,577 workflow runs
5,577 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Try a simple revert Build and Test Dafny Runtimes #8889: Pull request #5860 opened by robin-aws
October 25, 2024 22:55 13s robin-aws:revert-csharp-runtime-funcextensions-change
robin-aws:revert-csharp-runtime-funcextensions-change
October 25, 2024 22:55 13s
chore: Improve tests Build and Test Dafny Runtimes #8888: Pull request #5859 opened by RustanLeino
October 25, 2024 22:50 13s RustanLeino:improve-tests
RustanLeino:improve-tests
October 25, 2024 22:50 13s
Isolate paths Build and Test Dafny Runtimes #8887: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 14:55 5m 13s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 14:55 5m 13s
Isolate paths Build and Test Dafny Runtimes #8886: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 11:51 4m 58s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 11:51 4m 58s
Feat: Auto-completion of @-attributes for the language server Build and Test Dafny Runtimes #8885: Pull request #5846 synchronize by keyboardDrummer
October 25, 2024 10:17 5m 21s feat-at-attributes-server
feat-at-attributes-server
October 25, 2024 10:17 5m 21s
Feat: Auto-completion of @-attributes for the language server Build and Test Dafny Runtimes #8884: Pull request #5846 synchronize by keyboardDrummer
October 25, 2024 10:17 13s feat-at-attributes-server
feat-at-attributes-server
October 25, 2024 10:17 13s
Isolate paths Build and Test Dafny Runtimes #8883: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 09:56 7m 58s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 09:56 7m 58s
Isolate paths Build and Test Dafny Runtimes #8882: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 09:53 5m 1s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 09:53 5m 1s
Isolate paths Build and Test Dafny Runtimes #8881: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 09:44 2m 22s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 09:44 2m 22s
Isolate paths Build and Test Dafny Runtimes #8880: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 09:31 1m 7s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 09:31 1m 7s
Isolate paths Build and Test Dafny Runtimes #8879: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 09:30 10s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 09:30 10s
Isolate paths Build and Test Dafny Runtimes #8878: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 09:29 2m 13s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 09:29 2m 13s
Feat: Auto-completion of @-attributes for the language server Build and Test Dafny Runtimes #8877: Pull request #5846 synchronize by MikaelMayer
October 24, 2024 20:26 8m 59s feat-at-attributes-server
feat-at-attributes-server
October 24, 2024 20:26 8m 59s
Feat: Auto-completion of @-attributes for the language server Build and Test Dafny Runtimes #8876: Pull request #5846 synchronize by MikaelMayer
October 24, 2024 20:24 5m 5s feat-at-attributes-server
feat-at-attributes-server
October 24, 2024 20:24 5m 5s
Isolate paths Build and Test Dafny Runtimes #8875: Pull request #5832 synchronize by keyboardDrummer
October 24, 2024 18:32 3m 58s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 24, 2024 18:32 3m 58s
Isolate paths Build and Test Dafny Runtimes #8874: Pull request #5832 synchronize by keyboardDrummer
October 24, 2024 18:30 2m 30s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 24, 2024 18:30 2m 30s
Isolate paths Build and Test Dafny Runtimes #8873: Pull request #5832 synchronize by keyboardDrummer
October 24, 2024 18:27 36s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 24, 2024 18:27 36s
Feat simplified rust identifiers Build and Test Dafny Runtimes #8872: Pull request #5845 synchronize by MikaelMayer
October 24, 2024 18:24 10m 3s feat-simplified-rust-identifiers
feat-simplified-rust-identifiers
October 24, 2024 18:24 10m 3s
Feat simplified rust identifiers Build and Test Dafny Runtimes #8871: Pull request #5845 synchronize by MikaelMayer
October 24, 2024 18:24 5m 9s feat-simplified-rust-identifiers
feat-simplified-rust-identifiers
October 24, 2024 18:24 5m 9s
Fix: Object::from_ref no longer forgetting to increment the strong count Build and Test Dafny Runtimes #8870: Pull request #5858 synchronize by MikaelMayer
October 24, 2024 18:07 5m 20s fix-5851-increment-strong-count-opaque
fix-5851-increment-strong-count-opaque
October 24, 2024 18:07 5m 20s
Fix: Object::from_ref no longer forgetting to increment the strong count Build and Test Dafny Runtimes #8869: Pull request #5858 synchronize by MikaelMayer
October 24, 2024 16:37 5m 11s fix-5851-increment-strong-count-opaque
fix-5851-increment-strong-count-opaque
October 24, 2024 16:37 5m 11s
Isolate paths Build and Test Dafny Runtimes #8868: Pull request #5832 synchronize by keyboardDrummer
October 24, 2024 15:09 20s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 24, 2024 15:09 20s
Isolate paths Build and Test Dafny Runtimes #8867: Pull request #5832 synchronize by keyboardDrummer
October 24, 2024 15:09 16s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 24, 2024 15:09 16s
Fix: Object::from_ref no longer forgetting to increment the strong count Build and Test Dafny Runtimes #8866: Pull request #5858 opened by MikaelMayer
October 24, 2024 13:59 5m 12s fix-5851-increment-strong-count-opaque
fix-5851-increment-strong-count-opaque
October 24, 2024 13:59 5m 12s
Isolate paths Build and Test Dafny Runtimes #8865: Pull request #5832 synchronize by keyboardDrummer
October 24, 2024 11:59 9m 39s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 24, 2024 11:59 9m 39s