Skip to content

Actions: dafny-lang/dafny

Actions

Fuzzing on PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compfuzzci_fuzz.yaml
399 workflow runs
399 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Chore: Help message for when nightly tests fail Fuzzing on PR #349: Pull request #5869 opened by MikaelMayer
October 29, 2024 15:39 16s
October 29, 2024 15:39 16s
fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead Fuzzing on PR #348: Pull request #5860 synchronize by robin-aws
October 29, 2024 13:09 15s
October 29, 2024 13:09 15s
Chore: Fix cargo release for Object::from_ref Fuzzing on PR #347: Pull request #5867 synchronize by MikaelMayer
October 29, 2024 10:50 12s
October 29, 2024 10:50 12s
Chore: Fix cargo release for Object::from_ref Fuzzing on PR #346: Pull request #5867 synchronize by MikaelMayer
October 28, 2024 23:55 9s
October 28, 2024 23:55 9s
fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead Fuzzing on PR #345: Pull request #5860 synchronize by robin-aws
October 28, 2024 22:44 14s
October 28, 2024 22:44 14s
Chore: Fix cargo release for Object::from_ref Fuzzing on PR #344: Pull request #5867 synchronize by MikaelMayer
October 28, 2024 20:46 15s
October 28, 2024 20:46 15s
Chore: Fix cargo release for Object::from_ref Fuzzing on PR #343: Pull request #5867 synchronize by MikaelMayer
October 28, 2024 20:07 14s
October 28, 2024 20:07 14s
Fix: --rust-module-name with externs Fuzzing on PR #342: Pull request #5865 synchronize by MikaelMayer
October 28, 2024 19:45 9s
October 28, 2024 19:45 9s
chore(deps): bump rexml from 3.3.6 to 3.3.9 in /docs Fuzzing on PR #341: Pull request #5868 opened by dependabot bot
October 28, 2024 18:50 2s
October 28, 2024 18:50 2s
Use CanCall everywhere Fuzzing on PR #340: Pull request #5654 synchronize by RustanLeino
October 28, 2024 16:08 11s
October 28, 2024 16:08 11s
Chore: Fix cargo release for Object::from_ref Fuzzing on PR #339: Pull request #5867 synchronize by MikaelMayer
October 28, 2024 14:19 11s
October 28, 2024 14:19 11s
Chore: Fix cargo release for Object::from_ref Fuzzing on PR #338: Pull request #5867 opened by MikaelMayer
October 28, 2024 13:27 10s
October 28, 2024 13:27 10s
Removing offending test for the unsound Rust compiler to unblock CI Fuzzing on PR #337: Pull request #5866 opened by MikaelMayer
October 28, 2024 13:10 13s
October 28, 2024 13:10 13s
Fix: --rust-module-name with externs Fuzzing on PR #336: Pull request #5865 synchronize by MikaelMayer
October 28, 2024 13:07 13s
October 28, 2024 13:07 13s
Fix: --rust-module-name with externs Fuzzing on PR #335: Pull request #5865 opened by MikaelMayer
October 28, 2024 13:02 11s
October 28, 2024 13:02 11s
Feat: Auto-completion of @-attributes for the language server Fuzzing on PR #334: Pull request #5846 synchronize by MikaelMayer
October 28, 2024 11:22 10s
October 28, 2024 11:22 10s
Feat: Auto-completion of @-attributes for the language server Fuzzing on PR #333: Pull request #5846 synchronize by MikaelMayer
October 28, 2024 10:39 13s
October 28, 2024 10:39 13s
fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead Fuzzing on PR #332: Pull request #5860 opened by robin-aws
October 25, 2024 22:55 10s
October 25, 2024 22:55 10s
chore: Improve tests Fuzzing on PR #331: Pull request #5859 opened by RustanLeino
October 25, 2024 22:50 13s
October 25, 2024 22:50 13s
Isolate paths Fuzzing on PR #330: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 14:55 15s
October 25, 2024 14:55 15s
Isolate paths Fuzzing on PR #329: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 11:50 17s
October 25, 2024 11:50 17s
Feat: Auto-completion of @-attributes for the language server Fuzzing on PR #328: Pull request #5846 synchronize by keyboardDrummer
October 25, 2024 10:17 13s
October 25, 2024 10:17 13s
Feat: Auto-completion of @-attributes for the language server Fuzzing on PR #327: Pull request #5846 synchronize by keyboardDrummer
October 25, 2024 10:17 14s
October 25, 2024 10:17 14s
Isolate paths Fuzzing on PR #326: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 09:56 11s
October 25, 2024 09:56 11s
Isolate paths Fuzzing on PR #325: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 09:53 13s
October 25, 2024 09:53 13s