Deploy Jekyll site to Pages

Fix typo (#36) #8

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push July 31, 2024 11:11

stefan-aws

main

Status Success

Total duration 1m 1s

Artifacts 1

jekyll.yml

on: push

https://dafny.org/blog/

Artifacts

Produced during runtime

Name	Size
github-pages Expired	3.18 MB