Skip to content

Actions: marcellussiegburg/call-alloy

Actions

Haskell CI

Actions

Loading...
Loading

Showing runs from all workflows named Haskell CI
12 workflow run results
12 workflow run results
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix ci (#16) Haskell CI #54: Commit 750c4cf pushed by marcellussiegburg
April 24, 2024 16:59 23m 38s master
master
April 24, 2024 16:59 23m 38s
disable older ci builds Haskell CI #43: Commit c327b9c pushed by marcellussiegburg
April 24, 2024 14:07 7m 19s master
master
April 24, 2024 14:07 7m 19s
fix cabal package Haskell CI #42: Commit a0ec18e pushed by marcellussiegburg
April 24, 2024 12:19 2m 0s master
master
April 24, 2024 12:19 2m 0s
several minor fixes Haskell CI #41: Commit 69a568b pushed by marcellussiegburg
April 23, 2024 14:34 18m 44s master
master
April 23, 2024 14:34 18m 44s
bump version Haskell CI #40: Commit b640b41 pushed by marcellussiegburg
April 23, 2024 13:50 27m 37s master
master
April 23, 2024 13:50 27m 37s
bump version Haskell CI #39: Commit c6f5b87 pushed by marcellussiegburg
January 19, 2024 18:41 35m 12s master
master
January 19, 2024 18:41 35m 12s
Fix ci (#15) Haskell CI #38: Commit f79832d pushed by marcellussiegburg
January 19, 2024 18:31 30m 47s master
master
January 19, 2024 18:31 30m 47s
add flag for testing different SAT solvers (#14) Haskell CI #32: Commit 86a1ad4 pushed by marcellussiegburg
January 19, 2024 17:13 1m 3s master
master
January 19, 2024 17:13 1m 3s
mention defaulting to SAT4J Haskell CI #31: Commit 08dd70b pushed by marcellussiegburg
January 17, 2024 12:39 23m 45s master
master
January 17, 2024 12:39 23m 45s
Fix CI (#13) Haskell CI #30: Commit 92b057f pushed by marcellussiegburg
January 17, 2024 10:51 6h 6m 45s master
master
January 17, 2024 10:51 6h 6m 45s
fix CI Haskell CI #17: Commit c7d07ea pushed by marcellussiegburg
January 16, 2024 16:03 5m 34s master
master
January 16, 2024 16:03 5m 34s
bump version Haskell CI #16: Commit 44be771 pushed by marcellussiegburg
January 16, 2024 15:40 4m 43s master
master
January 16, 2024 15:40 4m 43s