Merge pull request #686 from omahs/patch-1 #56

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via push July 10, 2024 15:22

MathisGD

main

Status Success

Total duration 33m 39s

Artifacts –

halmos.yml

on: push