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
357 workflow runs
357 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix "assertion batch" anchor (#5096) Deploy Jekyll site to Pages #57: Commit af84d77 pushed by keyboardDrummer
February 16, 2024 12:04 39s master
master
February 16, 2024 12:04 39s
fix: Termination override check for certain non-reference trait imple… Deploy Jekyll site to Pages #56: Commit 73fcdf3 pushed by fabiomadge
February 14, 2024 23:35 45s master
master
February 14, 2024 23:35 45s
Add options to configure logging severity and location for IDE (#5084) Deploy Jekyll site to Pages #55: Commit 5cf477a pushed by keyboardDrummer
February 14, 2024 14:03 40s master
master
February 14, 2024 14:03 40s
Use async main methods to avoid waiting for tasks at the top level (#… Deploy Jekyll site to Pages #54: Commit 9604175 pushed by keyboardDrummer
February 13, 2024 15:59 46s master
master
February 13, 2024 15:59 46s
chore: Address build warnings (#5080) Deploy Jekyll site to Pages #53: Commit 9dda653 pushed by keyboardDrummer
February 13, 2024 12:35 45s master
master
February 13, 2024 12:35 45s
chore: Discontinue generating calls to an obsolete sequence property … Deploy Jekyll site to Pages #52: Commit f6ea7c4 pushed by keyboardDrummer
February 12, 2024 21:11 41s master
master
February 12, 2024 21:11 41s
Rework warn-as-error option (#4971) Deploy Jekyll site to Pages #51: Commit 2688c9b pushed by keyboardDrummer
February 12, 2024 18:07 38s master
master
February 12, 2024 18:07 38s
docs: Links to RELEASE_NOTES.md and Source in CONTRIBUTING.md (… Deploy Jekyll site to Pages #50: Commit d740100 pushed by fabiomadge
February 12, 2024 13:35 39s master
master
February 12, 2024 13:35 39s
fix: Escape names of nested modules in C# and Java (#5049) Deploy Jekyll site to Pages #49: Commit c8e288d pushed by fabiomadge
February 9, 2024 20:17 36s master
master
February 9, 2024 20:17 36s
fix: Correct version identifier for ruby/setup-ruby (#5059) Deploy Jekyll site to Pages #48: Commit 693baaf pushed by fabiomadge
February 9, 2024 19:06 45s master
master
February 9, 2024 19:06 45s
Monomorphic Field and collection types (#4597) Deploy Jekyll site to Pages #47: Commit fdc06b5 pushed by atomb
February 9, 2024 17:32 4m 58s master
master
February 9, 2024 17:32 4m 58s
Log an error instead of crashing in FindTokenRangeFromLspRange (#4869) Deploy Jekyll site to Pages #46: Commit 29c4525 pushed by keyboardDrummer
February 9, 2024 10:28 10s master
master
February 9, 2024 10:28 10s
Add --filter-symbol option (#5071) Deploy Jekyll site to Pages #45: Commit 68f96d0 pushed by keyboardDrummer
February 8, 2024 23:09 11s master
master
February 8, 2024 23:09 11s
Filter assertions (#5031) Deploy Jekyll site to Pages #44: Commit 385103d pushed by keyboardDrummer
February 8, 2024 16:54 10s master
master
February 8, 2024 16:54 10s
fix: Fill in type arguments in implicit function-by-method postcondit… Deploy Jekyll site to Pages #43: Commit 728433a pushed by RustanLeino
February 8, 2024 15:05 10m 9s master
master
February 8, 2024 15:05 10m 9s
Fix: Ability to provide newtype for sequence comprehension length (#5… Deploy Jekyll site to Pages #42: Commit fc70ede pushed by robin-aws
February 7, 2024 22:57 15s master
master
February 7, 2024 22:57 15s
fix: Fix traits-on-datatype scoping and translation issues (#5058) Deploy Jekyll site to Pages #41: Commit 81f028b pushed by RustanLeino
February 7, 2024 20:10 9s master
master
February 7, 2024 20:10 9s
Old-style options for proof dependency warnings (#5050) Deploy Jekyll site to Pages #40: Commit 598c2c3 pushed by keyboardDrummer
February 7, 2024 01:48 8s master
master
February 7, 2024 01:48 8s
Feat: Dafny-to-Rust code indentation and identifiers (#4974) Deploy Jekyll site to Pages #39: Commit 2c77435 pushed by MikaelMayer
February 7, 2024 00:38 9s master
master
February 7, 2024 00:38 9s
Attempt to build DafnyRef using Tectonic (#5056) Deploy Jekyll site to Pages #38: Commit 8e0682e pushed by atomb
February 6, 2024 21:50 11s master
master
February 6, 2024 21:50 11s
chore(deps): Relax the version requirement on ruby/setup-ruby (#5055) Deploy Jekyll site to Pages #37: Commit b3b5b23 pushed by fabiomadge
February 5, 2024 16:53 11s master
master
February 5, 2024 16:53 11s
Customize the options used by the language server less (#5045) Deploy Jekyll site to Pages #36: Commit 16e0590 pushed by keyboardDrummer
February 5, 2024 12:22 38s master
master
February 5, 2024 12:22 38s
Make smaller changes to compilers (#5052) Deploy Jekyll site to Pages #35: Commit d24172f pushed by RustanLeino
February 5, 2024 10:54 40s master
master
February 5, 2024 10:54 40s
Parameter attributes (#5036) Deploy Jekyll site to Pages #34: Commit c6cd10d pushed by keyboardDrummer
February 2, 2024 22:16 47s master
master
February 2, 2024 22:16 47s
fix: Improve ghost detection in comprehensions (#5041) Deploy Jekyll site to Pages #33: Commit 705f216 pushed by keyboardDrummer
February 2, 2024 10:46 44s master
master
February 2, 2024 10:46 44s
ProTip! You can narrow down the results and go further in time using created:<2024-02-02 or the other filters available.