Docker CI

adapting docker images to mathcomp 2.4 (#42) #84

Sign in to view logs

Triggered via push May 6, 2025 10:56

master

Status Success

Total duration 13m 51s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker-action.yml

on: push

Matrix: build