CI

chore(update): bump kiama to 2.5.1-2 #1993

Sign in to view logs

Triggered via pull request October 3, 2024 13:34

datYori

opened #525

update-kiama

Status Success

Total duration 8m 0s

Artifacts –

ci.yaml

on: pull_request

Matrix: tests