Skip to content

Actions: obsidiansystems/vessel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #26 from obsidiansystems/9.10 github-action #140: Commit 5e0dfd3 pushed by alexfmpe
October 7, 2024 03:23 2h 34m 45s develop
develop
October 7, 2024 03:23 2h 34m 45s
GHC 9.10, and fix warnings github-action #139: Pull request #26 synchronize by Ericson2314
October 4, 2024 03:40 1m 26s 9.10
9.10
October 4, 2024 03:40 1m 26s
Merge remote-tracking branch 'origin/develop' into 9.10 github-action #138: Commit cc81991 pushed by Ericson2314
October 4, 2024 03:40 1h 51m 55s 9.10
9.10
October 4, 2024 03:40 1h 51m 55s
Merge pull request #27 from obsidiansystems/9.8 github-action #137: Commit cc6e4b1 pushed by Ericson2314
October 4, 2024 01:34 1h 35m 8s develop
develop
October 4, 2024 01:34 1h 35m 8s
Merge branch '9.8' into pzp github-action #136: Commit 1533473 pushed by Ericson2314
October 2, 2024 06:12 6m 0s pzp
pzp
October 2, 2024 06:12 6m 0s
CI GHC through 9.8 github-action #135: Pull request #27 opened by Ericson2314
October 2, 2024 06:09 2h 43m 16s 9.8
9.8
October 2, 2024 06:09 2h 43m 16s
CI GHC through 9.8 github-action #134: Commit 5815e41 pushed by Ericson2314
October 2, 2024 06:09 1h 41m 30s 9.8
9.8
October 2, 2024 06:09 1h 41m 30s
GHC 9.10, and fix warnings github-action #133: Pull request #26 synchronize by Ericson2314
October 2, 2024 06:05 1m 0s 9.10
9.10
October 2, 2024 06:05 1m 0s
Bump some bounds github-action #132: Commit 9bff369 pushed by Ericson2314
October 2, 2024 06:05 53s 9.10
9.10
October 2, 2024 06:05 53s
GHC 9.10, and fix warnings github-action #131: Pull request #26 opened by Ericson2314
October 2, 2024 05:57 54s 9.10
9.10
October 2, 2024 05:57 54s
Remove useless mappend defs, fixing warnings github-action #130: Commit d03a416 pushed by Ericson2314
October 2, 2024 05:57 56s 9.10
9.10
October 2, 2024 05:57 56s
Merge pull request #25 from alexfmpe/ghc-9.8 github-action #129: Commit 4e908a3 pushed by Ericson2314
October 2, 2024 05:37 21m 29s develop
develop
October 2, 2024 05:37 21m 29s
Build with 9.8 github-action #128: Pull request #25 opened by alexfmpe
June 28, 2024 17:26 22m 41s alexfmpe:ghc-9.8
alexfmpe:ghc-9.8
June 28, 2024 17:26 22m 41s
Loosen reflex bounds github-action #127: Commit a0eafdd pushed by ali-abrar
December 28, 2023 20:18 17m 29s v0.3.0.0-r1
v0.3.0.0-r1
December 28, 2023 20:18 17m 29s
Add some more functions for mapping over vessels github-action #126: Commit a0c70db pushed by ryantrinkle
October 20, 2023 15:45 19m 38s develop
develop
October 20, 2023 15:45 19m 38s
Enable/disable flag for tutorial build github-action #125: Commit 6b82544 pushed by ali-abrar
August 16, 2023 01:41 22m 3s develop
develop
August 16, 2023 01:41 22m 3s
Loosen reflex bounds github-action #124: Commit a0eafdd pushed by ali-abrar
August 15, 2023 18:36 22m 54s develop
develop
August 15, 2023 18:36 22m 54s
Bump reflex version bound github-action #123: Commit ac09696 pushed by ryantrinkle
August 5, 2023 18:34 12m 56s pzp
pzp
August 5, 2023 18:34 12m 56s
Merge branch 'develop' into pzp github-action #122: Commit 9a8cd83 pushed by ryantrinkle
August 5, 2023 17:33 17m 30s pzp
pzp
August 5, 2023 17:33 17m 30s