Build/deploy website

Updated info about no office-hrs in summer #143

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request June 19, 2024 12:29

eta000

opened #53

no-office-hrs

Status Success

Total duration 16s

Artifacts –

build.yml

on: pull_request