Skip to content
CI

Mutable axioms (#128) #681

Sign in to view logs

Mutable axioms (#128)

Mutable axioms (#128) #681

Triggered via push July 21, 2023 18:32
@tchajedtchajed
pushed a888ab1
main
Status Success
Total duration 5m 59s
Artifacts –

build.yml

on: push
Matrix: Build and test
Fit to window
Zoom out
Zoom in