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

Add a link to the documentation Build and Test #16608: Pull request #4959 opened by keyboardDrummer
January 9, 2024 12:33 39m 10s keyboardDrummer:decreasesDocumentation
keyboardDrummer:decreasesDocumentation
January 9, 2024 12:33 39m 10s
Add a link to the documentation Build and Test Dafny Runtimes #6143: Pull request #4959 opened by keyboardDrummer
January 9, 2024 12:33 4m 34s keyboardDrummer:decreasesDocumentation
keyboardDrummer:decreasesDocumentation
January 9, 2024 12:33 4m 34s
Add a link to the documentation Build and Test Dafny Standard Libraries #874: Pull request #4959 opened by keyboardDrummer
January 9, 2024 12:33 19m 59s keyboardDrummer:decreasesDocumentation
keyboardDrummer:decreasesDocumentation
January 9, 2024 12:33 19m 59s
fix: Fix parsing error and a crash with non-reference-trait base type Build DafnyRef.pdf #15838: Pull request #4956 synchronize by RustanLeino
January 9, 2024 01:45 11m 50s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:45 11m 50s
fix: Fix parsing error and a crash with non-reference-trait base type Test documentation #7656: Pull request #4956 synchronize by RustanLeino
January 9, 2024 01:45 19m 6s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:45 19m 6s
fix: Fix parsing error and a crash with non-reference-trait base type Build and Test #16607: Pull request #4956 synchronize by RustanLeino
January 9, 2024 01:45 50m 36s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:45 50m 36s
fix: Fix parsing error and a crash with non-reference-trait base type Build and Test Dafny Standard Libraries #873: Pull request #4956 synchronize by RustanLeino
January 9, 2024 01:45 20m 59s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:45 20m 59s
fix: Fix parsing error and a crash with non-reference-trait base type Build and Test Dafny Runtimes #6142: Pull request #4956 synchronize by RustanLeino
January 9, 2024 01:45 6m 32s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:45 6m 32s
fix: Fix parsing error and a crash with non-reference-trait base type Build DafnyRef.pdf #15837: Pull request #4956 opened by RustanLeino
January 9, 2024 01:42 2m 45s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:42 2m 45s
fix: Fix parsing error and a crash with non-reference-trait base type Test documentation #7655: Pull request #4956 opened by RustanLeino
January 9, 2024 01:42 2m 45s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:42 2m 45s
fix: Fix parsing error and a crash with non-reference-trait base type Build and Test Dafny Standard Libraries #872: Pull request #4956 opened by RustanLeino
January 9, 2024 01:42 2m 45s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:42 2m 45s
fix: Fix parsing error and a crash with non-reference-trait base type Build and Test Dafny Runtimes #6141: Pull request #4956 opened by RustanLeino
January 9, 2024 01:42 2m 45s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:42 2m 45s
fix: Fix parsing error and a crash with non-reference-trait base type Build and Test #16606: Pull request #4956 opened by RustanLeino
January 9, 2024 01:42 2m 47s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:42 2m 47s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Runtimes #6140: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 24m 24s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 24m 24s
Fix: Ability to cast a datatype to its trait when overriding functions Test documentation #7654: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 38m 3s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 38m 3s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test #16605: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 1h 25m 52s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 1h 25m 52s
Fix: Ability to cast a datatype to its trait when overriding functions Build DafnyRef.pdf #15836: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 27m 28s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 27m 28s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Standard Libraries #871: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 52m 21s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 52m 21s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test #16604: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 23s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 23s
Fix: Ability to cast a datatype to its trait when overriding functions Build DafnyRef.pdf #15835: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 21s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 21s
Fix: Ability to cast a datatype to its trait when overriding functions Test documentation #7653: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 22s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 22s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Standard Libraries #870: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 22s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 22s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Runtimes #6139: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 22s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 22s
fix: Fix crash for lookup of non-existing member in new resolver Test documentation #7652: Pull request #4955 synchronize by RustanLeino
January 9, 2024 00:55 39m 38s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 00:55 39m 38s
fix: Fix crash for lookup of non-existing member in new resolver Build and Test Dafny Runtimes #6138: Pull request #4955 synchronize by RustanLeino
January 9, 2024 00:55 22m 21s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 00:55 22m 21s