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

fix: Correct cast of EnclosingClass Build DafnyRef.pdf #15829: Pull request #4954 opened by RustanLeino
January 9, 2024 00:37 7m 31s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 00:37 7m 31s
fix: Correct cast of EnclosingClass Build and Test Dafny Runtimes #6133: Pull request #4954 opened by RustanLeino
January 9, 2024 00:37 3m 45s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 00:37 3m 45s
fix: Correct cast of EnclosingClass Test documentation #7647: Pull request #4954 opened by RustanLeino
January 9, 2024 00:37 17m 30s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 00:37 17m 30s
chore(deps): bump actions/upload-artifact and actions/download-artifact from 3 to 4 Build DafnyRef.pdf #15828: Pull request #4899 synchronize by dependabot bot
January 9, 2024 00:16 9m 4s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
January 9, 2024 00:16 9m 4s
chore(deps): bump actions/upload-artifact and actions/download-artifact from 3 to 4 Build and Test #16597: Pull request #4899 synchronize by dependabot bot
January 9, 2024 00:16 33m 12s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
January 9, 2024 00:16 33m 12s
chore(deps): bump actions/upload-artifact and actions/download-artifact from 3 to 4 Build and Test Dafny Runtimes #6132: Pull request #4899 synchronize by dependabot bot
January 9, 2024 00:16 3m 33s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
January 9, 2024 00:16 3m 33s
chore(deps): bump actions/upload-artifact and actions/download-artifact from 3 to 4 Test documentation #7646: Pull request #4899 synchronize by dependabot bot
January 9, 2024 00:16 17m 21s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
January 9, 2024 00:16 17m 21s
chore(deps): bump actions/upload-artifact and actions/download-artifact from 3 to 4 Build and Test Dafny Standard Libraries #863: Pull request #4899 synchronize by dependabot bot
January 9, 2024 00:16 21m 55s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
January 9, 2024 00:16 21m 55s
pages build and deployment pages-build-deployment #1457: by keyboardDrummer
January 9, 2024 00:15 53s
January 9, 2024 00:15 53s
Fix bug in check deep tests script Build and Test #16596: Pull request #4941 synchronize by keyboardDrummer
January 8, 2024 23:38 40m 26s keyboardDrummer:fixCheckForWorkflowRuns
keyboardDrummer:fixCheckForWorkflowRuns
January 8, 2024 23:38 40m 26s
Fix bug in check deep tests script Build and Test Dafny Runtimes #6131: Pull request #4941 synchronize by keyboardDrummer
January 8, 2024 23:38 3m 35s keyboardDrummer:fixCheckForWorkflowRuns
keyboardDrummer:fixCheckForWorkflowRuns
January 8, 2024 23:38 3m 35s
Fix bug in check deep tests script Build DafnyRef.pdf #15827: Pull request #4941 synchronize by keyboardDrummer
January 8, 2024 23:38 7m 19s keyboardDrummer:fixCheckForWorkflowRuns
keyboardDrummer:fixCheckForWorkflowRuns
January 8, 2024 23:38 7m 19s
Fix bug in check deep tests script Test documentation #7645: Pull request #4941 synchronize by keyboardDrummer
January 8, 2024 23:38 17m 17s keyboardDrummer:fixCheckForWorkflowRuns
keyboardDrummer:fixCheckForWorkflowRuns
January 8, 2024 23:38 17m 17s
Fix bug in check deep tests script Build and Test Dafny Standard Libraries #862: Pull request #4941 synchronize by keyboardDrummer
January 8, 2024 23:38 19m 16s keyboardDrummer:fixCheckForWorkflowRuns
keyboardDrummer:fixCheckForWorkflowRuns
January 8, 2024 23:38 19m 16s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Runtimes #6130: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 23:30 3m 59s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 23:30 3m 59s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Standard Libraries #861: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 23:30 15m 45s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 23:30 15m 45s
Fix: Ability to cast a datatype to its trait when overriding functions Build DafnyRef.pdf #15826: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 23:30 7m 17s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 23:30 7m 17s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test #16595: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 23:30 39m 19s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 23:30 39m 19s
Fix: Ability to cast a datatype to its trait when overriding functions Test documentation #7644: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 23:30 17m 37s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 23:30 17m 37s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test #16594: Pull request #4928 synchronize by RustanLeino
January 8, 2024 22:00 38m 58s RustanLeino:fix-4926
RustanLeino:fix-4926
January 8, 2024 22:00 38m 58s
fix: Check for correct use of type characteristics in ghosts and default expressions Build DafnyRef.pdf #15825: Pull request #4928 synchronize by RustanLeino
January 8, 2024 22:00 9m 17s RustanLeino:fix-4926
RustanLeino:fix-4926
January 8, 2024 22:00 9m 17s
fix: Check for correct use of type characteristics in ghosts and default expressions Test documentation #7643: Pull request #4928 synchronize by RustanLeino
January 8, 2024 22:00 17m 35s RustanLeino:fix-4926
RustanLeino:fix-4926
January 8, 2024 22:00 17m 35s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Standard Libraries #860: Pull request #4928 synchronize by RustanLeino
January 8, 2024 22:00 18m 41s RustanLeino:fix-4926
RustanLeino:fix-4926
January 8, 2024 22:00 18m 41s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Runtimes #6129: Pull request #4928 synchronize by RustanLeino
January 8, 2024 22:00 3m 46s RustanLeino:fix-4926
RustanLeino:fix-4926
January 8, 2024 22:00 3m 46s
Support logging verification results in JSON Test documentation #7642: Pull request #4951 synchronize by atomb
January 8, 2024 20:02 17m 53s atomb:json-verification-logger
atomb:json-verification-logger
January 8, 2024 20:02 17m 53s