CI

feat(ProvabilityLogic): Arithmetical Completeness of GL Part.1 #12

Sign in to view logs

Triggered via pull request September 6, 2024 07:26

SnO2WMaN

opened #2

arithmetic-completeness-pt1

Status Success

Total duration 3m 22s

Artifacts –

ci.yml

on: pull_request

Deploy to GitHub Pages