Skip to content

Actions: jayrabjohns/dissertation-refactoring-spcf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: upgrade version of GHC used in ci
Haskell CI #8: Commit e6f13aa pushed by jayrabjohns
March 19, 2024 10:50 3m 43s main
March 19, 2024 10:50 3m 43s
Representations for SPCF and Bounded SPCF as well as term evaluation
Haskell CI #7: Pull request #1 synchronize by jayrabjohns
March 19, 2024 10:46 3m 25s represent-spcf
March 19, 2024 10:46 3m 25s
Representations for SPCF and Bounded SPCF as well as term evaluation
Haskell CI #6: Pull request #1 synchronize by jayrabjohns
March 19, 2024 10:32 2m 43s represent-spcf
March 19, 2024 10:32 2m 43s
Representations for SPCF and Bounded SPCF as well as term evaluation
Haskell CI #5: Pull request #1 opened by jayrabjohns
March 19, 2024 09:50 2m 44s represent-spcf
March 19, 2024 09:50 2m 44s
chore: supplimentary ramblings in the readme
Haskell CI #4: Commit 4f80deb pushed by jayrabjohns
February 5, 2024 14:07 3m 8s main
February 5, 2024 14:07 3m 8s
feat: setup CI
Haskell CI #3: Commit f84e595 pushed by jayrabjohns
February 1, 2024 11:16 3m 28s main
February 1, 2024 11:16 3m 28s
feat: setup CI
Haskell CI #2: Commit 9220d08 pushed by jayrabjohns
February 1, 2024 11:11 17s main
February 1, 2024 11:11 17s
feat: setup CI
Haskell CI #1: Commit 0e40045 pushed by jayrabjohns
February 1, 2024 11:04 1m 46s main
February 1, 2024 11:04 1m 46s