Skip to content

Actions: soficshift/ondim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README: overview of features.
Build #59: Commit f44b014 pushed by soficshift
July 6, 2024 22:00 3m 30s main
July 6, 2024 22:00 3m 30s
Improve README
Build #58: Commit 48b33cb pushed by soficshift
July 6, 2024 18:54 19m 23s main
July 6, 2024 18:54 19m 23s
re-add html-conduit bounds
Build #57: Commit 9aaea69 pushed by soficshift
May 10, 2024 20:31 15m 39s main
May 10, 2024 20:31 15m 39s
re-add html-conduit bounds
Build #56: Commit 9aaea69 pushed by soficshift
May 10, 2024 19:47 4m 34s st-experiment
May 10, 2024 19:47 4m 34s
unionmount 3.0
Build #55: Commit ae516e8 pushed by soficshift
May 10, 2024 19:27 14m 34s st-experiment
May 10, 2024 19:27 14m 34s
add emacs generated files to gitignore
Build #54: Commit 4032914 pushed by soficshift
May 10, 2024 18:11 3m 5s st-experiment
May 10, 2024 18:11 3m 5s
Remove unused language pragmas
Build #53: Commit acbda69 pushed by soficshift
April 30, 2024 21:36 8m 7s st-experiment
April 30, 2024 21:36 8m 7s
ondim-generic stub
Build #52: Commit 5c65f85 pushed by soficshift
April 30, 2024 21:32 8m 19s st-experiment
April 30, 2024 21:32 8m 19s
missing CHANGELOG files
Build #51: Commit e8a1918 pushed by soficshift
February 28, 2024 20:27 1h 22m 55s main
February 28, 2024 20:27 1h 22m 55s
Fix order of NamespaceMapM
Build #50: Commit bcd4a1a pushed by soficshift
February 28, 2024 20:24 1h 5m 19s main
February 28, 2024 20:24 1h 5m 19s
Haddocks (#18)
Build #49: Commit c26ad76 pushed by soficshift
February 16, 2024 03:34 46m 36s main
February 16, 2024 03:34 46m 36s
finish haddocks
Build #48: Commit 3e1d5dd pushed by soficshift
February 16, 2024 03:26 7m 30s haddocks
February 16, 2024 03:26 7m 30s
haddocks for Extra.Standard
Build #47: Commit ba85462 pushed by soficshift
February 16, 2024 01:17 5m 18s haddocks
February 16, 2024 01:17 5m 18s
ondim-latex: tbl bounds
Build #46: Commit 4741eb6 pushed by soficshift
February 15, 2024 23:24 4m 25s haddocks
February 15, 2024 23:24 4m 25s
fix upstream issues... *again*
Build #45: Commit 4f0517a pushed by soficshift
February 15, 2024 22:43 17m 44s haddocks
February 15, 2024 22:43 17m 44s
fix upstream issues... *again*
Build #44: Commit 02c8c9d pushed by soficshift
February 15, 2024 22:35 8m 37s haddocks
February 15, 2024 22:35 8m 37s
fix upstream issues... *again*
Build #43: Commit ba966b2 pushed by soficshift
February 15, 2024 22:26 5m 28s haddocks
February 15, 2024 22:26 5m 28s
fix upstream issues... *again*
Build #42: Commit 60f0f82 pushed by soficshift
February 15, 2024 22:25 1m 53s haddocks
February 15, 2024 22:25 1m 53s
fix upstream issues
Build #41: Commit 0673348 pushed by soficshift
February 15, 2024 22:21 4m 2s haddocks
February 15, 2024 22:21 4m 2s
improve haddocks
Build #40: Commit 50372c0 pushed by soficshift
February 15, 2024 22:07 21m 46s haddocks
February 15, 2024 22:07 21m 46s
progress
Build #39: Commit 754bcfd pushed by soficshift
February 15, 2024 21:22 49m 50s haddocks
February 15, 2024 21:22 49m 50s
allow mtl 2.2.2
Build #38: Commit b9347eb pushed by soficshift
February 15, 2024 16:03 28m 16s main
February 15, 2024 16:03 28m 16s
better names and haddocks
Build #37: Commit 80ad3e0 pushed by soficshift
February 15, 2024 15:50 8m 23s haddocks
February 15, 2024 15:50 8m 23s
allow mtl 2.2.2
Build #36: Commit b9347eb pushed by soficshift
February 15, 2024 15:49 10m 18s mtl-2.2.2
February 15, 2024 15:49 10m 18s
better names and haddocks
Build #35: Commit a8596d7 pushed by soficshift
February 15, 2024 14:45 40m 49s haddocks
February 15, 2024 14:45 40m 49s