Skip to content

Adapt CI to upcoming GitHub actions changes #16

Adapt CI to upcoming GitHub actions changes

Adapt CI to upcoming GitHub actions changes #16

Annotations

1 warning

mathcomp-analysis

succeeded Jan 14, 2025 in 40s