Back to pull request #27

update formal flow and readme #52

Sign in to view logs

Summary
Jobs
- Check format
Run details
- Usage
- Workflow file

Triggered via pull request September 28, 2024 12:30

unlsycn

synchronize #27

formal

Status Success

Total duration 2m 15s

Artifacts –

checkfmt.yml

on: pull_request