Skip to content
Check autoconf (Other distros)

import-script: Upload problemset by default if it exists. #1793

Sign in to view logs

import-script: Upload problemset by default if it exists.

import-script: Upload problemset by default if it exists. #1793

Triggered via push September 17, 2024 14:56
@github-merge-queuegithub-merge-queue[bot]
pushed 0d62cb0
main
Status Success
Total duration 3m 7s
Artifacts –

autoconf-check-different-distro.yml

on: push
Matrix: redhat-family
Fit to window
Zoom out
Zoom in