Update the `tock/` submodule to latest `master`. #721

Sign in to view logs

Summary
Jobs
- ci
Run details
- Usage
- Workflow file

Triggered via pull request October 30, 2023 21:53

jrvanwhy

opened #518

jrvanwhy:update-tock

Status Success

Total duration 11m 28s

Artifacts –

ci.yml

on: pull_request