Workflow runs · dafny-lang/dafny-lang.github.io · GitHub

Actions

All workflows
Workflows
- Deploy Jekyll site to Pages Deploy Jekyll site to Pages
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

1 workflow run

1 workflow run

snapshot v4 11 0 (#49) Deploy Jekyll site to Pages #12: Commit 44927bc pushed by MikaelMayer

1m 27s main

main

1m 27s