Skip to content

Actions: tbidne/algebra-simple

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #64: by tbidne
February 7, 2025 02:07 38s gh-pages
gh-pages
February 7, 2025 02:07 38s
Add more unicode aliases ci #45: Commit 37ec712 pushed by tbidne
February 7, 2025 01:43 22m 13s main
main
February 7, 2025 01:43 22m 13s
Update bounds for GHC 9.12 ci #44: Commit 973852f pushed by tbidne
January 15, 2025 01:04 18m 12s main
main
January 15, 2025 01:04 18m 12s
pages build and deployment pages-build-deployment #63: by tbidne
December 27, 2024 11:36 35s gh-pages
gh-pages
December 27, 2024 11:36 35s
Use pat syn, make identity bidirectional ci #40: Commit 074ec81 pushed by tbidne
December 27, 2024 11:35 19m 23s main
main
December 27, 2024 11:35 19m 23s
pages build and deployment pages-build-deployment #62: by tbidne
December 27, 2024 11:33 36s gh-pages
gh-pages
December 27, 2024 11:33 36s
Use pat syn, make identity bidirectional ci #39: Commit 2c6855b pushed by tbidne
December 27, 2024 11:32 3m 40s main
main
December 27, 2024 11:32 3m 40s
pages build and deployment pages-build-deployment #61: by tbidne
December 27, 2024 11:24 38s gh-pages
gh-pages
December 27, 2024 11:24 38s
Add pattern synonyms tests ci #38: Commit abc117a pushed by tbidne
December 27, 2024 11:19 21m 3s main
main
December 27, 2024 11:19 21m 3s
Add pattern synonyms tests ci #37: Commit 6f4291a pushed by tbidne
December 27, 2024 11:12 21m 28s main
main
December 27, 2024 11:12 21m 28s
ci ci #36: Manually run by tbidne
December 27, 2024 07:32 20m 11s fixed
fixed
December 27, 2024 07:32 20m 11s
ci ci #35: Manually run by tbidne
December 27, 2024 05:42 19m 43s fixed
fixed
December 27, 2024 05:42 19m 43s
Fix warnings ci #34: Commit dad5424 pushed by tbidne
December 26, 2024 10:26 21m 33s main
main
December 26, 2024 10:26 21m 33s
pages build and deployment pages-build-deployment #60: by tbidne
December 26, 2024 10:19 34s gh-pages
gh-pages
December 26, 2024 10:19 34s
Add tests for Normed, MetricSpace, and MEuclidean ci #33: Commit 5ca1b2a pushed by tbidne
December 26, 2024 10:19 23m 52s main
main
December 26, 2024 10:19 23m 52s
Move Literal.X -> Convert.X ci #32: Commit fcbef32 pushed by tbidne
December 16, 2024 21:10 22m 54s main
main
December 16, 2024 21:10 22m 54s
ci ci #31: Manually run by tbidne
December 12, 2024 20:37 23m 39s convert
convert
December 12, 2024 20:37 23m 39s
Add Real conversion class ci #30: Commit 60e38a7 pushed by tbidne
December 9, 2024 22:01 21m 24s main
main
December 9, 2024 22:01 21m 24s
Add (from|to)(Z|Q) unicode aliases ci #29: Commit 1d75fbd pushed by tbidne
December 9, 2024 21:12 21m 33s main
main
December 9, 2024 21:12 21m 33s
Formatting, move language to common-lang ci #28: Commit f859048 pushed by tbidne
May 22, 2024 11:03 29m 31s main
main
May 22, 2024 11:03 29m 31s
Update nix ci #27: Commit dc37c03 pushed by tbidne
May 22, 2024 11:00 20m 39s main
main
May 22, 2024 11:00 20m 39s
Exclude bad osx/ghc versions from CI ci #26: Commit 405fc92 pushed by tbidne
May 21, 2024 21:53 22m 8s main
main
May 21, 2024 21:53 22m 8s
ci ci #25: Manually run by tbidne
May 21, 2024 21:29 19m 20s ghc910
ghc910
May 21, 2024 21:29 19m 20s
ci ci #24: Manually run by tbidne
May 21, 2024 21:11 8m 45s ghc910
ghc910
May 21, 2024 21:11 8m 45s
ci ci #23: Manually run by tbidne
May 20, 2024 03:46 13m 38s ghc910
ghc910
May 20, 2024 03:46 13m 38s