Skip to content
Formal Ledger Specs - PR Merged

CERTS should do the base case first #66

Sign in to view logs

CERTS should do the base case first

CERTS should do the base case first #66

Triggered via pull request November 22, 2024 12:35
@WhatisRTWhatisRT
closed #604
545-certs-base-case-first
Status Success
Total duration 35s
Artifacts –

pr_merged.yml

on: pull_request
pr-merged
27s
pr-merged
Fit to window
Zoom out
Zoom in