Skip to content

Actions: knowsys/nemo

Actions

Build with nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use into_iter() instead of iter() to move out of cols Build with nix #116: Commit 84bd739 pushed by mmarx
August 23, 2023 09:43 22m 35s main
main
August 23, 2023 09:43 22m 35s
Bug 308/empty file (#341) Build with nix #115: Commit c48eb1b pushed by aannleax
August 16, 2023 08:13 25m 26s main
main
August 16, 2023 08:13 25m 26s
Arithmetic type inference (#340) Build with nix #114: Commit ba4034a pushed by aannleax
August 16, 2023 08:12 18m 0s main
main
August 16, 2023 08:12 18m 0s
Feature/129 predicate memory (#338) Build with nix #113: Commit afcae2f pushed by aannleax
August 10, 2023 11:36 29m 18s main
main
August 10, 2023 11:36 29m 18s