Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
January 9, 2024 23:03 1m 37s
pages build and deployment pages-build-deployment #43: by robin-aws
October 12, 2023 13:02 2m 5s
October 12, 2023 13:02 2m 5s
pages build and deployment pages-build-deployment #42: by fabiomadge
July 30, 2023 05:58 2m 5s
July 30, 2023 05:58 2m 5s
pages build and deployment pages-build-deployment #41: by keyboardDrummer
July 20, 2023 15:17 3m 47s
July 20, 2023 15:17 3m 47s