Skip to content

Merge pull request #2 from FormalizedFormalLogic/class #81

Merge pull request #2 from FormalizedFormalLogic/class

Merge pull request #2 from FormalizedFormalLogic/class #81

Triggered via push August 16, 2024 16:36
Status Success
Total duration 19m 0s
Artifacts 3

ci.yml

on: push
Deploy to GitHub Pages
20s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
docs
12.5 MB
github-pages Expired
11 MB
import_graph
850 KB