Skip to content

Actions: swarm-game/swarm

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
haskell-ci.yml
2,065 workflow runs
2,065 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

eliminate remaining Cell dependence in structure recognizer Haskell-CI #5899: Pull request #2114 synchronize by kostmo
August 13, 2024 07:17 14m 18s feature/improve-recognition-logging
feature/improve-recognition-logging
August 13, 2024 07:17 14m 18s
eliminate remaining Cell dependence in structure recognizer Haskell-CI #5898: Pull request #2114 synchronize by kostmo
August 13, 2024 07:10 15m 2s feature/improve-recognition-logging
feature/improve-recognition-logging
August 13, 2024 07:10 15m 2s
eliminate remaining Cell dependence in structure recognizer Haskell-CI #5897: Pull request #2114 opened by kostmo
August 13, 2024 03:32 14m 56s feature/improve-recognition-logging
feature/improve-recognition-logging
August 13, 2024 03:32 14m 56s
More generic structure recognition (#2112) Haskell-CI #5896: Commit f409aca pushed by mergify bot
August 12, 2024 20:10 15m 0s main
main
August 12, 2024 20:10 15m 0s
More generic structure recognition Haskell-CI #5895: Pull request #2112 synchronize by kostmo
August 12, 2024 19:55 14m 41s expermiental/refine-recognizer-api-more
expermiental/refine-recognizer-api-more
August 12, 2024 19:55 14m 41s
More generic structure recognition Haskell-CI #5894: Pull request #2112 synchronize by kostmo
August 12, 2024 19:20 14m 42s expermiental/refine-recognizer-api-more
expermiental/refine-recognizer-api-more
August 12, 2024 19:20 14m 42s
More generic structure recognition Haskell-CI #5893: Pull request #2112 synchronize by kostmo
August 12, 2024 06:12 14m 41s expermiental/refine-recognizer-api-more
expermiental/refine-recognizer-api-more
August 12, 2024 06:12 14m 41s
More generic structure recognition Haskell-CI #5892: Pull request #2112 synchronize by kostmo
August 12, 2024 06:03 14m 31s expermiental/refine-recognizer-api-more
expermiental/refine-recognizer-api-more
August 12, 2024 06:03 14m 31s
More generic structure recognition Haskell-CI #5891: Pull request #2112 synchronize by kostmo
August 12, 2024 05:50 14m 55s expermiental/refine-recognizer-api-more
expermiental/refine-recognizer-api-more
August 12, 2024 05:50 14m 55s
More generic structure recognition Haskell-CI #5890: Pull request #2112 synchronize by kostmo
August 12, 2024 05:30 14m 31s expermiental/refine-recognizer-api-more
expermiental/refine-recognizer-api-more
August 12, 2024 05:30 14m 31s
More generic structure recognition Haskell-CI #5889: Pull request #2112 opened by kostmo
August 12, 2024 03:59 14m 27s expermiental/refine-recognizer-api-more
expermiental/refine-recognizer-api-more
August 12, 2024 03:59 14m 27s
[EXPERIMENTAL] new zoom function Haskell-CI #5888: Pull request #2110 opened by kostmo
August 11, 2024 22:23 7m 16s experimental/refine-recognizer-api
experimental/refine-recognizer-api
August 11, 2024 22:23 7m 16s
Reply to Web API run with result Haskell-CI #5887: Pull request #2108 synchronize by xsebek
August 11, 2024 17:27 14m 22s task/xsebek/web-repl-reply
task/xsebek/web-repl-reply
August 11, 2024 17:27 14m 22s
Reply to Web API run with result Haskell-CI #5886: Pull request #2108 synchronize by xsebek
August 11, 2024 16:55 14m 15s task/xsebek/web-repl-reply
task/xsebek/web-repl-reply
August 11, 2024 16:55 14m 15s
Reply to Web API run with result Haskell-CI #5885: Pull request #2108 synchronize by xsebek
August 11, 2024 16:54 14m 40s task/xsebek/web-repl-reply
task/xsebek/web-repl-reply
August 11, 2024 16:54 14m 40s
Reply to Web API run with result Haskell-CI #5884: Pull request #2108 opened by xsebek
August 11, 2024 16:53 14m 42s task/xsebek/web-repl-reply
task/xsebek/web-repl-reply
August 11, 2024 16:53 14m 42s
Update integer list example (#2103) Haskell-CI #5883: Commit e031863 pushed by mergify bot
August 9, 2024 20:22 14m 36s main
main
August 9, 2024 20:22 14m 36s
Update integer list example Haskell-CI #5882: Pull request #2103 synchronize by mergify bot
August 9, 2024 20:07 14m 21s task/xsebek/integer-list
task/xsebek/integer-list
August 9, 2024 20:07 14m 21s
Update integer list example Haskell-CI #5881: Pull request #2103 synchronize by xsebek
August 9, 2024 19:52 14m 36s task/xsebek/integer-list
task/xsebek/integer-list
August 9, 2024 19:52 14m 36s
Only check for escaped skolem variables among those just generated (#… Haskell-CI #5880: Commit 164acf8 pushed by mergify bot
August 9, 2024 19:39 14m 27s main
main
August 9, 2024 19:39 14m 27s
Only check for escaped skolem variables among those just generated Haskell-CI #5879: Pull request #2104 opened by byorgey
August 9, 2024 17:08 14m 23s fix-skolem-check
fix-skolem-check
August 9, 2024 17:08 14m 23s
Update integer list example Haskell-CI #5878: Pull request #2103 opened by xsebek
August 9, 2024 17:08 14m 40s task/xsebek/integer-list
task/xsebek/integer-list
August 9, 2024 17:08 14m 40s
Put end on separate line when pretty printing definitions (#2100) Haskell-CI #5877: Commit 6d1027c pushed by mergify bot
August 9, 2024 15:23 14m 21s main
main
August 9, 2024 15:23 14m 21s
Put end on separate line when pretty printing definitions Haskell-CI #5876: Pull request #2100 opened by xsebek
August 9, 2024 15:05 15m 19s fix/xsebek/def-end-pretty
fix/xsebek/def-end-pretty
August 9, 2024 15:05 15m 19s
Replace ReadableIORef with IO (#2098) Haskell-CI #5875: Commit f82a544 pushed by mergify bot
August 8, 2024 20:49 15m 16s main
main
August 8, 2024 20:49 15m 16s