Skip to content

Actions: alt-romes/hegg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump containers bounds Haskell-CI #303: Commit 153fa7d pushed by alt-romes
May 3, 2024 06:56 3m 10s master
master
May 3, 2024 06:56 3m 10s
Invariants: fix incomplete pattern match warning Haskell-CI #302: Commit e124cb2 pushed by alt-romes
November 24, 2023 09:56 3m 12s master
master
November 24, 2023 09:56 3m 12s
Invariants: fix incomplete pattern match warning Build GraphViz Module #2: Pull request #33 opened by NadiaYvette
November 23, 2023 18:58 4m 35s NadiaYvette:nadia.chambers/incomplete-pattern-warning-001
NadiaYvette:nadia.chambers/incomplete-pattern-warning-001
November 23, 2023 18:58 4m 35s
Invariants: fix incomplete pattern match warning Haskell-CI #301: Pull request #33 opened by NadiaYvette
November 23, 2023 18:58 3m 11s NadiaYvette:nadia.chambers/incomplete-pattern-warning-001
NadiaYvette:nadia.chambers/incomplete-pattern-warning-001
November 23, 2023 18:58 3m 11s
Update README wrt modifyA Haskell-CI #300: Commit 68e6b21 pushed by alt-romes
October 31, 2023 16:37 3m 53s master
master
October 31, 2023 16:37 3m 53s
Update Changelog and release 0.5 Haskell-CI #299: Commit 0193c2d pushed by alt-romes
October 31, 2023 16:23 4m 38s v0.5.0.0
v0.5.0.0
October 31, 2023 16:23 4m 38s
Update Changelog and release 0.5 Haskell-CI #298: Commit 0193c2d pushed by alt-romes
October 31, 2023 16:22 4m 32s master
master
October 31, 2023 16:22 4m 32s
Update Changelog and release 0.5 Haskell-CI #297: Commit 6bf8db9 pushed by alt-romes
October 31, 2023 16:20 5m 29s v0.5.0.0
v0.5.0.0
October 31, 2023 16:20 5m 29s
Improve and fix benchmarking suite Haskell-CI #296: Commit bb601ab pushed by alt-romes
October 31, 2023 16:19 1d 6h 49m 43s indexed-base-functors
indexed-base-functors
October 31, 2023 16:19 1d 6h 49m 43s
Update Changelog and release 0.5 Haskell-CI #295: Commit 6bf8db9 pushed by alt-romes
October 31, 2023 16:19 3m 58s master
master
October 31, 2023 16:19 3m 58s
Change Analysis 'modify' to operate over e-graphs (more flexible) Haskell-CI #294: Commit b7f210c pushed by alt-romes
October 31, 2023 13:26 4m 24s master
master
October 31, 2023 13:26 4m 24s
Fix testsuite warnings Haskell-CI #293: Commit c3a3c88 pushed by alt-romes
October 31, 2023 10:50 3m 59s master
master
October 31, 2023 10:50 3m 59s
Compatibility with base 4.20 Haskell-CI #292: Commit 6686d21 pushed by alt-romes
October 31, 2023 10:04 3m 52s master
master
October 31, 2023 10:04 3m 52s
Remove incorrect test Haskell-CI #291: Commit 240d7df pushed by alt-romes
October 30, 2023 18:47 3m 42s master
master
October 30, 2023 18:47 3m 42s
Remove incorrect test Haskell-CI #290: Commit ae48ade pushed by alt-romes
October 29, 2023 20:12 4m 2s master
master
October 29, 2023 20:12 4m 2s
Fix warnings in Data.Equality.Graph.Dot Haskell-CI #289: Commit 49229d1 pushed by alt-romes
October 22, 2023 20:05 3m 37s master
master
October 22, 2023 20:05 3m 37s
Make the Data.Equality.Graph.Dot module compile again Build GraphViz Module #1: Pull request #31 opened by BinderDavid
October 22, 2023 19:00 6m 1s BinderDavid:fix-graphviz
BinderDavid:fix-graphviz
October 22, 2023 19:00 6m 1s
Make the Data.Equality.Graph.Dot module compile again Haskell-CI #288: Pull request #31 opened by BinderDavid
October 22, 2023 19:00 4m 28s BinderDavid:fix-graphviz
BinderDavid:fix-graphviz
October 22, 2023 19:00 4m 28s
Fix "cabal check" warnings Haskell-CI #287: Commit 8d96216 pushed by alt-romes
October 22, 2023 15:58 5m 8s master
master
October 22, 2023 15:58 5m 8s
Fix "cabal check" warnings Haskell-CI #286: Pull request #30 opened by BinderDavid
October 22, 2023 12:15 5m 1s BinderDavid:fix-cabal-check
BinderDavid:fix-cabal-check
October 22, 2023 12:15 5m 1s
Small refactor on eqsat impl Haskell-CI #285: Commit dc97abb pushed by alt-romes
September 17, 2023 13:51 4m 56s master
master
September 17, 2023 13:51 4m 56s
Drop the Language instance from README.md Haskell-CI #284: Commit 1d84914 pushed by alt-romes
August 16, 2023 16:48 4m 22s master
master
August 16, 2023 16:48 4m 22s
Correct typo in README Haskell-CI #283: Commit 12be9df pushed by alt-romes
August 16, 2023 16:41 4m 36s master
master
August 16, 2023 16:41 4m 36s
Correct typo in README Haskell-CI #282: Pull request #27 opened by ocharles
August 16, 2023 16:32 3m 49s ocharles:ocharles-patch-1
ocharles:ocharles-patch-1
August 16, 2023 16:32 3m 49s
Fix cabal bounds and disallow 9.0 Haskell-CI #281: Commit 7e75faa pushed by alt-romes
August 11, 2023 23:21 3m 57s master
master
August 11, 2023 23:21 3m 57s