Hopefully fix permission errors on native compute profiles #595
Annotations
10 warnings
|
Run coq-community/docker-coq-action@v1
Coq.ZArith.ZArith has been replaced by Stdlib.ZArith.ZArith.
|
|
Run coq-community/docker-coq-action@v1
Coq.micromega.Lia has been replaced by Stdlib.micromega.Lia.
|
|
Run coq-community/docker-coq-action@v1
Coq.Classes.Morphisms has been replaced by Stdlib.Classes.Morphisms.
|
|
Run coq-community/docker-coq-action@v1
Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.
|
|
Run coq-community/docker-coq-action@v1
Coq.Lists.List has been replaced by Stdlib.Lists.List.
|
|
Run coq-community/docker-coq-action@v1
Coq.Classes.Morphisms has been replaced by Stdlib.Classes.Morphisms.
|
|
Run coq-community/docker-coq-action@v1
Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.
|
|
Run coq-community/docker-coq-action@v1
Coq.Classes.Morphisms has been replaced by Stdlib.Classes.Morphisms.
|
|
Run coq-community/docker-coq-action@v1
Coq.Strings.String has been replaced by Stdlib.Strings.String.
|
|
Run coq-community/docker-coq-action@v1
Coq.Structures.Orders has been replaced by Stdlib.Structures.Orders.
|
Loading