Skip to content
Main workflow

refactor PostsProblem to only rely on EPF and not other axioms #160

Sign in to view logs

refactor PostsProblem to only rely on EPF and not other axioms

refactor PostsProblem to only rely on EPF and not other axioms #160

Triggered via push March 19, 2025 16:50
@yforsteryforster
pushed c3e22cd
main
Status Success
Total duration 19m 38s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in