Skip to content

Actions: Dargones/blog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Include comments for provenance Check Blogposts #42: Commit ab7f7b0 pushed by atomb
June 26, 2024 17:44 1m 29s main
main
June 26, 2024 17:44 1m 29s
Include comments for provenance Deploy Jekyll site to Pages #4: Commit ab7f7b0 pushed by atomb
June 26, 2024 17:44 33s main
main
June 26, 2024 17:44 33s
Fix brittleness test Deploy Jekyll site to Pages #3: Commit fc8b1ec pushed by Dargones
March 21, 2024 19:50 21s main
main
March 21, 2024 19:50 21s
Fix brittleness test Check Blogposts #41: Commit fc8b1ec pushed by Dargones
March 21, 2024 19:50 6h 0m 34s main
main
March 21, 2024 19:50 6h 0m 34s
Fix formatting Deploy Jekyll site to Pages #2: Commit d713eb1 pushed by Dargones
March 21, 2024 04:07 21s main
main
March 21, 2024 04:07 21s
Fix formatting Check Blogposts #40: Commit d713eb1 pushed by Dargones
March 21, 2024 04:07 4m 35s main
main
March 21, 2024 04:07 4m 35s
chore: Set Dafny as the default language for syntax highlighting (#32) Deploy Jekyll site to Pages #1: Commit e9d9ef6 pushed by Dargones
March 21, 2024 04:01 38s main
main
March 21, 2024 04:01 38s
chore: Set Dafny as the default language for syntax highlighting (#32) Check Blogposts #39: Commit e9d9ef6 pushed by Dargones
March 21, 2024 04:01 5m 10s main
main
March 21, 2024 04:01 5m 10s
Test Generation Post (#9) Check Blogposts #38: Commit 6cb3c36 pushed by Dargones
December 8, 2023 01:18 19m 32s main
main
December 8, 2023 01:18 19m 32s
case sensitive anme change Check Blogposts #37: Commit 0319e47 pushed by Dargones
December 8, 2023 00:51 24m 52s main
main
December 8, 2023 00:51 24m 52s
Merge branch 'dafny-lang:main' into main Check Blogposts #36: Commit 678f5ae pushed by Dargones
December 8, 2023 00:42 15m 44s main
main
December 8, 2023 00:42 15m 44s
Update RationalAdd.dfy.expect Check Blogposts #35: Commit 36626af pushed by Dargones
December 7, 2023 21:33 18m 17s main
main
December 7, 2023 21:33 18m 17s
Update verify.sh for proof brittleness Check Blogposts #34: Commit e1cf47a pushed by Dargones
December 7, 2023 21:26 4m 39s main
main
December 7, 2023 21:26 4m 39s
Update diff arguments to strip line endings Check Blogposts #33: Commit b8e33eb pushed by Dargones
December 7, 2023 21:19 4m 28s main
main
December 7, 2023 21:19 4m 28s
Ignore whitespace in diff Check Blogposts #32: Commit e1276b4 pushed by Dargones
December 7, 2023 20:38 4m 30s main
main
December 7, 2023 20:38 4m 30s
Run brittleness post tests first Check Blogposts #31: Commit 392cb1c pushed by Dargones
December 7, 2023 20:30 5m 25s main
main
December 7, 2023 20:30 5m 25s
Push date to December 6th Check Blogposts #30: Commit 6f6e680 pushed by Dargones
December 7, 2023 20:12 21m 53s main
main
December 7, 2023 20:12 21m 53s
Update brittleness test to work with Dafny master Check Blogposts #29: Commit 1452991 pushed by Dargones
December 7, 2023 20:06 19m 0s main
main
December 7, 2023 20:06 19m 0s
Merge branch 'dafny-lang:main' into main Check Blogposts #28: Commit 2beaa55 pushed by Dargones
December 7, 2023 18:55 18m 31s main
main
December 7, 2023 18:55 18m 31s
typo Check Blogposts #27: Commit 316524d pushed by fabiomadge
December 6, 2023 16:21 17m 48s main
main
December 6, 2023 16:21 17m 48s
Remove more first person Check Blogposts #26: Commit 30a6631 pushed by Dargones
November 1, 2023 17:31 17m 17s main
main
November 1, 2023 17:31 17m 17s
remove one unnecessary use of first person Check Blogposts #25: Commit 40e257c pushed by Dargones
November 1, 2023 17:16 25m 42s main
main
November 1, 2023 17:16 25m 42s
remove reference to "industrial Dafny users" Check Blogposts #24: Commit 4006722 pushed by Dargones
November 1, 2023 16:51 14m 43s main
main
November 1, 2023 16:51 14m 43s
Minor fix Check Blogposts #23: Commit 67998d6 pushed by Dargones
November 1, 2023 16:48 23m 59s main
main
November 1, 2023 16:48 23m 59s
Merge branch 'dafny-lang:main' into main Check Blogposts #22: Commit 1a17e44 pushed by Dargones
November 1, 2023 16:45 21m 35s main
main
November 1, 2023 16:45 21m 35s