Skip to content

Actions: verus-lang/blog

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #15: by github-pages bot
February 18, 2024 16:06 39s
February 18, 2024 16:06 39s
hide the announcements in the per-article views
Build and deploy GH Pages #19: Commit 53c4306 pushed by utaal-b
February 18, 2024 16:06 25s main
February 18, 2024 16:06 25s
pages build and deployment
pages-build-deployment #14: by github-pages bot
February 18, 2024 16:00 39s
February 18, 2024 16:00 39s
add introduction from guide https://github.com/verus-lang/verus/blob/…
Build and deploy GH Pages #18: Commit 646d50a pushed by utaal-b
February 18, 2024 16:00 24s main
February 18, 2024 16:00 24s
pages build and deployment
pages-build-deployment #13: by github-pages bot
February 16, 2024 13:53 47s
February 16, 2024 13:53 47s
add announcements from zulip
Build and deploy GH Pages #17: Commit 1931110 pushed by utaal
February 16, 2024 13:53 28s main
February 16, 2024 13:53 28s
pages build and deployment
pages-build-deployment #12: by github-pages bot
February 13, 2024 17:16 45s
February 13, 2024 17:16 45s
add DRAFT watermark to draft blog
Build and deploy GH Pages #16: Commit f907035 pushed by utaal-b
February 13, 2024 17:16 31s main
February 13, 2024 17:16 31s
pages build and deployment
pages-build-deployment #11: by github-pages bot
February 13, 2024 17:08 47s
February 13, 2024 17:08 47s
Improve README documentation
Build and deploy GH Pages #15: Commit 066a47f pushed by jaybosamiya
February 13, 2024 17:07 23s main
February 13, 2024 17:07 23s
Improve README documentation
Build and deploy GH Pages #14: Commit 066a47f pushed by jaybosamiya
February 13, 2024 17:07 3s minor-infra-updates
February 13, 2024 17:07 3s
Improve README documentation
Build and deploy GH Pages #13: Commit c76993d pushed by jaybosamiya
February 13, 2024 17:03 3s minor-infra-updates
February 13, 2024 17:03 3s
pages build and deployment
pages-build-deployment #10: by github-pages bot
February 13, 2024 14:51 41s
February 13, 2024 14:51 41s
rename mis-named post
Build and deploy GH Pages #12: Commit 25df2b4 pushed by utaal-b
February 13, 2024 14:51 26s main
February 13, 2024 14:51 26s
pages build and deployment
pages-build-deployment #9: by github-pages bot
February 13, 2024 14:48 44s
February 13, 2024 14:48 44s
some more style tweaks
Build and deploy GH Pages #11: Commit 84c5470 pushed by utaal-b
February 13, 2024 14:48 26s main
February 13, 2024 14:48 26s
pages build and deployment
pages-build-deployment #8: by github-pages bot
February 13, 2024 14:37 42s
February 13, 2024 14:37 42s
add minimal README
Build and deploy GH Pages #10: Commit 028515a pushed by utaal-b
February 13, 2024 14:36 36s main
February 13, 2024 14:36 36s
pages build and deployment
pages-build-deployment #7: by github-pages bot
February 13, 2024 14:34 40s
February 13, 2024 14:34 40s
add draft of introduction to Verus
Build and deploy GH Pages #9: Commit 0a03fd4 pushed by utaal-b
February 13, 2024 14:33 24s main
February 13, 2024 14:33 24s
pages build and deployment
pages-build-deployment #6: by github-pages bot
February 13, 2024 11:13 41s
February 13, 2024 11:13 41s
responsive down to phones
Build and deploy GH Pages #8: Commit 434fc2c pushed by utaal-b
February 13, 2024 11:13 24s main
February 13, 2024 11:13 24s
pages build and deployment
pages-build-deployment #5: by github-pages bot
February 13, 2024 11:07 38s
February 13, 2024 11:07 38s
hide announcements on small screens
Build and deploy GH Pages #7: Commit 26d280b pushed by utaal-b
February 13, 2024 11:06 24s main
February 13, 2024 11:06 24s
pages build and deployment
pages-build-deployment #4: by github-pages bot
February 13, 2024 10:57 47s
February 13, 2024 10:57 47s