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
259 workflow run results
259 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat: Ability to emit sync-compatible Rust code. (#6040) Deploy Jekyll site to Pages #466: Commit 18c538a pushed by MikaelMayer
46s master
master
46s
Enable filtering on a range of assertions (#6077) Deploy Jekyll site to Pages #465: Commit 76a7caa pushed by keyboardDrummer
39s master
master
39s
Fix: --compile-suffix avoids the extra renaming of homonymous classes… Deploy Jekyll site to Pages #464: Commit 16afdc8 pushed by olivier-aws
34s master
master
34s
Chore: Fine-tuning verification and compilation performance (#5028) Deploy Jekyll site to Pages #463: Commit 0460827 pushed by MikaelMayer
36s master
master
36s
Chore: No formatting of the generated Rust file but better indent (#6… Deploy Jekyll site to Pages #462: Commit 6faf1c5 pushed by MikaelMayer
41s master
master
41s
Do not ignore by clauses for assign such that statements (#6026) Deploy Jekyll site to Pages #461: Commit bf9cf16 pushed by keyboardDrummer
2m 5s master
master
2m 5s
Chore: macosx unsupported for a performance file because inconsistent… Deploy Jekyll site to Pages #460: Commit 67fc9ec pushed by MikaelMayer
42s master
master
42s
Remove function-context-height variable in Boogie encoding (#6046) Deploy Jekyll site to Pages #459: Commit c9cffc3 pushed by RustanLeino
42s master
master
42s
fix: Forbid recursive function uses in decreases clauses (#6045) Deploy Jekyll site to Pages #458: Commit 6afa6d5 pushed by RustanLeino
36s master
master
36s
Allow translating by blocks (#6050) Deploy Jekyll site to Pages #457: Commit 0fcac3a pushed by keyboardDrummer
39s master
master
39s
Adding a fix file for PR 6031 (#6048) Deploy Jekyll site to Pages #456: Commit 8363cf3 pushed by olivier-aws
37s master
master
37s
Add links to public Zulip channel from Github and Dafny web sites. (#… Deploy Jekyll site to Pages #455: Commit 9532b8b pushed by olivier-aws
44s master
master
44s
Avoid name clashes with Default method (#6031) Deploy Jekyll site to Pages #454: Commit e7e3ed4 pushed by olivier-aws
36s master
master
36s
Add a script.sh file to run scripts (#6047) Deploy Jekyll site to Pages #453: Commit b79708e pushed by keyboardDrummer
10m 47s master
master
10m 47s
Fix: Explicit assertions no longer considered implicit for code actio… Deploy Jekyll site to Pages #452: Commit 416575a pushed by MikaelMayer
50s master
master
50s
Improve error message locations for function calls and call arguments… Deploy Jekyll site to Pages #451: Commit b8fad27 pushed by keyboardDrummer
34s master
master
34s
Regression fix can call (#6041) Deploy Jekyll site to Pages #450: Commit c42b706 pushed by typerSniper
42s master
master
42s
Feat: Ensure Dafny chars support the Copy trait (#6033) Deploy Jekyll site to Pages #449: Commit 803d794 pushed by MikaelMayer
45s master
master
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
38s master
master
38s
Delete test for legacy CLI that tests broken behavior (#6037) Deploy Jekyll site to Pages #447: Commit 8ede38c pushed by keyboardDrummer
44s master
master
44s
Attempt at fixing nightly. (#6035) Deploy Jekyll site to Pages #446: Commit 0edf705 pushed by keyboardDrummer
38s master
master
38s
Set a default verification time limit (#6028) Deploy Jekyll site to Pages #445: Commit c79cb5e pushed by keyboardDrummer
36s master
master
36s
Update to .NET 8 (#5322) Deploy Jekyll site to Pages #444: Commit 0831717 pushed by keyboardDrummer
40s master
master
40s
Do not generate import of modules in Java (#6016) Deploy Jekyll site to Pages #443: Commit 4ecc4bf pushed by olivier-aws
38s master
master
38s
Use CanCall everywhere (#5654) Deploy Jekyll site to Pages #442: Commit 79e4047 pushed by RustanLeino
37s master
master
37s