CI

Add ETAPS to the dictionary #3883

Sign in to view logs

Triggered via push October 3, 2025 00:48

another-copyedit-chunk

Status Success

Total duration 2m 22s

Artifacts –

main.yml

on: push

Run package tests