Skip to content

Actions: marvinborner/nette-effekte

Actions

Check Nix flake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
flake-check.yml
56 workflow runs
56 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
flake.lock: Update Check Nix flake #64: Pull request #10 synchronize by github-actions Bot
Action required update_flake_lock_action
update_flake_lock_action
Action required
flake.lock: Update Check Nix flake #63: Pull request #10 synchronize by github-actions Bot
Action required update_flake_lock_action
update_flake_lock_action
Action required
flake.lock: Update Check Nix flake #62: Pull request #10 synchronize by github-actions Bot
Action required update_flake_lock_action
update_flake_lock_action
Action required
flake.lock: Update Check Nix flake #61: Pull request #10 synchronize by github-actions Bot
Action required update_flake_lock_action
update_flake_lock_action
Action required
Better testing infrastructure Check Nix flake #57: Commit 9078a64 pushed by marvinborner
1m 38s dev
dev
1m 38s
Random pop Check Nix flake #56: Commit 20a08f7 pushed by marvinborner
1m 34s dev
dev
1m 34s
Proper potential Check Nix flake #55: Commit 5cf0d28 pushed by marvinborner
1m 41s dev
dev
1m 41s
Substitution via union-find Check Nix flake #54: Commit fe0b61c pushed by marvinborner
1m 37s dev
dev
1m 37s
Substituting on heap ports Check Nix flake #53: Commit cc2f375 pushed by marvinborner
1m 20s dev
dev
1m 20s
Initiator and better dup Check Nix flake #52: Commit a1d7676 pushed by marvinborner
1m 31s dev
dev
1m 31s
Add eraser annihilations Check Nix flake #51: Commit df56924 pushed by marvinborner
1m 9s dev
dev
1m 9s
More fixes for new Effekt version Check Nix flake #50: Commit 0d2f147 pushed by marvinborner
1m 7s dev
dev
1m 7s
Merge pull request #9 from marvinborner/update_flake_lock_action Check Nix flake #49: Commit fb40bdd pushed by marvinborner
1m 14s dev
dev
1m 14s
Adapt to new Effekt version Check Nix flake #48: Commit 12b295a pushed by marvinborner
1m 12s dev
dev
1m 12s
Theory of substitutions Check Nix flake #47: Commit a1dbd72 pushed by marvinborner
1m 29s dev
dev
1m 29s
Disable optimization on ci Check Nix flake #46: Commit b3aac7a pushed by marvinborner
1m 17s dev
dev
1m 17s
Run ci on dev Check Nix flake #40: Commit f39236c pushed by marvinborner
2m 26s dev
dev
2m 26s
Merge pull request #8 from marvinborner/update_flake_lock_action Check Nix flake #39: Commit f5ac85d pushed by marvinborner
1m 58s main
main
1m 58s
Merge pull request #7 from marvinborner/update_flake_lock_action Check Nix flake #38: Commit 53502b8 pushed by marvinborner
2m 8s main
main
2m 8s
Some slides additions Check Nix flake #37: Commit 6693f29 pushed by marvinborner
2m 10s main
main
2m 10s
Further documentation Check Nix flake #36: Commit 8bcd5a0 pushed by marvinborner
2m 7s main
main
2m 7s
Remove broken test (Effekt miscompilation) Check Nix flake #35: Commit 413aaf4 pushed by marvinborner
2m 3s main
main
2m 3s
Some debugging and fixing Check Nix flake #34: Commit f27cdf1 pushed by marvinborner
2m 20s main
main
2m 20s
Some more documentation Check Nix flake #33: Commit 7059aba pushed by marvinborner
1m 55s main
main
1m 55s
Initial TUI Check Nix flake #32: Commit cc6151e pushed by marvinborner
1m 44s main
main
1m 44s