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 code actions forall calc Build and Test Dafny Standard Libraries #4316: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 22m 50s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:37 22m 50s
Feat code actions forall calc Build and Test Dafny Runtimes #9587: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 7m 50s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:37 7m 50s
Feat code actions forall calc Build DafnyRef.pdf #19280: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 2m 43s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:37 2m 43s
Feat code actions forall calc Build and Test #20050: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 30m 50s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:37 30m 50s
Feat code actions forall calc Test documentation #11099: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 14m 21s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:37 14m 21s
Feat code actions forall calc Fuzzing on PR #1057: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:37 10s
January 11, 2025 03:37 10s
Daily soak test workflow Daily soak test workflow #255: Scheduled
January 11, 2025 03:34 12m 18s master
master
January 11, 2025 03:34 12m 18s
Feat code actions forall calc Build DafnyRef.pdf #19279: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 2m 39s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:02 2m 39s
Feat code actions forall calc Build and Test Dafny Standard Libraries #4315: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 22m 18s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:02 22m 18s
Feat code actions forall calc Build and Test Dafny Runtimes #9586: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 5m 39s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:02 5m 39s
Feat code actions forall calc Build and Test #20049: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 27m 47s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:02 27m 47s
Feat code actions forall calc Test documentation #11098: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 14m 18s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 11, 2025 03:02 14m 18s
Feat code actions forall calc Fuzzing on PR #1056: Pull request #6044 synchronize by MikaelMayer
January 11, 2025 03:02 13s
January 11, 2025 03:02 13s
fix: Forbid recursive function uses in decreases clauses Build and Test #20048: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 26m 27s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 02:35 26m 27s
fix: Forbid recursive function uses in decreases clauses Test documentation #11097: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 5m 41s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 02:35 5m 41s
fix: Forbid recursive function uses in decreases clauses Build DafnyRef.pdf #19278: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 2m 48s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 02:35 2m 48s
fix: Forbid recursive function uses in decreases clauses Build and Test Dafny Runtimes #9585: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 5m 9s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 02:35 5m 9s
fix: Forbid recursive function uses in decreases clauses Build and Test Dafny Standard Libraries #4314: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 13m 2s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 02:35 13m 2s
fix: Forbid recursive function uses in decreases clauses Fuzzing on PR #1055: Pull request #6045 opened by RustanLeino
January 11, 2025 02:35 13s
January 11, 2025 02:35 13s
Feat: Ensure Dafny chars support the Copy trait Updating CompFuzzCI on PR Closed #170: Pull request #6033 closed by MikaelMayer
January 11, 2025 01:39 9s feat-rust-char-copy
feat-rust-char-copy
January 11, 2025 01:39 9s
Feat: Ensure Dafny chars support the Copy trait (#6033) Deploy Jekyll site to Pages #449: Commit 803d794 pushed by MikaelMayer
January 11, 2025 01:39 45s master
master
January 11, 2025 01:39 45s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Runtimes #9584: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 12m 7s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:55 12m 7s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Standard Libraries #4313: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 28m 54s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:55 28m 54s
Feat: Ability to emit sync-compatible Rust code. Build DafnyRef.pdf #19277: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 8m 59s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:55 8m 59s
Feat: Ability to emit sync-compatible Rust code. Test documentation #11096: Pull request #6040 synchronize by MikaelMayer
January 11, 2025 00:55 23m 37s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 11, 2025 00:55 23m 37s