Fix link to webpage after repo transfer. #64
Annotations
4 warnings
|
Run coq-community/docker-coq-action@v1
Command "Restart." is not recommended in batch mode. In particular,
|
|
Run coq-community/docker-coq-action@v1
Command "Restart." is not recommended in batch mode. In particular,
|
|
Run coq-community/docker-coq-action@v1
Command "Restart." is not recommended in batch mode. In particular,
|
|
Post Run actions/checkout@v4
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
Loading