~remexre

Minneapolis

https://remexre.com

Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering

Embeddable badge for this view:

builds.sr.ht status

Markdown

[![builds.sr.ht status](https://builds.sr.ht/~remexre/sylvan/.svg)](https://builds.sr.ht/~remexre/sylvan/?)

~remexre/sylvan/

#1379968 ~remexre/sylvan/commits/trunk/freebsd.yml 2 hours ago running

06b9f82 — Nathan Ringo

Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.

install-ocaml-deps build

running 2 hours ago

#1379967 ~remexre/sylvan/commits/trunk/alpine.yml 2 hours ago failed

06b9f82 — Nathan Ringo

Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.

install-ocaml-deps build

failed 2 hours ago

#1379966 ~remexre/sylvan/commits/trunk/reuse-lint.yml 2 hours ago success

06b9f82 — Nathan Ringo

Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.

lint

success 2 hours ago

#1379965 ~remexre/sylvan/commits/trunk/nixos-and-website.yml 2 hours ago failed

06b9f82 — Nathan Ringo

Split kindck to be bidirectional, but gonna refactor App to have a separate CurryApp.

cachix-setup build-website deploy-website bootstrap

failed 2 hours ago

#1379267 ~remexre/sylvan/commits/trunk/reuse-lint.yml a day ago success

4964a4e — Nathan Ringo

Save contexts with holes.

lint

success a day ago

#1379266 ~remexre/sylvan/commits/trunk/nixos-and-website.yml a day ago failed

4964a4e — Nathan Ringo

Save contexts with holes.

cachix-setup build-website deploy-website bootstrap

failed a day ago

#1379265 ~remexre/sylvan/commits/trunk/freebsd.yml 22 hours ago timeout

4964a4e — Nathan Ringo

Save contexts with holes.

install-ocaml-deps build

timeout 22 hours ago

#1379264 ~remexre/sylvan/commits/trunk/alpine.yml a day ago failed

4964a4e — Nathan Ringo

Save contexts with holes.

install-ocaml-deps build

failed a day ago

#1379232 ~remexre/sylvan/commits/trunk/reuse-lint.yml a day ago success

c360945 — Nathan Ringo

Start of the solver.

lint

success a day ago

#1379231 ~remexre/sylvan/commits/trunk/nixos-and-website.yml a day ago failed

c360945 — Nathan Ringo

Start of the solver.

cachix-setup build-website deploy-website bootstrap

failed a day ago

#1379230 ~remexre/sylvan/commits/trunk/freebsd.yml 23 hours ago timeout

c360945 — Nathan Ringo

Start of the solver.

install-ocaml-deps build

timeout 23 hours ago

#1379229 ~remexre/sylvan/commits/trunk/alpine.yml a day ago failed

c360945 — Nathan Ringo

Start of the solver.

install-ocaml-deps build

failed a day ago

#1379093 ~remexre/sylvan/commits/trunk/reuse-lint.yml a day ago success

20a65c4 — Nathan Ringo

Beginning of the new kind-checker. To the point where we need the solver.

lint

success a day ago

#1379092 ~remexre/sylvan/commits/trunk/nixos-and-website.yml a day ago failed

20a65c4 — Nathan Ringo

Beginning of the new kind-checker. To the point where we need the solver.

cachix-setup build-website deploy-website bootstrap

failed a day ago

#1379091 ~remexre/sylvan/commits/trunk/freebsd.yml a day ago timeout

20a65c4 — Nathan Ringo

Beginning of the new kind-checker. To the point where we need the solver.

install-ocaml-deps build

timeout a day ago

1 / 51
next