Merge pull request #11 from imandra-ai/christoph/fix-setrlimit #156

Sign in to view logs

Triggered via push August 27, 2024 12:51

main

Status Success

Total duration 2m 46s

Artifacts –

main.yml

on: push

Matrix: build

Matrix: build-ocaml5

Matrix: format