Skip to content

Actions: marvinborner/nette-effekte

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update-flake-lock
update-flake-lock #24: Scheduled
38s dev
dev
update-flake-lock
update-flake-lock #23: Scheduled
36s dev
dev
update-flake-lock
update-flake-lock #22: Scheduled
38s dev
dev
update-flake-lock
update-flake-lock #21: Scheduled
37s dev
dev
update-flake-lock
update-flake-lock #20: Scheduled
39s dev
dev
update-flake-lock
update-flake-lock #19: Scheduled
38s dev
dev
update-flake-lock
update-flake-lock #18: Scheduled
36s dev
dev
update-flake-lock
update-flake-lock #17: Scheduled
38s dev
dev
update-flake-lock
update-flake-lock #16: Scheduled
47s dev
dev
update-flake-lock
update-flake-lock #15: Scheduled
45s dev
dev
Better testing infrastructure
Check Nix flake #57: Commit 9078a64 pushed by marvinborner
1m 38s dev
dev
update-flake-lock
update-flake-lock #14: Scheduled
39s dev
dev
Random pop
Check Nix flake #56: Commit 20a08f7 pushed by marvinborner
1m 34s dev
dev
Proper potential
Check Nix flake #55: Commit 5cf0d28 pushed by marvinborner
1m 41s dev
dev
Substitution via union-find
Check Nix flake #54: Commit fe0b61c pushed by marvinborner
1m 37s dev
dev
Substituting on heap ports
Check Nix flake #53: Commit cc2f375 pushed by marvinborner
1m 20s dev
dev
Initiator and better dup
Check Nix flake #52: Commit a1d7676 pushed by marvinborner
1m 31s dev
dev
Add eraser annihilations
Check Nix flake #51: Commit df56924 pushed by marvinborner
1m 9s dev
dev
update-flake-lock
update-flake-lock #13: Scheduled
37s dev
dev
Adapt to new Effekt version
Check Nix flake #48: Commit 12b295a pushed by marvinborner
1m 12s dev
dev
Theory of substitutions
Check Nix flake #47: Commit a1dbd72 pushed by marvinborner
1m 29s dev
dev
update-flake-lock
update-flake-lock #12: Scheduled
36s dev
dev
Disable optimization on ci
Check Nix flake #46: Commit b3aac7a pushed by marvinborner
1m 17s dev
dev