Skip to content

Actions: dafny-lang/dafny-lang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding link to Dafny YouTube channel (#47) Deploy Jekyll site to Pages #11: Commit 338ec83 pushed by stefan-aws
January 22, 2025 19:49 1m 20s main
main
January 22, 2025 19:49 1m 20s
Adding link to Dafny Zulip channel (#46) Deploy Jekyll site to Pages #10: Commit 89e1f83 pushed by olivier-aws
January 13, 2025 14:59 5m 59s main
main
January 13, 2025 14:59 5m 59s
Update nav (#40) Deploy Jekyll site to Pages #9: Commit 5040358 pushed by fabiomadge
January 10, 2025 22:37 1m 21s main
main
January 10, 2025 22:37 1m 21s
chore: Derestrict ruby/setup-ruby Deploy Jekyll site to Pages #8: Commit 23073f6 pushed by fabiomadge
December 26, 2024 14:17 1m 18s main
main
December 26, 2024 14:17 1m 18s
chore: Add v4.9.1 (#45) Deploy Jekyll site to Pages #7: Commit 78de2ea pushed by fabiomadge
December 26, 2024 14:14 15s main
main
December 26, 2024 14:14 15s
snapshot v4 8 1 (#44) Deploy Jekyll site to Pages #6: Commit 880cccb pushed by keyboardDrummer
September 18, 2024 16:41 1m 25s main
main
September 18, 2024 16:41 1m 25s
snapshot v4 6 0 (#43) Deploy Jekyll site to Pages #5: Commit 4e41b06 pushed by robin-aws
March 28, 2024 18:33 1m 29s main
main
March 28, 2024 18:33 1m 29s
snapshot v4 5 0 (#41) Deploy Jekyll site to Pages #4: Commit 66a0f23 pushed by alex-chew
March 18, 2024 21:53 1m 31s main
main
March 18, 2024 21:53 1m 31s
fix: Backport additional Jekyll changes (#39) Deploy Jekyll site to Pages #3: Commit 73da6bd pushed by fabiomadge
February 21, 2024 16:43 1m 21s main
main
February 21, 2024 16:43 1m 21s
fix: Backport Jekyll changes (#38) Deploy Jekyll site to Pages #2: Commit e5073ce pushed by keyboardDrummer
January 12, 2024 16:10 1m 4s main
main
January 12, 2024 16:10 1m 4s
Jekyll on Actions (#37) Deploy Jekyll site to Pages #1: Commit 6ec6c4f pushed by fabiomadge
January 9, 2024 23:37 1m 14s main
main
January 9, 2024 23:37 1m 14s
pages build and deployment pages-build-deployment #44: by robin-aws
January 9, 2024 23:03 1m 37s main
main
January 9, 2024 23:03 1m 37s