Skip to content

Actions: raehik/rerefined

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

readme: more detail, changes from refined Nix #20: Commit 5e0a616 pushed by raehik
October 24, 2024 17:28 23m 36s main
main
October 24, 2024 17:28 23m 36s
tweak flake syntax Nix #19: Commit 43c3c5f pushed by raehik
October 12, 2024 15:14 1m 54s main
main
October 12, 2024 15:14 1m 54s
Simplify: fix a Haddock link Nix #18: Commit 9096f36 pushed by raehik
October 12, 2024 01:58 1m 39s main
main
October 12, 2024 01:58 1m 39s
release 0.8.0 Nix #17: Commit c09e9e2 pushed by raehik
October 12, 2024 01:57 1m 45s v0.8.0
v0.8.0
October 12, 2024 01:57 1m 45s
release 0.8.0 Nix #16: Commit c09e9e2 pushed by raehik
October 12, 2024 01:57 2m 23s main
main
October 12, 2024 01:57 2m 23s
Simplify: tweak a docstring Nix #15: Commit 0a1f368 pushed by raehik
October 12, 2024 01:47 2m 56s main
main
October 12, 2024 01:47 2m 56s
update to-dos Nix #14: Commit 32c2aac pushed by raehik
October 11, 2024 21:59 1m 40s main
main
October 11, 2024 21:59 1m 40s
Simplify: add AssertSimplified; don't export SimplifyStep Nix #13: Commit ea69dec pushed by raehik
October 11, 2024 21:56 1m 59s main
main
October 11, 2024 21:56 1m 59s
clean up simplification tests, now very pretty Nix #12: Commit 348a676 pushed by raehik
October 11, 2024 21:43 3m 1s main
main
October 11, 2024 21:43 3m 1s
start adding type-level simplification tests Nix #11: Commit 7b5943a pushed by raehik
October 11, 2024 19:48 3m 9s main
main
October 11, 2024 19:48 3m 9s
Simplify: +TrySimplify; tweak modules Nix #10: Commit b706e55 pushed by raehik
October 11, 2024 19:01 1m 54s main
main
October 11, 2024 19:01 1m 54s
release 0.7.0 Nix #9: Commit 5e52d21 pushed by raehik
October 11, 2024 02:21 1m 40s v0.7.0
v0.7.0
October 11, 2024 02:21 1m 40s
release 0.7.0 Nix #8: Commit 5e52d21 pushed by raehik
October 11, 2024 02:21 1m 40s main
main
October 11, 2024 02:21 1m 40s
Simplify: tweak interface Nix #7: Commit 68c5e73 pushed by raehik
October 11, 2024 01:15 1m 59s main
main
October 11, 2024 01:15 1m 59s
update changelog Nix #6: Commit 7896751 pushed by raehik
October 10, 2024 21:36 23m 2s main
main
October 10, 2024 21:36 23m 2s
update changelog Nix #5: Commit 0c3da55 pushed by raehik
October 10, 2024 21:28 2m 4s simplify
simplify
October 10, 2024 21:28 2m 4s
add predicate simplifier Nix #4: Commit 3cb9e93 pushed by raehik
October 10, 2024 21:15 2m 53s simplify
simplify
October 10, 2024 21:15 2m 53s
start on predicate simplifier Nix #3: Commit 08c7d63 pushed by raehik
October 10, 2024 15:51 23m 23s simplify
simplify
October 10, 2024 15:51 23m 23s
release 0.6.0 Nix #2: Commit a1df4c1 pushed by raehik
October 1, 2024 15:33 23m 36s v0.6.0
v0.6.0
October 1, 2024 15:33 23m 36s
release 0.6.0 Nix #1: Commit a1df4c1 pushed by raehik
October 1, 2024 15:33 23m 52s main
main
October 1, 2024 15:33 23m 52s