Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...

Showing runs from all workflows named Build and Test
15,630 workflow run results
15,630 workflow run results
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add more ProofObligationDescription expressions Build and Test Dafny Runtimes #7731: Pull request #5455 synchronize by alex-chew
May 17, 2024 23:10 6m 43s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 23:10 6m 43s
Add more ProofObligationDescription expressions Build and Test Dafny Standard Libraries #2460: Pull request #5455 synchronize by alex-chew
May 17, 2024 23:10 35m 26s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 23:10 35m 26s
Add more ProofObligationDescription expressions Build and Test #18195: Pull request #5455 synchronize by alex-chew
May 17, 2024 23:10 31m 42s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 23:10 31m 42s
Add more ProofObligationDescription expressions Build and Test Dafny Standard Libraries #2459: Pull request #5455 synchronize by alex-chew
May 17, 2024 23:08 18m 21s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 23:08 18m 21s
Add more ProofObligationDescription expressions Build and Test #18194: Pull request #5455 synchronize by alex-chew
May 17, 2024 23:08 30m 21s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 23:08 30m 21s
Add more ProofObligationDescription expressions Build and Test Dafny Runtimes #7730: Pull request #5455 synchronize by alex-chew
May 17, 2024 23:08 4m 7s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 23:08 4m 7s
feat: python-module-name Build and Test Dafny Runtimes #7729: Pull request #5461 synchronize by lucasmcdonald3
May 17, 2024 22:26 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 17, 2024 22:26 Action required
feat: python-module-name Build and Test #18193: Pull request #5461 synchronize by lucasmcdonald3
May 17, 2024 22:26 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 17, 2024 22:26 Action required
feat: python-module-name Build and Test Dafny Standard Libraries #2458: Pull request #5461 synchronize by lucasmcdonald3
May 17, 2024 22:26 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 17, 2024 22:26 Action required
feat: python-module-name Build and Test Dafny Standard Libraries #2457: Pull request #5461 opened by lucasmcdonald3
May 17, 2024 22:24 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 17, 2024 22:24 Action required
feat: python-module-name Build and Test #18192: Pull request #5461 opened by lucasmcdonald3
May 17, 2024 22:24 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 17, 2024 22:24 Action required
feat: python-module-name Build and Test Dafny Runtimes #7728: Pull request #5461 opened by lucasmcdonald3
May 17, 2024 22:24 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 17, 2024 22:24 Action required
Fix bugs that could lead to an unresponsive IDE when working with project files Build and Test Dafny Runtimes #7727: Pull request #5444 synchronize by MikaelMayer
May 17, 2024 21:07 3m 51s keyboardDrummer:nonResponsiveProjectManager
keyboardDrummer:nonResponsiveProjectManager
May 17, 2024 21:07 3m 51s
Fix bugs that could lead to an unresponsive IDE when working with project files Build and Test #18191: Pull request #5444 synchronize by MikaelMayer
May 17, 2024 21:07 36m 47s keyboardDrummer:nonResponsiveProjectManager
keyboardDrummer:nonResponsiveProjectManager
May 17, 2024 21:07 36m 47s
Fix bugs that could lead to an unresponsive IDE when working with project files Build and Test Dafny Standard Libraries #2456: Pull request #5444 synchronize by MikaelMayer
May 17, 2024 21:07 18m 0s keyboardDrummer:nonResponsiveProjectManager
keyboardDrummer:nonResponsiveProjectManager
May 17, 2024 21:07 18m 0s
Fix: Optional pre-type won't cause a crash anymore Build and Test Dafny Runtimes #7726: Pull request #5442 synchronize by MikaelMayer
May 17, 2024 18:25 4m 7s fix-5369-crash-new-resolver
fix-5369-crash-new-resolver
May 17, 2024 18:25 4m 7s
Fix: Optional pre-type won't cause a crash anymore Build and Test #18190: Pull request #5442 synchronize by MikaelMayer
May 17, 2024 18:25 18m 12s fix-5369-crash-new-resolver
fix-5369-crash-new-resolver
May 17, 2024 18:25 18m 12s
Fix: Optional pre-type won't cause a crash anymore Build and Test Dafny Standard Libraries #2455: Pull request #5442 synchronize by MikaelMayer
May 17, 2024 18:25 18m 3s fix-5369-crash-new-resolver
fix-5369-crash-new-resolver
May 17, 2024 18:25 18m 3s
Fix: No new resolver crash with partially resolved datatype update expressions Build and Test Dafny Runtimes #7725: Pull request #5440 synchronize by MikaelMayer
May 17, 2024 18:25 3m 59s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
May 17, 2024 18:25 3m 59s
Fix: No new resolver crash with partially resolved datatype update expressions Build and Test #18189: Pull request #5440 synchronize by MikaelMayer
May 17, 2024 18:25 33m 21s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
May 17, 2024 18:25 33m 21s
Fix: No new resolver crash with partially resolved datatype update expressions Build and Test Dafny Standard Libraries #2454: Pull request #5440 synchronize by MikaelMayer
May 17, 2024 18:25 17m 58s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
May 17, 2024 18:25 17m 58s
Add more ProofObligationDescription expressions Build and Test Dafny Standard Libraries #2453: Pull request #5455 synchronize by alex-chew
May 17, 2024 17:03 19s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 17:03 19s
Add more ProofObligationDescription expressions Build and Test #18188: Pull request #5455 synchronize by alex-chew
May 17, 2024 17:03 22s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 17:03 22s
Add more ProofObligationDescription expressions Build and Test Dafny Runtimes #7724: Pull request #5455 synchronize by alex-chew
May 17, 2024 17:03 24s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 17:03 24s
Add more ProofObligationDescription expressions Build and Test #18187: Pull request #5455 synchronize by alex-chew
May 17, 2024 17:02 14s alexchew/podesc-expr-2
alexchew/podesc-expr-2
May 17, 2024 17:02 14s