Skip to content
CI

Refactor Provability Predicate and Arithmetical Soundness #9

Sign in to view logs

Refactor Provability Predicate and Arithmetical Soundness

Refactor Provability Predicate and Arithmetical Soundness #9

Triggered via pull request September 6, 2024 01:30
@SnO2WMaNSnO2WMaN
synchronize #1
provability-logic
Status Success
Total duration 2m 32s
Artifacts –

ci.yml

on: pull_request
Build project
2m 23s
Build project
Deploy to GitHub Pages
0s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in