Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msbuild.yml
4,752 workflow runs
4,752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Don’t require —standard-libraries matches across doo files Build and Test #19744: Pull request #5971 opened by robin-aws
December 10, 2024 23:45 32m 29s robin-aws:standard-libraries-check-on-doo-files
robin-aws:standard-libraries-check-on-doo-files
December 10, 2024 23:45 32m 29s
Use refresh resolver by default Build and Test #19743: Pull request #5653 synchronize by RustanLeino
December 10, 2024 19:12 29m 32s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
December 10, 2024 19:12 29m 32s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test #19742: Pull request #5931 synchronize by keyboardDrummer
December 10, 2024 15:22 28m 20s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 10, 2024 15:22 28m 20s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test #19741: Pull request #5931 synchronize by keyboardDrummer
December 10, 2024 15:22 13s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 10, 2024 15:22 13s
Update the PR template Build and Test #19740: Pull request #5953 synchronize by keyboardDrummer
December 9, 2024 16:55 23m 22s keyboardDrummer:prTemplate
keyboardDrummer:prTemplate
December 9, 2024 16:55 23m 22s
Define models for set and multiset Build and Test #19739: Pull request #5963 synchronize by atomb
December 9, 2024 16:24 32m 32s RustanLeino:set-model
RustanLeino:set-model
December 9, 2024 16:24 32m 32s
Use CanCall everywhere Build and Test #19738: Pull request #5654 synchronize by typerSniper
December 9, 2024 15:14 54m 22s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
December 9, 2024 15:14 54m 22s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test #19737: Pull request #5931 synchronize by keyboardDrummer
December 9, 2024 14:49 1h 6m 24s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 9, 2024 14:49 1h 6m 24s
Use CanCall everywhere Build and Test #19736: Pull request #5654 synchronize by typerSniper
December 9, 2024 14:48 48m 51s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
December 9, 2024 14:48 48m 51s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test #19735: Pull request #5931 synchronize by keyboardDrummer
December 9, 2024 14:24 26m 46s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 9, 2024 14:24 26m 46s
Update the PR template Build and Test #19734: Pull request #5953 synchronize by keyboardDrummer
December 9, 2024 12:41 25m 54s keyboardDrummer:prTemplate
keyboardDrummer:prTemplate
December 9, 2024 12:41 25m 54s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test #19733: Pull request #5931 synchronize by keyboardDrummer
December 9, 2024 12:32 26m 40s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 9, 2024 12:32 26m 40s
Define models for set and multiset Build and Test #19732: Pull request #5963 synchronize by RustanLeino
December 7, 2024 00:17 26m 18s RustanLeino:set-model
RustanLeino:set-model
December 7, 2024 00:17 26m 18s
Feat: Rust supports overriding traits Build and Test #19731: Pull request #5948 synchronize by MikaelMayer
December 6, 2024 23:39 25m 27s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
December 6, 2024 23:39 25m 27s
Define models for set and multiset Build and Test #19730: Pull request #5963 synchronize by RustanLeino
December 6, 2024 22:07 27m 36s RustanLeino:set-model
RustanLeino:set-model
December 6, 2024 22:07 27m 36s
Stop unnecessarily verifying symbols multiple times when using refinement Build and Test #19729: Pull request #5967 synchronize by keyboardDrummer
December 6, 2024 15:38 47m 34s keyboardDrummer:refinedSymbolVerification
keyboardDrummer:refinedSymbolVerification
December 6, 2024 15:38 47m 34s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test #19728: Pull request #5931 synchronize by keyboardDrummer
December 6, 2024 15:34 29m 15s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 6, 2024 15:34 29m 15s
Stop unnecessarily verifying symbols multiple times when using refinement Build and Test #19727: Pull request #5967 synchronize by keyboardDrummer
December 6, 2024 14:43 1h 15m 50s keyboardDrummer:refinedSymbolVerification
keyboardDrummer:refinedSymbolVerification
December 6, 2024 14:43 1h 15m 50s
Stop unnecessarily verifying symbols multiple times when using refinement Build and Test #19726: Pull request #5967 synchronize by keyboardDrummer
December 6, 2024 10:35 49m 15s keyboardDrummer:refinedSymbolVerification
keyboardDrummer:refinedSymbolVerification
December 6, 2024 10:35 49m 15s
Define models for set and multiset Build and Test #19725: Pull request #5963 synchronize by RustanLeino
December 5, 2024 23:30 25m 20s RustanLeino:set-model
RustanLeino:set-model
December 5, 2024 23:30 25m 20s
Define models for set and multiset Build and Test #19724: Pull request #5963 synchronize by RustanLeino
December 5, 2024 20:22 25m 29s RustanLeino:set-model
RustanLeino:set-model
December 5, 2024 20:22 25m 29s
Define models for set and multiset Build and Test #19723: Pull request #5963 synchronize by RustanLeino
December 5, 2024 19:09 43m 35s RustanLeino:set-model
RustanLeino:set-model
December 5, 2024 19:09 43m 35s
Define models for set and multiset Build and Test #19722: Pull request #5963 synchronize by RustanLeino
December 5, 2024 19:01 25m 23s RustanLeino:set-model
RustanLeino:set-model
December 5, 2024 19:01 25m 23s
fix: Regenerate system module in DafnyRuntimeGo-gomod, add missing CI check Build and Test #19721: Pull request #5965 synchronize by robin-aws
December 5, 2024 18:39 30m 37s robin-aws:fix-ci-on-gomod-runtime-and-update
robin-aws:fix-ci-on-gomod-runtime-and-update
December 5, 2024 18:39 30m 37s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test #19720: Pull request #5931 synchronize by keyboardDrummer
December 5, 2024 17:45 26m 15s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 5, 2024 17:45 26m 15s