Skip to content

Actions: codedownio/codedown-languages

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

hnls_update.sh actually works now codedown-languages #377: Commit fb8ce26 pushed by thomasjm
May 21, 2024 00:04 7m 34s main
main
May 21, 2024 00:04 7m 34s
hnls: 0.5.0.0, with perf improvements codedown-languages #376: Commit 5d55569 pushed by thomasjm
May 20, 2024 06:00 9m 23s main
main
May 20, 2024 06:00 9m 23s
Trying to debug timing codedown-languages #375: Commit db74eed pushed by thomasjm
May 18, 2024 10:21 32m 55s debug-timing
debug-timing
May 18, 2024 10:21 32m 55s
hnls: bump to 0.4.2.1 with better logging codedown-languages #374: Commit 386ae54 pushed by thomasjm
May 18, 2024 02:26 6h 0m 24s main
main
May 18, 2024 02:26 6h 0m 24s
Tweak noci codedown-languages #373: Commit 19aeeef pushed by thomasjm
May 18, 2024 01:53 24s debug-hnls
debug-hnls
May 18, 2024 01:53 24s
Debugging HNLS noci codedown-languages #372: Commit e14c6d0 pushed by thomasjm
May 18, 2024 01:51 24s debug-hnls
debug-hnls
May 18, 2024 01:51 24s
Consolidate codedown searchers into 1 codedown-languages #371: Commit 03e3053 pushed by thomasjm
May 17, 2024 23:08 11s consolidate-searchers
consolidate-searchers
May 17, 2024 23:08 11s
hnls: bump to provide super debugging output codedown-languages #370: Commit d31bd5e pushed by thomasjm
May 17, 2024 23:08 2h 1m 28s main
main
May 17, 2024 23:08 2h 1m 28s
hnls: bump to provide super debugging output codedown-languages #369: Commit b20ee8c pushed by thomasjm
May 17, 2024 23:08 58s consolidate-searchers
consolidate-searchers
May 17, 2024 23:08 58s
Consolidate codedown searchers into 1 codedown-languages #368: Commit 03e3053 pushed by thomasjm
May 16, 2024 21:52 6h 0m 28s consolidate-searchers
consolidate-searchers
May 16, 2024 21:52 6h 0m 28s
hnls: turn off extra logging codedown-languages #367: Commit 9098d47 pushed by thomasjm
May 16, 2024 11:22 6h 0m 25s main
main
May 16, 2024 11:22 6h 0m 25s
Merge branch 'bump-inputs-april-2024' codedown-languages #366: Commit 0aa4618 pushed by thomasjm
May 16, 2024 08:10 51m 55s main
main
May 16, 2024 08:10 51m 55s
codedown-languages codedown-languages #365: Manually run by thomasjm
May 14, 2024 10:25 57m 23s bump-inputs-april-2024
bump-inputs-april-2024
May 14, 2024 10:25 57m 23s
rust: fix tests under bubblewrap (rust-analyzer was causing cargo met… codedown-languages #364: Commit 9f77054 pushed by thomasjm
May 14, 2024 03:07 57m 12s bump-inputs-april-2024
bump-inputs-april-2024
May 14, 2024 03:07 57m 12s
ci: try splitting apart haskell tests codedown-languages #363: Commit f229a4c pushed by thomasjm
May 14, 2024 00:49 13m 51s bump-inputs-april-2024
bump-inputs-april-2024
May 14, 2024 00:49 13m 51s
Fix bash codedown-languages #362: Commit 8816a55 pushed by thomasjm
May 14, 2024 00:19 1h 0m 9s bump-inputs-april-2024
bump-inputs-april-2024
May 14, 2024 00:19 1h 0m 9s
Trying to finish kernel evaluation bwrap stuff codedown-languages #361: Commit 4515a22 pushed by thomasjm
May 12, 2024 02:47 36m 20s bump-inputs-april-2024
bump-inputs-april-2024
May 12, 2024 02:47 36m 20s
Be able to either use bwrap or not (closes #61) codedown-languages #360: Commit f300502 pushed by thomasjm
May 11, 2024 23:51 53m 41s bump-inputs-april-2024
bump-inputs-april-2024
May 11, 2024 23:51 53m 41s
bwrap is working codedown-languages #359: Commit f27716c pushed by thomasjm
May 11, 2024 23:14 31m 50s bump-inputs-april-2024
bump-inputs-april-2024
May 11, 2024 23:14 31m 50s
hls: try adding haskell section to initialization options codedown-languages #358: Commit 6235aae pushed by thomasjm
May 11, 2024 00:53 32m 46s bump-inputs-april-2024
bump-inputs-april-2024
May 11, 2024 00:53 32m 46s
Fix nixpkgs release in verify-default-nix codedown-languages #357: Commit 0548a51 pushed by thomasjm
May 10, 2024 20:34 34m 40s bump-inputs-april-2024
bump-inputs-april-2024
May 10, 2024 20:34 34m 40s
Turn off a couple HLS tests for GHC 9.8 until 2.8.0.0 codedown-languages #356: Commit 14ebaaa pushed by thomasjm
May 10, 2024 10:34 36m 55s bump-inputs-april-2024
bump-inputs-april-2024
May 10, 2024 10:34 36m 55s
Include GHC name in hnls store path codedown-languages #355: Commit 0d3c4fc pushed by thomasjm
May 7, 2024 21:49 1h 12m 20s bump-inputs-april-2024
bump-inputs-april-2024
May 7, 2024 21:49 1h 12m 20s
hnls: update to 0.3.2.0 noci codedown-languages #354: Commit fd18bfa pushed by thomasjm
May 7, 2024 20:56 24s bump-inputs-april-2024
bump-inputs-april-2024
May 7, 2024 20:56 24s
Better labels in Haskell/Diagnostics.hs noci codedown-languages #353: Commit 5fce42f pushed by thomasjm
May 6, 2024 22:15 24s bump-inputs-april-2024
bump-inputs-april-2024
May 6, 2024 22:15 24s