Skip to content

Actions: dafny-lang/dafny

Actions

Deploy Jekyll site to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jekyll.yml
451 workflow runs
451 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve error message locations for function calls and call arguments… Deploy Jekyll site to Pages #451: Commit b8fad27 pushed by keyboardDrummer
January 11, 2025 09:41 34s master
master
January 11, 2025 09:41 34s
Regression fix can call (#6041) Deploy Jekyll site to Pages #450: Commit c42b706 pushed by typerSniper
January 11, 2025 05:36 42s master
master
January 11, 2025 05:36 42s
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
Fix name clash in generated CS files when module and types have same … Deploy Jekyll site to Pages #448: Commit 0a33545 pushed by olivier-aws
January 11, 2025 00:28 38s master
master
January 11, 2025 00:28 38s
Delete test for legacy CLI that tests broken behavior (#6037) Deploy Jekyll site to Pages #447: Commit 8ede38c pushed by keyboardDrummer
January 10, 2025 20:14 44s master
master
January 10, 2025 20:14 44s
Attempt at fixing nightly. (#6035) Deploy Jekyll site to Pages #446: Commit 0edf705 pushed by keyboardDrummer
January 10, 2025 14:21 38s master
master
January 10, 2025 14:21 38s
Set a default verification time limit (#6028) Deploy Jekyll site to Pages #445: Commit c79cb5e pushed by keyboardDrummer
January 9, 2025 19:25 36s master
master
January 9, 2025 19:25 36s
Update to .NET 8 (#5322) Deploy Jekyll site to Pages #444: Commit 0831717 pushed by keyboardDrummer
January 8, 2025 17:24 40s master
master
January 8, 2025 17:24 40s
Do not generate import of modules in Java (#6016) Deploy Jekyll site to Pages #443: Commit 4ecc4bf pushed by olivier-aws
January 3, 2025 21:29 38s master
master
January 3, 2025 21:29 38s
Use CanCall everywhere (#5654) Deploy Jekyll site to Pages #442: Commit 79e4047 pushed by RustanLeino
January 3, 2025 16:39 37s master
master
January 3, 2025 16:39 37s
Token refactoring followup (#6011) Deploy Jekyll site to Pages #441: Commit a88767f pushed by keyboardDrummer
December 31, 2024 11:55 35s master
master
December 31, 2024 11:55 35s
Let the center of a predicate statement be the keyword (#6010) Deploy Jekyll site to Pages #440: Commit c7e294c pushed by keyboardDrummer
December 30, 2024 17:19 36s master
master
December 30, 2024 17:19 36s
Fix inclusive endToken logic in coverage reporter (#6001) Deploy Jekyll site to Pages #439: Commit 61df7ba pushed by keyboardDrummer
December 27, 2024 18:04 36s master
master
December 27, 2024 18:04 36s
Replace INode.Tok with INode.Origin.Center (#5983) Deploy Jekyll site to Pages #438: Commit 06bf593 pushed by keyboardDrummer
December 27, 2024 04:30 38s master
master
December 27, 2024 04:30 38s
Fix opaque block soundness bug (#6007) Deploy Jekyll site to Pages #437: Commit b099473 pushed by keyboardDrummer
December 26, 2024 21:50 35s master
master
December 26, 2024 21:50 35s
Documentation snapshot for v4.9.1 (#6004) Deploy Jekyll site to Pages #436: Commit 44fe677 pushed by fabiomadge
December 26, 2024 14:25 45s master
master
December 26, 2024 14:25 45s
Chore: Merge Release 4.9.1 into master (#6003) Deploy Jekyll site to Pages #435: Commit 4c44c7d pushed by MikaelMayer
December 24, 2024 14:26 36s master
master
December 24, 2024 14:26 36s
feat: Optimize Std.Concurrent.MutableMap for seq<byte> keys in Go (#5… Deploy Jekyll site to Pages #434: Commit 2a6f6db pushed by fabiomadge
December 23, 2024 09:43 36s master
master
December 23, 2024 09:43 36s
docs: Update DafnyCore references (#6000) Deploy Jekyll site to Pages #433: Commit 2ed2ddc pushed by fabiomadge
December 22, 2024 18:38 45s master
master
December 22, 2024 18:38 45s
Revert "Chore: Set up nightly and prerelease for 4.9.1 (#5995)" (#5998) Deploy Jekyll site to Pages #432: Commit 7dcf7b5 pushed by MikaelMayer
December 20, 2024 20:11 34s master
master
December 20, 2024 20:11 34s
Chore: Set up nightly and prerelease for 4.9.1 (#5995) Deploy Jekyll site to Pages #431: Commit 041c925 pushed by MikaelMayer
December 20, 2024 14:16 43s master
master
December 20, 2024 14:16 43s
Two renames related to tokens (#5990) Deploy Jekyll site to Pages #430: Commit 632c85b pushed by keyboardDrummer
December 20, 2024 10:00 38s master
master
December 20, 2024 10:00 38s
Chore: Executable Instructions to bump Dafny's version number (#5994) Deploy Jekyll site to Pages #429: Commit 2f1a305 pushed by MikaelMayer
December 19, 2024 22:49 40s master
master
December 19, 2024 22:49 40s
Fix: Rust traits downcast now clone their arguments (#5993) Deploy Jekyll site to Pages #428: Commit bd2a3f3 pushed by MikaelMayer
December 19, 2024 15:54 38s master
master
December 19, 2024 15:54 38s
feat: Support @AssumeCrossModuleTermination on classes/traits that ex… Deploy Jekyll site to Pages #427: Commit 7df92c2 pushed by robin-aws
December 18, 2024 20:16 40s master
master
December 18, 2024 20:16 40s