Build & Test

Added "harmony-lemma-formalization" as a new case study #293

Sign in to view logs

Triggered via pull request July 29, 2024 11:44

MartyO256

synchronize #273

master

Status Success

Total duration 6m 14s

Artifacts –

build-and-test.yml

on: pull_request

Matrix: Build & Test

Matrix: Linting