GitHub Release

Automated Release v1.2.5.3 (#5118) #100

Triggered via push February 1, 2025 20:03

main

Status Success

Total duration 1h 12m 25s

Artifacts 1

ci-release.yml

on: push

Produced during runtime

Name	Size
p4lang~p4c~EKD5XH.dockerbuild	188 KB