Skip to content
Build and profile and CoqDoc

class SatisfiesProperties #20

Sign in to view logs

class SatisfiesProperties

class SatisfiesProperties #20

Triggered via push January 24, 2024 09:38
@h0nzZikh0nzZik
pushed f0d220d
main
Status Failure
Total duration 5m 19s
Artifacts –

build-and-profile.yml

on: push
build
5m 6s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.