Skip to content
Add pull requests and issues to projects

Fixed skolem text with simple entailment #132

Sign in to view logs

Fixed skolem text with simple entailment

Fixed skolem text with simple entailment #132

Triggered via pull request September 16, 2025 14:33
@franconifranconi
opened #157
Status Success
Total duration 8s
Artifacts –

add_prs_and_issues_to_project.yml

on: pull_request_target
Add PR and issues to project
4s
Add PR and issues to project
Fit to window
Zoom out
Zoom in