Skip to content
LISA CI

Add lambda-terms to FOL #833

Sign in to view logs

Add lambda-terms to FOL

Add lambda-terms to FOL #833

Triggered via pull request October 9, 2024 22:56
@SimonGuilloudSimonGuilloud
synchronize #231
SimonGuilloud:lambdafol
Status Success
Total duration 4m 22s
Artifacts –

ci.yml

on: pull_request
build
4m 14s
build
Fit to window
Zoom out
Zoom in