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

Isolate paths (#5832) Deploy Jekyll site to Pages #357: Commit 84dbe69 pushed by keyboardDrummer
October 25, 2024 16:05 38s master
master
October 25, 2024 16:05 38s
Fix: Object::from_ref no longer forgetting to increment the strong co… Deploy Jekyll site to Pages #356: Commit fc90edc pushed by MikaelMayer
October 24, 2024 18:36 39s master
master
October 24, 2024 18:36 39s
Publishing nightly builds from 4.9 release branch (#5852) Deploy Jekyll site to Pages #355: Commit a38e8a4 pushed by robin-aws
October 23, 2024 17:50 38s master
master
October 23, 2024 17:50 38s
Fix: Arrays can be printed and modify_field standalone (#5848) Deploy Jekyll site to Pages #354: Commit 77287d8 pushed by MikaelMayer
October 21, 2024 23:05 38s master
master
October 21, 2024 23:05 38s
Speed up dafny verify by reducing memory pressure (#5827) Deploy Jekyll site to Pages #353: Commit 7538a93 pushed by keyboardDrummer
October 21, 2024 15:58 40s master
master
October 21, 2024 15:58 40s
Feat: @-attributes on top-level declarations (#5825) Deploy Jekyll site to Pages #352: Commit a01b106 pushed by MikaelMayer
October 18, 2024 21:00 40s master
master
October 18, 2024 21:00 40s
Extract match and if verification (#5843) Deploy Jekyll site to Pages #351: Commit 7681e01 pushed by keyboardDrummer
October 18, 2024 15:32 4m 57s master
master
October 18, 2024 15:32 4m 57s
Fix: Green gutter icons over constants without RHS (#5842) Deploy Jekyll site to Pages #350: Commit 2db26d2 pushed by MikaelMayer
October 18, 2024 12:56 39s master
master
October 18, 2024 12:56 39s
feat: Proof refactoring suggestions (#5812) Deploy Jekyll site to Pages #349: Commit 64f5715 pushed by keyboardDrummer
October 18, 2024 10:18 45s master
master
October 18, 2024 10:18 45s
Fix: Constant initialization in the Dafny-to-Rust code generator (#5837) Deploy Jekyll site to Pages #348: Commit eb92408 pushed by MikaelMayer
October 17, 2024 17:55 40s master
master
October 17, 2024 17:55 40s
chore: apt-get update before apt-get install (#5839) Deploy Jekyll site to Pages #347: Commit 7c8d40f pushed by fabiomadge
October 17, 2024 17:10 47s master
master
October 17, 2024 17:10 47s
Fix GoLang issue when module and datatype names collide (#5824) Deploy Jekyll site to Pages #346: Commit 59b235c pushed by keyboardDrummer
October 16, 2024 14:38 15m 28s master
master
October 16, 2024 14:38 15m 28s
Add /v4 to references to dafny-lang/DafnyRuntimeGo (#5826) Deploy Jekyll site to Pages #345: Commit 7f08159 pushed by robin-aws
October 15, 2024 22:44 34s master
master
October 15, 2024 22:44 34s
chore: add config for PyPI runtime publishing (#5273) Deploy Jekyll site to Pages #344: Commit 60cb544 pushed by keyboardDrummer
October 15, 2024 07:35 1m 2s master
master
October 15, 2024 07:35 1m 2s
Golang: Skip ghost parameters in type parameter downcast (#5815) Deploy Jekyll site to Pages #343: Commit c4dd8e5 pushed by robin-aws
October 11, 2024 18:36 49s master
master
October 11, 2024 18:36 49s
Add test and fix bug for use of reveal within a constant (#5823) Deploy Jekyll site to Pages #342: Commit 8f8f585 pushed by keyboardDrummer
October 10, 2024 11:56 40s master
master
October 10, 2024 11:56 40s
fix: Include arguments to Go external constructor (#5813) Deploy Jekyll site to Pages #341: Commit 37d3ff7 pushed by keyboardDrummer
October 9, 2024 12:40 18m 16s master
master
October 9, 2024 12:40 18m 16s
Increase rounding to let SubsetTypes test pass on OSX (#5816) Deploy Jekyll site to Pages #340: Commit cb5666e pushed by keyboardDrummer
October 9, 2024 09:59 37s master
master
October 9, 2024 09:59 37s
Fix a bug related to abstract imports and match expressions (#5811) Deploy Jekyll site to Pages #339: Commit cde4a05 pushed by keyboardDrummer
October 7, 2024 16:24 47s master
master
October 7, 2024 16:24 47s
Penetrating by blocks (#5779) Deploy Jekyll site to Pages #338: Commit c538717 pushed by keyboardDrummer
October 7, 2024 09:21 48s master
master
October 7, 2024 09:21 48s
Missing escaping when creating import of existing Go module (#5767) Deploy Jekyll site to Pages #337: Commit b5f57e0 pushed by robin-aws
October 4, 2024 12:14 38s master
master
October 4, 2024 12:14 38s
Release 4.8.1 (#5809) Deploy Jekyll site to Pages #336: Commit ab3d5d6 pushed by keyboardDrummer
October 4, 2024 09:59 49s master
master
October 4, 2024 09:59 49s
Fix: Ability to enumerate multisets in the Dafny-to-Rust code generat… Deploy Jekyll site to Pages #335: Commit d978d55 pushed by MikaelMayer
October 1, 2024 18:05 40s master
master
October 1, 2024 18:05 40s
Fix 5800 soundness rust aliasing (#5801) Deploy Jekyll site to Pages #334: Commit 0831a23 pushed by MikaelMayer
October 1, 2024 13:05 40s master
master
October 1, 2024 13:05 40s
Change the --extractTarget option into a command (#5799) Deploy Jekyll site to Pages #333: Commit 0b44740 pushed by keyboardDrummer
September 30, 2024 17:49 39s master
master
September 30, 2024 17:49 39s