Skip to content
Coq Build

Fix deprecation warnings in SemanticCore. #94

Sign in to view logs

Fix deprecation warnings in SemanticCore.

Fix deprecation warnings in SemanticCore. #94

Triggered via push January 15, 2024 19:58
@adrianlehadrianleh
pushed 03e2cdf
main
Status Failure
Total duration 24m 22s
Artifacts –

coq-action.yml

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