Skip to content

Actions: dafny-lang/dafny

Actions

Test documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc-tests.yml
5,299 workflow runs
5,299 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More @-attributes supported, top-level declarations and members Test documentation #10623: Pull request #5916 synchronize by MikaelMayer
November 22, 2024 22:29 18m 22s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 22, 2024 22:29 18m 22s
More @-attributes supported, top-level declarations and members Test documentation #10622: Pull request #5916 synchronize by MikaelMayer
November 22, 2024 21:51 18m 39s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 22, 2024 21:51 18m 39s
More @-attributes supported, top-level declarations and members Test documentation #10621: Pull request #5916 synchronize by MikaelMayer
November 22, 2024 21:09 17m 23s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 22, 2024 21:09 17m 23s
Fix: Tail-recursion for result copy types in the Dafny-to-Rust backend. Test documentation #10620: Pull request #5930 synchronize by MikaelMayer
November 22, 2024 20:48 27m 47s fix-5923-better
fix-5923-better
November 22, 2024 20:48 27m 47s
Fix: Tail-recursion for result copy types in the Dafny-to-Rust backend. Test documentation #10619: Pull request #5930 opened by MikaelMayer
November 22, 2024 20:47 59s fix-5923-better
fix-5923-better
November 22, 2024 20:47 59s
More @-attributes supported, top-level declarations and members Test documentation #10618: Pull request #5916 synchronize by MikaelMayer
November 22, 2024 18:18 17m 54s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 22, 2024 18:18 17m 54s
Fix formatting of var by statements Test documentation #10617: Pull request #5927 synchronize by MikaelMayer
November 22, 2024 15:04 19m 45s keyboardDrummer:assignByFormatting
keyboardDrummer:assignByFormatting
November 22, 2024 15:04 19m 45s
Add tooltip on assertions that shows which functions are hidden Test documentation #10616: Pull request #5929 opened by keyboardDrummer
November 22, 2024 15:03 16m 30s keyboardDrummer:whatIsHiddenHint
keyboardDrummer:whatIsHiddenHint
November 22, 2024 15:03 16m 30s
Fix AtomicBox in Go, improve test to expose the bug Test documentation #10615: Pull request #5928 synchronize by robin-aws
November 21, 2024 19:19 16m 56s robin-aws:go-atomic-box-fix
robin-aws:go-atomic-box-fix
November 21, 2024 19:19 16m 56s
Fix AtomicBox in Go, improve test to expose the bug Test documentation #10614: Pull request #5928 opened by robin-aws
November 21, 2024 19:18 14s robin-aws:go-atomic-box-fix
robin-aws:go-atomic-box-fix
November 21, 2024 19:18 14s
Fix formatting of var by statements Test documentation #10613: Pull request #5927 synchronize by keyboardDrummer
November 21, 2024 15:51 34m 5s keyboardDrummer:assignByFormatting
keyboardDrummer:assignByFormatting
November 21, 2024 15:51 34m 5s
Fix formatting of var by statements Test documentation #10612: Pull request #5927 opened by keyboardDrummer
November 21, 2024 15:51 17m 5s keyboardDrummer:assignByFormatting
keyboardDrummer:assignByFormatting
November 21, 2024 15:51 17m 5s
Fix more issues in the Dafny-to-Rust compiler Test documentation #10611: Pull request #5926 synchronize by MikaelMayer
November 21, 2024 03:28 17m 1s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 21, 2024 03:28 17m 1s
Fix more issues in the Dafny-to-Rust compiler Test documentation #10610: Pull request #5926 synchronize by MikaelMayer
November 21, 2024 03:01 17m 14s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 21, 2024 03:01 17m 14s
Fix more issues in the Dafny-to-Rust compiler Test documentation #10609: Pull request #5926 synchronize by MikaelMayer
November 21, 2024 02:16 17m 12s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 21, 2024 02:16 17m 12s
Fix more issues in the Dafny-to-Rust compiler Test documentation #10608: Pull request #5926 synchronize by MikaelMayer
November 20, 2024 22:29 17m 6s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 20, 2024 22:29 17m 6s
Fix more issues in the Dafny-to-Rust compiler Test documentation #10607: Pull request #5926 synchronize by MikaelMayer
November 20, 2024 20:55 17m 14s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 20, 2024 20:55 17m 14s
Fix more issues in the Dafny-to-Rust compiler Test documentation #10606: Pull request #5926 opened by MikaelMayer
November 20, 2024 20:32 16m 52s feat-rust-more-fixes-based-on-newtypes-members
feat-rust-more-fixes-based-on-newtypes-members
November 20, 2024 20:32 16m 52s
More @-attributes supported, top-level declarations and members Test documentation #10605: Pull request #5916 synchronize by MikaelMayer
November 20, 2024 20:25 16m 47s feat-at-attributes-more-declarations
feat-at-attributes-more-declarations
November 20, 2024 20:25 16m 47s
Use CanCall everywhere Test documentation #10604: Pull request #5654 synchronize by typerSniper
November 20, 2024 19:49 16m 41s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
November 20, 2024 19:49 16m 41s
Use CanCall everywhere Test documentation #10603: Pull request #5654 synchronize by typerSniper
November 20, 2024 19:10 17m 19s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
November 20, 2024 19:10 17m 19s
Use CanCall everywhere Test documentation #10602: Pull request #5654 synchronize by typerSniper
November 20, 2024 18:20 17m 58s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
November 20, 2024 18:20 17m 58s
chore(deps): bump rexml from 3.3.6 to 3.3.9 in /docs Test documentation #10601: Pull request #5868 synchronize by MikaelMayer
November 20, 2024 17:41 17m 20s dependabot/bundler/docs/rexml-3.3.9
dependabot/bundler/docs/rexml-3.3.9
November 20, 2024 17:41 17m 20s
Use CanCall everywhere Test documentation #10600: Pull request #5654 synchronize by typerSniper
November 20, 2024 17:07 16m 52s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
November 20, 2024 17:07 16m 52s
chore(deps): bump rexml from 3.3.6 to 3.3.9 in /docs Test documentation #10599: Pull request #5868 synchronize by MikaelMayer
November 20, 2024 15:37 17m 24s dependabot/bundler/docs/rexml-3.3.9
dependabot/bundler/docs/rexml-3.3.9
November 20, 2024 15:37 17m 24s