Skip to content

Actions: pa-ba/compdata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #40 from andreasabel/loosen-bounds
CI #7: Commit e916a9a pushed by pa-ba
October 20, 2023 15:35 6m 4s master
October 20, 2023 15:35 6m 4s
fix upper bound for base
CI #5: Commit b0aa3a2 pushed by pa-ba
October 16, 2023 17:21 9m 59s master
October 16, 2023 17:21 9m 59s
compatibility with GHC 9.8
CI #4: Commit 6fd989a pushed by pa-ba
October 16, 2023 17:09 3m 57s master
October 16, 2023 17:09 3m 57s