Skip to content

Adding automata verifier to Celestia Contracts branch #90

Adding automata verifier to Celestia Contracts branch

Adding automata verifier to Celestia Contracts branch #90

Triggered via pull request November 18, 2024 22:42
Status Success
Total duration 9s
Artifacts

base-branch-check.yml

on: pull_request
Pull request base branch check
0s
Pull request base branch check
Fit to window
Zoom out
Zoom in