Skip to content

Actions: ichistmeinname/free-theorems

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 #7 from alexfmpe/ghc-9.12 build #10: Commit d0fb032 pushed by ichistmeinname
February 28, 2025 10:23 8m 14s master
master
February 28, 2025 10:23 8m 14s
Bump outdated bounds build #9: Pull request #8 opened by alexfmpe
February 23, 2025 20:31 10m 28s alexfmpe:bump-bounds
alexfmpe:bump-bounds
February 23, 2025 20:31 10m 28s
Support GHC 9.12 build #8: Pull request #7 synchronize by alexfmpe
February 23, 2025 19:56 7m 55s alexfmpe:ghc-9.12
alexfmpe:ghc-9.12
February 23, 2025 19:56 7m 55s
Support GHC 9.12 build #7: Pull request #7 opened by alexfmpe
February 23, 2025 14:10 33s alexfmpe:ghc-9.12
alexfmpe:ghc-9.12
February 23, 2025 14:10 33s