Deploy Jekyll site to Pages

Isolate paths (#5832) #357

Sign in to view logs

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

Triggered via push October 25, 2024 16:05

keyboardDrummer

master

Status Success

Total duration 38s

Artifacts 1

jekyll.yml

on: push

http://dafny.org/dafny/

Artifacts

Produced during runtime

Name	Size
github-pages	2.86 MB