Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25,332 workflow runs
25,332 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat: Ability to emit sync-compatible Rust code. Build and Test #20047: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 59m 42s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:55 59m 42s
Feat: Ability to emit sync-compatible Rust code. Fuzzing on PR #1054: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 1m 47s
January 11, 2025 00:55 1m 47s
Feat: Ensure Dafny chars support the Copy trait Build and Test #20046: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 50m 9s feat-rust-char-copy
feat-rust-char-copy
January 11, 2025 00:49 50m 9s
Feat: Ensure Dafny chars support the Copy trait Test documentation #11095: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 19m 50s feat-rust-char-copy
feat-rust-char-copy
January 11, 2025 00:49 19m 50s
Feat: Ensure Dafny chars support the Copy trait Build DafnyRef.pdf #19276: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 5m 11s feat-rust-char-copy
feat-rust-char-copy
January 11, 2025 00:49 5m 11s
Feat: Ensure Dafny chars support the Copy trait Build and Test Dafny Standard Libraries #4312: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 25m 43s feat-rust-char-copy
feat-rust-char-copy
January 11, 2025 00:49 25m 43s
Feat: Ensure Dafny chars support the Copy trait Fuzzing on PR #1053: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 32s
January 11, 2025 00:49 32s
Feat: Ensure Dafny chars support the Copy trait Build and Test Dafny Runtimes #9583: Pull request #6033 synchronize by MikaelMayer
January 11, 2025 00:49 10m 33s feat-rust-char-copy
feat-rust-char-copy
January 11, 2025 00:49 10m 33s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19275: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 4m 54s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:47 4m 54s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20045: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 38m 57s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:47 38m 57s
Feat: Ability to emit sync-compatible Rust code. Test documentation #11094: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 16m 33s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:47 16m 33s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4311: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 19m 15s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:47 19m 15s
Feat: Ability to emit sync-compatible Rust code. Fuzzing on PR #1052: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 59s
January 11, 2025 00:47 59s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Runtimes #9582: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:47 9m 3s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:47 9m 3s
Feat code actions forall calc Build DafnyRef.pdf #19274: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 2m 39s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 00:44 2m 39s
Feat code actions forall calc Test documentation #11093: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 14m 46s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 00:44 14m 46s
Feat code actions forall calc Build and Test #20044: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 32m 12s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 00:44 32m 12s
Feat code actions forall calc Build and Test Dafny Runtimes #9581: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 5m 12s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 00:44 5m 12s
Feat code actions forall calc Build and Test Dafny Standard Libraries #4310: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 13m 48s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 00:44 13m 48s
Feat code actions forall calc Fuzzing on PR #1051: Pull request #6044 opened by MikaelMayer
January 11, 2025 00:44 13s
January 11, 2025 00:44 13s
Avoid name clashes with Default method Build and Test Dafny Standard Libraries #4309: Pull request #6031 synchronize by olivier-aws
January 11, 2025 00:29 15m 5s olivier-aws:fix_3809
olivier-aws:fix_3809
January 11, 2025 00:29 15m 5s
Avoid name clashes with Default method Build DafnyRef.pdf #19273: Pull request #6031 synchronize by olivier-aws
January 11, 2025 00:29 2m 59s olivier-aws:fix_3809
olivier-aws:fix_3809
January 11, 2025 00:29 2m 59s
Avoid name clashes with Default method Build and Test Dafny Runtimes #9580: Pull request #6031 synchronize by olivier-aws
January 11, 2025 00:29 5m 30s olivier-aws:fix_3809
olivier-aws:fix_3809
January 11, 2025 00:29 5m 30s
Avoid name clashes with Default method Test documentation #11092: Pull request #6031 synchronize by olivier-aws
January 11, 2025 00:29 14m 30s olivier-aws:fix_3809
olivier-aws:fix_3809
January 11, 2025 00:29 14m 30s
Avoid name clashes with Default method Build and Test #20043: Pull request #6031 synchronize by olivier-aws
January 11, 2025 00:29 32m 26s olivier-aws:fix_3809
olivier-aws:fix_3809
January 11, 2025 00:29 32m 26s