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: Formatting on the command line works again Build and Test #16588: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 14:33 1h 13m 37s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 14:33 1h 13m 37s
Fix: Formatting on the command line works again Build DafnyRef.pdf #15819: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 14:33 34m 45s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 14:33 34m 45s
Fix: Formatting on the command line works again Test documentation #7637: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 14:33 44m 35s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 14:33 44m 35s
Fix: Formatting on the command line works again Build and Test Dafny Runtimes #6123: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 14:33 30m 28s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 14:33 30m 28s
Fix: Formatting on the command line works again Build and Test Dafny Standard Libraries #854: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 14:33 1m 21s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 14:33 1m 21s
Nightly test and release workflow Nightly test and release workflow #121: Scheduled
January 8, 2024 14:33 52m 15s master
master
January 8, 2024 14:33 52m 15s
pages build and deployment pages-build-deployment #1455: by keyboardDrummer
January 8, 2024 13:31 55s
January 8, 2024 13:31 55s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test #16587: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 12:45 38m 38s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 12:45 38m 38s
Fix: Ability to cast a datatype to its trait when overriding functions Test documentation #7636: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 12:45 18m 22s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 12:45 18m 22s
Fix: Ability to cast a datatype to its trait when overriding functions Build DafnyRef.pdf #15818: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 12:45 8m 20s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 12:45 8m 20s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Runtimes #6122: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 12:45 4m 48s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 12:45 4m 48s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Standard Libraries #853: Pull request #4824 synchronize by MikaelMayer
January 8, 2024 12:45 11m 8s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 8, 2024 12:45 11m 8s
Fix: Formatting on the command line works again Build and Test Dafny Runtimes #6121: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 12:44 17m 4s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:44 17m 4s
Fix: Formatting on the command line works again Test documentation #7635: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 12:44 33m 2s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:44 33m 2s
Fix: Formatting on the command line works again Build DafnyRef.pdf #15817: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 12:44 21m 26s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:44 21m 26s
Fix: Formatting on the command line works again Build and Test Dafny Standard Libraries #852: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 12:44 13m 30s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:44 13m 30s
Fix: Formatting on the command line works again Build and Test #16586: Pull request #4950 synchronize by MikaelMayer
January 8, 2024 12:44 1h 19m 47s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:44 1h 19m 47s
Fix: Formatting on the command line works again Test documentation #7634: Pull request #4950 opened by MikaelMayer
January 8, 2024 12:42 17m 28s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:42 17m 28s
Fix: Formatting on the command line works again Build and Test #16585: Pull request #4950 opened by MikaelMayer
January 8, 2024 12:42 42m 10s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:42 42m 10s
Fix: Formatting on the command line works again Build DafnyRef.pdf #15816: Pull request #4950 opened by MikaelMayer
January 8, 2024 12:42 9m 15s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:42 9m 15s
Fix: Formatting on the command line works again Build and Test Dafny Standard Libraries #851: Pull request #4950 opened by MikaelMayer
January 8, 2024 12:42 2m 30s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:42 2m 30s
Fix: Formatting on the command line works again Build and Test Dafny Runtimes #6120: Pull request #4950 opened by MikaelMayer
January 8, 2024 12:42 3m 58s fixed-formatter-cli
fixed-formatter-cli
January 8, 2024 12:42 3m 58s
Fix: Formatting on VSCode for multi-file projects with project file Test documentation #7633: Pull request #4918 synchronize by MikaelMayer
January 8, 2024 11:50 28m 53s fixed-formatter
fixed-formatter
January 8, 2024 11:50 28m 53s
Fix: Formatting on VSCode for multi-file projects with project file Build and Test Dafny Standard Libraries #850: Pull request #4918 synchronize by MikaelMayer
January 8, 2024 11:50 19m 4s fixed-formatter
fixed-formatter
January 8, 2024 11:50 19m 4s
Fix: Formatting on VSCode for multi-file projects with project file Build and Test #16584: Pull request #4918 synchronize by MikaelMayer
January 8, 2024 11:50 1h 12m 40s fixed-formatter
fixed-formatter
January 8, 2024 11:50 1h 12m 40s