Skip to content
Build C#

Model nontermination explicitly ("partial Hurd monad") #324

Sign in to view logs

Model nontermination explicitly ("partial Hurd monad")

Model nontermination explicitly ("partial Hurd monad") #324

Triggered via pull request October 25, 2023 18:02
@fzaiserfzaiser
opened #104
partial
Status Failure
Total duration 17s
Artifacts –

build_cs.yml

on: pull_request
build-cs
6s
build-cs
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-cs
Process completed with exit code 2.