Skip to content

Actions: GaloisInc/language-bluespec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finalize 0.1 release
Haskell-CI #14: Commit d8c4f4d pushed by RyanGlScott
February 8, 2024 13:09 2m 25s v0.1
February 8, 2024 13:09 2m 25s
Finalize 0.1 release
Haskell-CI #13: Commit d8c4f4d pushed by RyanGlScott
February 8, 2024 13:08 3m 3s main
February 8, 2024 13:08 3m 3s
CI: Test up to GHC 9.8.1
Haskell-CI #12: Commit 0ed128d pushed by RyanGlScott
February 8, 2024 13:04 2m 23s main
February 8, 2024 13:04 2m 23s
Allow building with text-2.1.* (GHC 9.8)
Haskell-CI #11: Pull request #1 opened by RyanGlScott
February 8, 2024 12:59 2m 28s ghc-9.8
February 8, 2024 12:59 2m 28s
CI: Test up to GHC 9.8.1
Haskell-CI #10: Commit bbaf5e1 pushed by RyanGlScott
February 8, 2024 12:59 2m 40s ghc-9.8
February 8, 2024 12:59 2m 40s
Add Bluespec SystemVerilog pretty-printer
Haskell-CI #9: Commit b28c0ea pushed by RyanGlScott
January 28, 2024 16:59 2m 24s bsv
bsv
January 28, 2024 16:59 2m 24s
Add Bluespec SystemVerilog pretty-printer
Haskell-CI #8: Commit 97d8c8f pushed by RyanGlScott
January 14, 2024 01:58 2m 22s bsv
bsv
January 14, 2024 01:58 2m 22s