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 resource limit in most places in test suite (#4972) Deploy Jekyll site to Pages #20: Commit 745b2f0 pushed by atomb
January 24, 2024 22:34 6m 5s master
master
January 24, 2024 22:34 6m 5s
fix: Make datatype cycle detection independent of auto-init (#4997) Deploy Jekyll site to Pages #19: Commit fc3660f pushed by RustanLeino
January 24, 2024 19:56 57s master
master
January 24, 2024 19:56 57s
feat(Optimize Go imports): run goimports on Go target code (#4777) Deploy Jekyll site to Pages #18: Commit cbd1812 pushed by robin-aws
January 24, 2024 18:02 44s master
master
January 24, 2024 18:02 44s
Separate UI code and business logic for the resolve and verify comman… Deploy Jekyll site to Pages #17: Commit 9d85655 pushed by keyboardDrummer
January 23, 2024 19:38 41s master
master
January 23, 2024 19:38 41s
Parity in Counterexample-Related Z3 Options for Command-Line vs Langu… Deploy Jekyll site to Pages #16: Commit fecf783 pushed by atomb
January 22, 2024 23:36 41s master
master
January 22, 2024 23:36 41s
fix: Check for correct use of type characteristics in ghosts and defa… Deploy Jekyll site to Pages #15: Commit 47ab929 pushed by RustanLeino
January 22, 2024 13:52 42s master
master
January 22, 2024 13:52 42s
chore(deps): bump ruby/setup-ruby from 1.165.1 to 1.168.0 (#4999) Deploy Jekyll site to Pages #14: Commit b599ba6 pushed by fabiomadge
January 22, 2024 12:21 49s master
master
January 22, 2024 12:21 49s
chore(deps): bump actions/upload-artifact and actions/download-artifa… Deploy Jekyll site to Pages #13: Commit a7dcf7c pushed by fabiomadge
January 21, 2024 11:29 39s master
master
January 21, 2024 11:29 39s
fix: Fix parsing error and a crash with non-reference-trait base type… Deploy Jekyll site to Pages #12: Commit 79e4ffa pushed by RustanLeino
January 19, 2024 23:29 5m 49s master
master
January 19, 2024 23:29 5m 49s
Fix typo (#4996) Deploy Jekyll site to Pages #11: Commit 8a6af35 pushed by MikaelMayer
January 19, 2024 22:36 35s master
master
January 19, 2024 22:36 35s
Implement :resource_limit attribute (#4975) Deploy Jekyll site to Pages #10: Commit 8480133 pushed by atomb
January 19, 2024 21:23 15m 42s master
master
January 19, 2024 21:23 15m 42s
ci: disable refman build on prerelease CI (#4995) Deploy Jekyll site to Pages #9: Commit 99861f0 pushed by robin-aws
January 19, 2024 19:06 38s master
master
January 19, 2024 19:06 38s
ci: resume publishing nightly builds from master (#4991) Deploy Jekyll site to Pages #8: Commit 3b8420b pushed by alex-chew
January 16, 2024 23:12 41s master
master
January 16, 2024 23:12 41s
Bug fix for Issue 3766 (#4694) Deploy Jekyll site to Pages #7: Commit 248286d pushed by ssomayyajula
January 16, 2024 17:24 37s master
master
January 16, 2024 17:24 37s
chore(deps): bump ruby/setup-ruby from 1.161.0 to 1.165.1 (#4987) Deploy Jekyll site to Pages #6: Commit 7d01322 pushed by fabiomadge
January 15, 2024 13:01 35s master
master
January 15, 2024 13:01 35s
fix: Adapt to work with more recent Jekyll versions (#4981) Deploy Jekyll site to Pages #5: Commit e635b81 pushed by keyboardDrummer
January 12, 2024 13:51 33s master
master
January 12, 2024 13:51 33s
Add feature description for #4951 (#4976) Deploy Jekyll site to Pages #4: Commit 599e988 pushed by keyboardDrummer
January 12, 2024 11:28 38s master
master
January 12, 2024 11:28 38s
Support logging verification results in JSON (#4951) Deploy Jekyll site to Pages #3: Commit 95b36cc pushed by keyboardDrummer
January 11, 2024 00:20 49s master
master
January 11, 2024 00:20 49s
doc: Add instructions about how to install Rust (#4933) Deploy Jekyll site to Pages #2: Commit b38ae87 pushed by RustanLeino
January 10, 2024 19:18 42s master
master
January 10, 2024 19:18 42s
chore: Use correct configuration (#4970) Deploy Jekyll site to Pages #1: Commit 8bbe3a0 pushed by fabiomadge
January 10, 2024 15:47 1m 5s master
master
January 10, 2024 15:47 1m 5s
ProTip! You can narrow down the results and go further in time using created:<2024-01-10 or the other filters available.