verify

Merge branch 'metamath:main' into main #299

Sign in to view logs

Triggered via push January 18, 2025 13:31

tirix

main

Status Success

Total duration 2m 42s

Artifacts –

verify.yml

on: push

Matrix: Rebuild and test

Annotations

1 warning

Rebuild and test (ubuntu-latest, stable)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636