Skip to content
Docker CI

Replace deprecated alias Zmod with Z.modulo #76

Sign in to view logs

Replace deprecated alias Zmod with Z.modulo

Replace deprecated alias Zmod with Z.modulo #76

Re-run triggered May 9, 2025 11:56
@spittersspitters
#134
andres-erbsen:Zmodulo-instead-of-Zmod
Status Failure
Total duration 15s
Artifacts –

docker-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in