CI: Automatically Generating Html Documentation for each Pull Requests #1

Annotations

1 error and 11 warnings

Action failed with "The process '/usr/bin/git' failed with exit code 128"

Failed to remove 'http.https://github.com/.extraheader' from the git config

Notation archiFieldType is deprecated since mathcomp 2.3.0.

Reference ceil_ge is deprecated since mathcomp-analysis 1.3.0.

Reference ceil_ge is deprecated since mathcomp-analysis 1.3.0.

Reference ceil_ge is deprecated since mathcomp-analysis 1.3.0.

The default and global localities for this command outside sections

Reference ceil_ge is deprecated since mathcomp-analysis 1.3.0.

Reference ceil_ge is deprecated since mathcomp-analysis 1.3.0.

Reference ceil_ge is deprecated since mathcomp-analysis 1.3.0.

Reference ceil_ge is deprecated since mathcomp-analysis 1.3.0.

Reference ceil_ge is deprecated since mathcomp-analysis 1.3.0.