Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24,809 workflow runs
24,809 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes: Rust supports overriding traits Fuzzing on PR #1183: Pull request #5948 synchronize by MikaelMayer
January 24, 2025 18:11 13s
January 24, 2025 18:11 13s
Feat code actions forall calc Updating CompFuzzCI on PR Closed #189: Pull request #6044 closed by MikaelMayer
January 24, 2025 17:46 10s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 24, 2025 17:46 10s
Feat code actions forall calc (#6044) Deploy Jekyll site to Pages #467: Commit 867e0e2 pushed by MikaelMayer
January 24, 2025 17:46 33s master
master
January 24, 2025 17:46 33s
Use collection expressions where possible Build and Test Dafny Runtimes #9707: Pull request #6079 synchronize by keyboardDrummer
January 24, 2025 17:37 5m 4s keyboardDrummer:collectionExpressions
keyboardDrummer:collectionExpressions
January 24, 2025 17:37 5m 4s
Use collection expressions where possible Test documentation #11219: Pull request #6079 synchronize by keyboardDrummer
January 24, 2025 17:37 14m 48s keyboardDrummer:collectionExpressions
keyboardDrummer:collectionExpressions
January 24, 2025 17:37 14m 48s
Use collection expressions where possible Build and Test #20170: Pull request #6079 synchronize by keyboardDrummer
January 24, 2025 17:37 30m 32s keyboardDrummer:collectionExpressions
keyboardDrummer:collectionExpressions
January 24, 2025 17:37 30m 32s
Use collection expressions where possible Build and Test Dafny Standard Libraries #4436: Pull request #6079 synchronize by keyboardDrummer
January 24, 2025 17:37 11m 53s keyboardDrummer:collectionExpressions
keyboardDrummer:collectionExpressions
January 24, 2025 17:37 11m 53s
Use collection expressions where possible Build DafnyRef.pdf #19400: Pull request #6079 synchronize by keyboardDrummer
January 24, 2025 17:37 2m 38s keyboardDrummer:collectionExpressions
keyboardDrummer:collectionExpressions
January 24, 2025 17:37 2m 38s
Use collection expressions where possible Fuzzing on PR #1182: Pull request #6079 synchronize by keyboardDrummer
January 24, 2025 17:37 11s
January 24, 2025 17:37 11s
Feat code actions forall calc Build and Test #20169: Pull request #6044 synchronize by MikaelMayer
January 24, 2025 17:10 36m 59s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 24, 2025 17:10 36m 59s
Feat code actions forall calc Build and Test Dafny Standard Libraries #4435: Pull request #6044 synchronize by MikaelMayer
January 24, 2025 17:10 20m 55s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 24, 2025 17:10 20m 55s
Feat code actions forall calc Build DafnyRef.pdf #19399: Pull request #6044 synchronize by MikaelMayer
January 24, 2025 17:10 3m 4s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 24, 2025 17:10 3m 4s
Feat code actions forall calc Build and Test Dafny Runtimes #9706: Pull request #6044 synchronize by MikaelMayer
January 24, 2025 17:10 5m 33s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 24, 2025 17:10 5m 33s
Feat code actions forall calc Fuzzing on PR #1181: Pull request #6044 synchronize by MikaelMayer
January 24, 2025 17:10 12s
January 24, 2025 17:10 12s
Feat code actions forall calc Test documentation #11218: Pull request #6044 synchronize by MikaelMayer
January 24, 2025 17:10 15m 12s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 24, 2025 17:10 15m 12s
Fix: Wording of assertion failure closer to semantics Fuzzing on PR #1180: Pull request #3324 synchronize by MikaelMayer
January 24, 2025 17:00 15s
January 24, 2025 17:00 15s
Fix: Wording of assertion failure closer to semantics Build and Test #20168: Pull request #3324 synchronize by MikaelMayer
January 24, 2025 17:00 28m 29s fix-3216-could-not-prove
fix-3216-could-not-prove
January 24, 2025 17:00 28m 29s
Fix: Wording of assertion failure closer to semantics Build and Test Dafny Standard Libraries #4434: Pull request #3324 synchronize by MikaelMayer
January 24, 2025 17:00 13m 33s fix-3216-could-not-prove
fix-3216-could-not-prove
January 24, 2025 17:00 13m 33s
Fix: Wording of assertion failure closer to semantics Build and Test Dafny Runtimes #9705: Pull request #3324 synchronize by MikaelMayer
January 24, 2025 17:00 5m 15s fix-3216-could-not-prove
fix-3216-could-not-prove
January 24, 2025 17:00 5m 15s
Fix: Wording of assertion failure closer to semantics Build DafnyRef.pdf #19398: Pull request #3324 synchronize by MikaelMayer
January 24, 2025 17:00 2m 51s fix-3216-could-not-prove
fix-3216-could-not-prove
January 24, 2025 17:00 2m 51s
Fix: Wording of assertion failure closer to semantics Test documentation #11217: Pull request #3324 synchronize by MikaelMayer
January 24, 2025 17:00 14m 42s fix-3216-could-not-prove
fix-3216-could-not-prove
January 24, 2025 17:00 14m 42s
feat: Actions and streaming standard libraries Test documentation #11216: Pull request #6074 synchronize by robin-aws
January 24, 2025 16:57 14m 37s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
January 24, 2025 16:57 14m 37s
feat: Actions and streaming standard libraries Build and Test Dafny Standard Libraries #4433: Pull request #6074 synchronize by robin-aws
January 24, 2025 16:57 12m 37s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
January 24, 2025 16:57 12m 37s
feat: Actions and streaming standard libraries Build and Test #20167: Pull request #6074 synchronize by robin-aws
January 24, 2025 16:57 28m 45s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
January 24, 2025 16:57 28m 45s
feat: Actions and streaming standard libraries Build and Test Dafny Runtimes #9704: Pull request #6074 synchronize by robin-aws
January 24, 2025 16:57 3m 52s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
January 24, 2025 16:57 3m 52s