Skip to content

Actions: raehik/strongweak

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add note that SWCoercibly incurs UndecInsts Nix #23: Commit 5d03bda pushed by raehik
October 17, 2024 12:28 2m 27s main
main
October 17, 2024 12:28 2m 27s
rename WeakenN -> SWChain, move & export internals Nix #22: Commit f783d16 pushed by raehik
October 17, 2024 11:55 2m 6s main
main
October 17, 2024 11:55 2m 6s
release 0.11.0 Nix #21: Commit 35831d7 pushed by raehik
October 17, 2024 03:31 2m 27s v0.11.0
v0.11.0
October 17, 2024 03:31 2m 27s
release 0.11.0 Nix #20: Commit 35831d7 pushed by raehik
October 17, 2024 03:31 2m 27s main
main
October 17, 2024 03:31 2m 27s
Strongweak.WeakenN: +Ord, Eq Nix #19: Commit fd746ff pushed by raehik
October 17, 2024 03:02 3m 34s main
main
October 17, 2024 03:02 3m 34s
Strongweak: re-export SWCoercibly Nix #18: Commit 71dad8b pushed by raehik
October 17, 2024 02:45 2m 29s main
main
October 17, 2024 02:45 2m 29s
tweak code, move things around a bit Nix #17: Commit a691d0f pushed by raehik
October 17, 2024 02:31 13m 16s main
main
October 17, 2024 02:31 13m 16s
Strongweak: re-export WeakenN, SWN Nix #16: Commit 9b40f0a pushed by raehik
October 16, 2024 23:10 14m 19s main
main
October 16, 2024 23:10 14m 19s
Strongweak.Generic: +GenericallySW0 Nix #15: Commit 6b470f9 pushed by raehik
October 16, 2024 22:57 16m 6s main
main
October 16, 2024 22:57 16m 6s
start cleaning up Nix #14: Commit 9259d0c pushed by raehik
October 16, 2024 20:56 17m 23s main
main
October 16, 2024 20:56 17m 23s
+SWChain for chaining strongweak ops; many tweaks Nix #13: Commit 5e63f2d pushed by raehik
October 16, 2024 19:43 18m 30s main
main
October 16, 2024 19:43 18m 30s
remove Tagged, add Coercibly Nix #12: Commit b21d39e pushed by raehik
October 15, 2024 19:53 19m 43s main
main
October 15, 2024 19:53 19m 43s
add Tagged instance for weakened "through" Nix #11: Commit 0b59ab1 pushed by raehik
October 15, 2024 16:07 21m 5s main
main
October 15, 2024 16:07 21m 5s
Nix Nix #10: by raehik
October 13, 2024 15:39 20m 44s v0.10.0
v0.10.0
October 13, 2024 15:39 20m 44s
fix a comment Nix #9: Commit 4d8cf90 pushed by raehik
October 13, 2024 15:39 20m 48s main
main
October 13, 2024 15:39 20m 48s
tweak readme Nix #8: Commit 9f8c985 pushed by raehik
October 12, 2024 15:22 23m 58s main
main
October 12, 2024 15:22 23m 58s
update changelog Nix #7: Commit 43e27aa pushed by raehik
October 12, 2024 15:17 21m 4s main
main
October 12, 2024 15:17 21m 4s
update rerefined dependency Nix #6: Commit 34d0037 pushed by raehik
October 12, 2024 15:16 21m 19s main
main
October 12, 2024 15:16 21m 19s
tweak package.yaml Nix #5: Commit e0ddad5 pushed by raehik
October 12, 2024 15:11 22m 59s main
main
October 12, 2024 15:11 22m 59s
rename Weak -> Weakened Nix #4: Commit f5488a5 pushed by raehik
October 11, 2024 23:41 25m 4s main
main
October 11, 2024 23:41 25m 4s
Nix Nix #3: by raehik
October 1, 2024 15:44 22m 48s v0.9.1
v0.9.1
October 1, 2024 15:44 22m 48s
update Nix flake Nix #2: Commit 74496ba pushed by raehik
October 1, 2024 15:43 23m 14s main
main
October 1, 2024 15:43 23m 14s
replace CI, just Nix now Nix #1: Commit 89dd52f pushed by raehik
October 1, 2024 15:27 24m 28s main
main
October 1, 2024 15:27 24m 28s
release 0.9.0 nix #31: Commit 78099d1 pushed by raehik
October 1, 2024 15:26 1m 19s v0.9.0
v0.9.0
October 1, 2024 15:26 1m 19s
release 0.9.0 Hackage artifacts #59: Commit 78099d1 pushed by raehik
October 1, 2024 15:26 12s main
main
October 1, 2024 15:26 12s