Skip to content
Back to pull request #16

Term generalisation with shared parser #143

Sign in to view logs

Term generalisation with shared parser

Term generalisation with shared parser #143

Triggered via pull request January 15, 2024 14:14
@JonasAlaifJonasAlaif
synchronize #16
term_generalisation_with_SharedParser
Status Failure
Total duration 45s
Artifacts –

continuous_integration.yml

on: pull_request
Matrix: generate_log
format
5s
format
clippy
36s
clippy
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
format
Process completed with exit code 1.
clippy
Process completed with exit code 101.