Skip to content

Add lemmas about imfset #9

Add lemmas about imfset

Add lemmas about imfset #9

Triggered via pull request December 2, 2024 03:17
@affeldt-aistaffeldt-aist
synchronize #112
Status Failure
Total duration 3m 33s
Artifacts

nix-action-8.17.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in

Annotations

1 error
multinomials
Process completed with exit code 1.