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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use a specific version of System.Runtime.Handles (#5936) Deploy Jekyll site to Pages #395: Commit 00b97e1 pushed by keyboardDrummer
November 28, 2024 11:59 36s master
master
November 28, 2024 11:59 36s
More @-attributes supported, top-level declarations and members (#5916) Deploy Jekyll site to Pages #394: Commit fb91dc2 pushed by MikaelMayer
November 25, 2024 19:41 41s master
master
November 25, 2024 19:41 41s
Fix: Tail-recursion for result copy types in the Dafny-to-Rust backen… Deploy Jekyll site to Pages #393: Commit 48c876f pushed by MikaelMayer
November 25, 2024 15:17 42s master
master
November 25, 2024 15:17 42s
Fix formatting of var by statements (#5927) Deploy Jekyll site to Pages #392: Commit 7cab063 pushed by keyboardDrummer
November 22, 2024 16:05 1m 27s master
master
November 22, 2024 16:05 1m 27s
Fix AtomicBox in Go, improve test to expose the bug (#5928) Deploy Jekyll site to Pages #391: Commit 0becbbf pushed by robin-aws
November 21, 2024 20:02 52s master
master
November 21, 2024 20:02 52s
Fix more issues in the Dafny-to-Rust compiler (#5926) Deploy Jekyll site to Pages #390: Commit acb8c6f pushed by MikaelMayer
November 21, 2024 12:29 46s master
master
November 21, 2024 12:29 46s
chore(deps): bump rexml from 3.3.6 to 3.3.9 in /docs (#5868) Deploy Jekyll site to Pages #389: Commit 6640268 pushed by MikaelMayer
November 20, 2024 18:13 1m 3s master
master
November 20, 2024 18:13 1m 3s
Feat rust newtypes members (#5918) Deploy Jekyll site to Pages #388: Commit 435c669 pushed by MikaelMayer
November 20, 2024 16:13 39s master
master
November 20, 2024 16:13 39s
chore: Improve tests (#5859) Deploy Jekyll site to Pages #387: Commit b998ed9 pushed by RustanLeino
November 17, 2024 05:06 44s master
master
November 17, 2024 05:06 44s
Enable isolating all return statements (#5917) Deploy Jekyll site to Pages #386: Commit f9c8644 pushed by keyboardDrummer
November 15, 2024 16:43 57s master
master
November 15, 2024 16:43 57s
Fix: {:only} on a per-file basis (#5915) Deploy Jekyll site to Pages #385: Commit 91a3c09 pushed by MikaelMayer
November 14, 2024 22:24 50s master
master
November 14, 2024 22:24 50s
Fix concurrency bug in reported file version (#5912) Deploy Jekyll site to Pages #384: Commit 7d80ca2 pushed by keyboardDrummer
November 13, 2024 16:00 45s master
master
November 13, 2024 16:00 45s
Fix 5724 compile suffix main arguments (#5910) Deploy Jekyll site to Pages #383: Commit 5f23301 pushed by keyboardDrummer
November 12, 2024 20:09 48s master
master
November 12, 2024 20:09 48s
docs: fix broken link to newtypes section (#5908) Deploy Jekyll site to Pages #382: Commit e7a9db1 pushed by alex-chew
November 12, 2024 02:29 42s master
master
November 12, 2024 02:29 42s
Move code out of GhostInterestVisitor and into specific AST types (#5… Deploy Jekyll site to Pages #381: Commit 062232f pushed by keyboardDrummer
November 11, 2024 17:56 43s master
master
November 11, 2024 17:56 43s
feat: Compute matching patterns for automatic induction (#5835) Deploy Jekyll site to Pages #380: Commit e77b51e pushed by RustanLeino
November 8, 2024 21:15 48s master
master
November 8, 2024 21:15 48s
Fix issue 5554 soundness (#5874) Deploy Jekyll site to Pages #379: Commit 7415591 pushed by olivier-aws
November 8, 2024 15:59 39s master
master
November 8, 2024 15:59 39s
Feat: Auto-completion of @-attributes for the language server (#5846) Deploy Jekyll site to Pages #378: Commit 940ccf6 pushed by MikaelMayer
November 8, 2024 09:09 40s master
master
November 8, 2024 09:09 40s
Remove libraries submodule (#5903) Deploy Jekyll site to Pages #377: Commit 32c2388 pushed by RustanLeino
November 7, 2024 17:37 42s master
master
November 7, 2024 17:37 42s
Update gradle wrapper to version 8.9 (#5885) Deploy Jekyll site to Pages #376: Commit a0dcb07 pushed by RustanLeino
November 7, 2024 03:14 43s master
master
November 7, 2024 03:14 43s
Parse more general decreases-to expressions (#5891) Deploy Jekyll site to Pages #375: Commit 55fd260 pushed by RustanLeino
November 6, 2024 18:31 10m 51s master
master
November 6, 2024 18:31 10m 51s
Rename BreakStmt to BreakOrContinueStmt (#5895) Deploy Jekyll site to Pages #374: Commit 3e18c9b pushed by keyboardDrummer
November 6, 2024 12:31 50s master
master
November 6, 2024 12:31 50s
fix: Omit type antecedents for unassigned variables (#5877) Deploy Jekyll site to Pages #373: Commit e815f23 pushed by RustanLeino
November 6, 2024 04:31 40s master
master
November 6, 2024 04:31 40s
fix: Strip where clauses for all parameters in Boogie-implementation … Deploy Jekyll site to Pages #372: Commit b1dda0f pushed by RustanLeino
November 5, 2024 22:26 43s master
master
November 5, 2024 22:26 43s
Remove error message file contains no code (#5899) Deploy Jekyll site to Pages #371: Commit 0cdee56 pushed by MikaelMayer
November 5, 2024 20:50 39s master
master
November 5, 2024 20:50 39s