Skip to content

refactor: generic Header and Proof #722

refactor: generic Header and Proof

refactor: generic Header and Proof #722

Triggered via pull request September 19, 2023 14:14
Status Success
Total duration 2m 9s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

generate-files.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
No github_token supplied, API requests will be subject to stricter rate limiting