Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msbuild.yml
5,301 workflow runs
5,301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More @-attributes supported, top-level declarations and members Build and Test #19574: Pull request #5916 synchronize by MikaelMayer
November 22, 2024 22:29 31m 2s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 22, 2024 22:29 31m 2s
More @-attributes supported, top-level declarations and members Build and Test #19573: Pull request #5916 synchronize by MikaelMayer
November 22, 2024 21:51 27m 48s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 22, 2024 21:51 27m 48s
More @-attributes supported, top-level declarations and members Build and Test #19572: Pull request #5916 synchronize by MikaelMayer
November 22, 2024 21:09 28m 6s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 22, 2024 21:09 28m 6s
Fix: Tail-recursion for result copy types in the Dafny-to-Rust backend. Build and Test #19571: Pull request #5930 synchronize by MikaelMayer
November 22, 2024 20:48 35m 7s fix-5923-better
fix-5923-better
November 22, 2024 20:48 35m 7s
Fix: Tail-recursion for result copy types in the Dafny-to-Rust backend. Build and Test #19570: Pull request #5930 opened by MikaelMayer
November 22, 2024 20:47 1m 5s fix-5923-better
fix-5923-better
November 22, 2024 20:47 1m 5s
More @-attributes supported, top-level declarations and members Build and Test #19569: Pull request #5916 synchronize by MikaelMayer
November 22, 2024 18:18 30m 32s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 22, 2024 18:18 30m 32s
Fix formatting of var by statements Build and Test #19568: Pull request #5927 synchronize by MikaelMayer
November 22, 2024 15:04 1h 2m 24s keyboardDrummer:assignByFormatting
keyboardDrummer:assignByFormatting
November 22, 2024 15:04 1h 2m 24s
Add tooltip on assertions that shows which functions are hidden Build and Test #19567: Pull request #5929 opened by keyboardDrummer
November 22, 2024 15:03 1h 6m 11s keyboardDrummer:whatIsHiddenHint
keyboardDrummer:whatIsHiddenHint
November 22, 2024 15:03 1h 6m 11s
Fix AtomicBox in Go, improve test to expose the bug Build and Test #19566: Pull request #5928 synchronize by robin-aws
November 21, 2024 19:19 30m 9s robin-aws:go-atomic-box-fix
robin-aws:go-atomic-box-fix
November 21, 2024 19:19 30m 9s
Fix AtomicBox in Go, improve test to expose the bug Build and Test #19565: Pull request #5928 opened by robin-aws
November 21, 2024 19:18 12s robin-aws:go-atomic-box-fix
robin-aws:go-atomic-box-fix
November 21, 2024 19:18 12s
Fix formatting of var by statements Build and Test #19564: Pull request #5927 synchronize by keyboardDrummer
November 21, 2024 15:51 56m 52s keyboardDrummer:assignByFormatting
keyboardDrummer:assignByFormatting
November 21, 2024 15:51 56m 52s
Fix formatting of var by statements Build and Test #19563: Pull request #5927 opened by keyboardDrummer
November 21, 2024 15:51 28m 57s keyboardDrummer:assignByFormatting
keyboardDrummer:assignByFormatting
November 21, 2024 15:51 28m 57s
Fix more issues in the Dafny-to-Rust compiler Build and Test #19562: Pull request #5926 synchronize by MikaelMayer
November 21, 2024 03:28 26m 22s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 21, 2024 03:28 26m 22s
Fix more issues in the Dafny-to-Rust compiler Build and Test #19561: Pull request #5926 synchronize by MikaelMayer
November 21, 2024 03:01 28m 27s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 21, 2024 03:01 28m 27s
Fix more issues in the Dafny-to-Rust compiler Build and Test #19560: Pull request #5926 synchronize by MikaelMayer
November 21, 2024 02:16 29m 2s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 21, 2024 02:16 29m 2s
Fix more issues in the Dafny-to-Rust compiler Build and Test #19559: Pull request #5926 synchronize by MikaelMayer
November 20, 2024 22:29 29m 19s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 20, 2024 22:29 29m 19s
Fix more issues in the Dafny-to-Rust compiler Build and Test #19558: Pull request #5926 synchronize by MikaelMayer
November 20, 2024 20:55 39m 8s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 20, 2024 20:55 39m 8s
Fix more issues in the Dafny-to-Rust compiler Build and Test #19557: Pull request #5926 opened by MikaelMayer
November 20, 2024 20:32 30m 48s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 20, 2024 20:32 30m 48s
More @-attributes supported, top-level declarations and members Build and Test #19556: Pull request #5916 synchronize by MikaelMayer
November 20, 2024 20:25 29m 17s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 20, 2024 20:25 29m 17s
Use CanCall everywhere Build and Test #19555: Pull request #5654 synchronize by typerSniper
November 20, 2024 19:49 29m 54s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
November 20, 2024 19:49 29m 54s
Use CanCall everywhere Build and Test #19554: Pull request #5654 synchronize by typerSniper
November 20, 2024 19:10 29m 56s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
November 20, 2024 19:10 29m 56s
Use CanCall everywhere Build and Test #19553: Pull request #5654 synchronize by typerSniper
November 20, 2024 18:20 29m 5s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
November 20, 2024 18:20 29m 5s
chore(deps): bump rexml from 3.3.6 to 3.3.9 in /docs Build and Test #19552: Pull request #5868 synchronize by MikaelMayer
November 20, 2024 17:41 33m 28s dependabot/bundler/docs/rexml-3.3.9
dependabot/bundler/docs/rexml-3.3.9
November 20, 2024 17:41 33m 28s
Use CanCall everywhere Build and Test #19551: Pull request #5654 synchronize by typerSniper
November 20, 2024 17:07 28m 27s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
November 20, 2024 17:07 28m 27s
chore(deps): bump rexml from 3.3.6 to 3.3.9 in /docs Build and Test #19550: Pull request #5868 synchronize by MikaelMayer
November 20, 2024 15:37 34m 2s dependabot/bundler/docs/rexml-3.3.9
dependabot/bundler/docs/rexml-3.3.9
November 20, 2024 15:37 34m 2s