Update Equations tutorial for coq-equations 1.3.1 #97
Lysxiadocker-action.yml
on: pull_request
build
2m 20s
deploy
0s
Annotations
1 error and 1 warning
|
build
Found no subterm matching "In ?a (filter l p)" in the current goal.
|
|
build
Failed to remove 'http.https://github.com/.extraheader' from the git config
|