Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,213 workflow run results
13,213 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lsp test failure debugging Test documentation #7671: Pull request #4966 opened by atomb
January 9, 2024 21:32 17m 46s atomb:lsp-test-failure-debugging
atomb:lsp-test-failure-debugging
January 9, 2024 21:32 17m 46s
Lsp test failure debugging Build and Test Dafny Standard Libraries #888: Pull request #4966 opened by atomb
January 9, 2024 21:32 16m 53s atomb:lsp-test-failure-debugging
atomb:lsp-test-failure-debugging
January 9, 2024 21:32 16m 53s
Lsp test failure debugging Build DafnyRef.pdf #15853: Pull request #4966 opened by atomb
January 9, 2024 21:32 7m 20s atomb:lsp-test-failure-debugging
atomb:lsp-test-failure-debugging
January 9, 2024 21:32 7m 20s
Lsp test failure debugging Build and Test Dafny Runtimes #6157: Pull request #4966 opened by atomb
January 9, 2024 21:32 3m 43s atomb:lsp-test-failure-debugging
atomb:lsp-test-failure-debugging
January 9, 2024 21:32 3m 43s
Lsp test failure debugging Build and Test #16622: Pull request #4966 opened by atomb
January 9, 2024 21:32 32m 37s atomb:lsp-test-failure-debugging
atomb:lsp-test-failure-debugging
January 9, 2024 21:32 32m 37s
fix: Fix crash for lookup of non-existing member in new resolver Build and Test Dafny Runtimes #6156: Pull request #4955 synchronize by RustanLeino
January 9, 2024 21:05 3m 45s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 21:05 3m 45s
fix: Fix crash for lookup of non-existing member in new resolver Build DafnyRef.pdf #15852: Pull request #4955 synchronize by RustanLeino
January 9, 2024 21:05 9m 29s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 21:05 9m 29s
fix: Fix crash for lookup of non-existing member in new resolver Build and Test Dafny Standard Libraries #887: Pull request #4955 synchronize by RustanLeino
January 9, 2024 21:05 16m 50s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 21:05 16m 50s
fix: Fix crash for lookup of non-existing member in new resolver Test documentation #7670: Pull request #4955 synchronize by RustanLeino
January 9, 2024 21:05 17m 58s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 21:05 17m 58s
fix: Fix crash for lookup of non-existing member in new resolver Build and Test #16621: Pull request #4955 synchronize by RustanLeino
January 9, 2024 21:05 17m 12s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 21:05 17m 12s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test #16620: Pull request #4928 synchronize by RustanLeino
January 9, 2024 20:10 41m 58s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 20:10 41m 58s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Standard Libraries #886: Pull request #4928 synchronize by RustanLeino
January 9, 2024 20:10 16m 24s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 20:10 16m 24s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Runtimes #6155: Pull request #4928 synchronize by RustanLeino
January 9, 2024 20:10 3m 48s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 20:10 3m 48s
fix: Check for correct use of type characteristics in ghosts and default expressions Build DafnyRef.pdf #15851: Pull request #4928 synchronize by RustanLeino
January 9, 2024 20:10 8m 48s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 20:10 8m 48s
fix: Check for correct use of type characteristics in ghosts and default expressions Test documentation #7669: Pull request #4928 synchronize by RustanLeino
January 9, 2024 20:10 17m 43s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 20:10 17m 43s
Bug fix for Issue 3766 Test documentation #7668: Pull request #4694 synchronize by alex-chew
January 9, 2024 19:31 18m 3s issue3766
issue3766
January 9, 2024 19:31 18m 3s
Bug fix for Issue 3766 Build DafnyRef.pdf #15850: Pull request #4694 synchronize by alex-chew
January 9, 2024 19:31 7m 27s issue3766
issue3766
January 9, 2024 19:31 7m 27s
Bug fix for Issue 3766 Build and Test Dafny Standard Libraries #885: Pull request #4694 synchronize by alex-chew
January 9, 2024 19:31 27m 20s issue3766
issue3766
January 9, 2024 19:31 27m 20s
Bug fix for Issue 3766 Build and Test #16619: Pull request #4694 synchronize by alex-chew
January 9, 2024 19:31 40m 17s issue3766
issue3766
January 9, 2024 19:31 40m 17s
Bug fix for Issue 3766 Build and Test Dafny Runtimes #6154: Pull request #4694 synchronize by alex-chew
January 9, 2024 19:31 3m 52s issue3766
issue3766
January 9, 2024 19:31 3m 52s
pages build and deployment pages-build-deployment #1459: by RustanLeino
January 9, 2024 19:16 51s
January 9, 2024 19:16 51s
Introduce --general-newtypes option Build and Test Dafny Runtimes #6153: Pull request #4932 synchronize by RustanLeino
January 9, 2024 18:35 3m 41s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 18:35 3m 41s
Introduce --general-newtypes option Build and Test #16618: Pull request #4932 synchronize by RustanLeino
January 9, 2024 18:35 44m 11s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 18:35 44m 11s
Introduce --general-newtypes option Build and Test Dafny Standard Libraries #884: Pull request #4932 synchronize by RustanLeino
January 9, 2024 18:35 15m 41s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 18:35 15m 41s
Introduce --general-newtypes option Test documentation #7667: Pull request #4932 synchronize by RustanLeino
January 9, 2024 18:35 17m 44s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 18:35 17m 44s