Skip to content

Adding automata verifier to Celestia Contracts branch #88

Adding automata verifier to Celestia Contracts branch

Adding automata verifier to Celestia Contracts branch #88

Triggered via pull request November 18, 2024 21:15
Status Success
Total duration 14s
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