Skip to content
Build C#

Model nontermination explicitly ("partial Hurd monad") (#104) #332

Sign in to view logs

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

Model nontermination explicitly ("partial Hurd monad") (#104) #332

Triggered via push October 26, 2023 11:10
@stefan-awsstefan-aws
pushed 1d7294d
main
Status Success
Total duration 49s
Artifacts –

build_cs.yml

on: push
build-cs
39s
build-cs
Fit to window
Zoom out
Zoom in