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 tests that failed during the 4.7 release (#5581) Deploy Jekyll site to Pages #257: Commit 141053d pushed by keyboardDrummer
June 27, 2024 10:48 47s master
master
June 27, 2024 10:48 47s
Release 4.7.0 (#5579) Deploy Jekyll site to Pages #256: Commit 75d83cd pushed by keyboardDrummer
June 27, 2024 09:27 38s master
master
June 27, 2024 09:27 38s
Update release process (#5578) Deploy Jekyll site to Pages #255: Commit c17a7c9 pushed by keyboardDrummer
June 27, 2024 08:22 43s master
master
June 27, 2024 08:22 43s
Fix: Compiled disjunctive nested pattern matching no longer crashing … Deploy Jekyll site to Pages #254: Commit eb2d95b pushed by keyboardDrummer
June 26, 2024 08:34 47s master
master
June 26, 2024 08:34 47s
Attempt to stabilize ConcurrentCompilationDoesNotBreakCaching test (#… Deploy Jekyll site to Pages #253: Commit 992cbf8 pushed by keyboardDrummer
June 26, 2024 07:29 44s master
master
June 26, 2024 07:29 44s
Chore: Internal backends should not fail CI (#5573) Deploy Jekyll site to Pages #252: Commit a197276 pushed by MikaelMayer
June 25, 2024 15:37 47s master
master
June 25, 2024 15:37 47s
Add --find-project option (#5568) Deploy Jekyll site to Pages #251: Commit 2e866ef pushed by keyboardDrummer
June 25, 2024 10:50 48s master
master
June 25, 2024 10:50 48s
Chore: Dafny to Rust refactorings (#5513) Deploy Jekyll site to Pages #250: Commit 0860638 pushed by MikaelMayer
June 22, 2024 01:41 41s master
master
June 22, 2024 01:41 41s
chore: Remove typos in docs (#5529) Deploy Jekyll site to Pages #249: Commit e3273ad pushed by fabiomadge
June 20, 2024 21:03 42s master
master
June 20, 2024 21:03 42s
ci: Fix nightly build tests broken by skipping Rust (#5566) Deploy Jekyll site to Pages #248: Commit 9400252 pushed by fabiomadge
June 19, 2024 12:49 46s master
master
June 19, 2024 12:49 46s
Ensure nightly skips Rust (fixed) (#5564) Deploy Jekyll site to Pages #247: Commit efbc03b pushed by MikaelMayer
June 18, 2024 16:21 38s master
master
June 18, 2024 16:21 38s
fix: Legacy datatype constructor compatibility in Java (#5558) Deploy Jekyll site to Pages #246: Commit aa58409 pushed by robin-aws
June 17, 2024 14:58 43s master
master
June 17, 2024 14:58 43s
Chore: Omit Rust from the nightly release workflow (#5559) Deploy Jekyll site to Pages #245: Commit f4320dc pushed by robin-aws
June 15, 2024 17:25 37s master
master
June 15, 2024 17:25 37s
Fix: No new resolver crash with partially resolved datatype update ex… Deploy Jekyll site to Pages #244: Commit 5f74d6a pushed by MikaelMayer
June 14, 2024 15:52 36s master
master
June 14, 2024 15:52 36s
Update testing documentation (#5504) Deploy Jekyll site to Pages #243: Commit 709edd1 pushed by stefan-aws
June 12, 2024 16:59 50s master
master
June 12, 2024 16:59 50s
Fix bug in projectAsLibrary test (#5545) Deploy Jekyll site to Pages #242: Commit f170784 pushed by keyboardDrummer
June 11, 2024 15:58 39s master
master
June 11, 2024 15:58 39s
Reverted internal prefix for every backend except Dafny (#5538) Deploy Jekyll site to Pages #241: Commit 642e381 pushed by robin-aws
June 10, 2024 20:05 39s master
master
June 10, 2024 20:05 39s
Fix null ref in covered tokens (#5548) Deploy Jekyll site to Pages #240: Commit 5ad2413 pushed by keyboardDrummer
June 10, 2024 14:51 6m 3s master
master
June 10, 2024 14:51 6m 3s
Chore: No extra newtype test (#5506) Deploy Jekyll site to Pages #239: Commit f0b25e0 pushed by MikaelMayer
June 8, 2024 23:25 43s master
master
June 8, 2024 23:25 43s
Implement GetAssertedExpr for CalculationStep (#5546) Deploy Jekyll site to Pages #238: Commit 9f0cda2 pushed by atomb
June 8, 2024 04:21 44s master
master
June 8, 2024 04:21 44s
feat: Implement frame-related asserted exprs and TraitDecreases (#5542) Deploy Jekyll site to Pages #237: Commit f75ae71 pushed by alex-chew
June 7, 2024 23:45 43s master
master
June 7, 2024 23:45 43s
feat: python-module-name (#5461) Deploy Jekyll site to Pages #236: Commit a5d600c pushed by robin-aws
June 7, 2024 21:13 36s master
master
June 7, 2024 21:13 36s
Chore: Using instantiated type for coercion (#5511) Deploy Jekyll site to Pages #235: Commit 552a4f9 pushed by MikaelMayer
June 7, 2024 15:59 42s master
master
June 7, 2024 15:59 42s
Prevent LSP server from crashing on code actions (#5543) Deploy Jekyll site to Pages #234: Commit fdf362f pushed by keyboardDrummer
June 7, 2024 15:10 40s master
master
June 7, 2024 15:10 40s
chore: Clean up build (#5519) Deploy Jekyll site to Pages #233: Commit 430d485 pushed by RustanLeino
June 6, 2024 19:18 35s master
master
June 6, 2024 19:18 35s