Skip to content

Actions: DanielSchuessler/logic-TPTP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tidy up changelog.markdown Haskell CI #49: Commit b28c7b6 pushed by msakai
November 10, 2024 00:27 10m 6s v0.6.0.0
v0.6.0.0
November 10, 2024 00:27 10m 6s
tidy up changelog.markdown Haskell CI #48: Commit b28c7b6 pushed by msakai
November 9, 2024 06:15 9m 55s master
master
November 9, 2024 06:15 9m 55s
Merge pull request #47 from msakai/feature/comment-as-writer Haskell CI #47: Commit fa0e5ac pushed by msakai
November 9, 2024 06:13 11m 7s master
master
November 9, 2024 06:13 11m 7s
Use Writer monad instead of State to annotate comments Haskell CI #46: Pull request #47 synchronize by msakai
November 9, 2024 05:37 10m 10s msakai:feature/comment-as-writer
msakai:feature/comment-as-writer
November 9, 2024 05:37 10m 10s
Use Writer monad instead of State to annotate comments Haskell CI #45: Pull request #47 opened by msakai
November 9, 2024 05:22 10m 29s msakai:feature/comment-as-writer
msakai:feature/comment-as-writer
November 9, 2024 05:22 10m 29s
Merge pull request #39 from msakai/prettyprinter Haskell CI #44: Commit b02af74 pushed by msakai
November 9, 2024 05:08 10m 21s master
master
November 9, 2024 05:08 10m 21s
Migrate to prettyprinter package family from ansi-wl-pprint package Haskell CI #43: Pull request #39 synchronize by msakai
November 9, 2024 04:53 11m 25s msakai:prettyprinter
msakai:prettyprinter
November 9, 2024 04:53 11m 25s
Migrate to prettyprinter package family from ansi-wl-pprint package Haskell CI #42: Pull request #39 synchronize by msakai
November 9, 2024 01:21 10m 6s msakai:prettyprinter
msakai:prettyprinter
November 9, 2024 01:21 10m 6s
Merge pull request #46 from msakai/remove-unnecessary-imports Haskell CI #41: Commit 6ac3557 pushed by msakai
November 9, 2024 01:03 10m 8s master
master
November 9, 2024 01:03 10m 8s
Remove some unnecessary imports to suppress warnings Haskell CI #40: Pull request #46 opened by msakai
November 9, 2024 00:52 10m 4s msakai:remove-unnecessary-imports
msakai:remove-unnecessary-imports
November 9, 2024 00:52 10m 4s
Merge pull request #45 from msakai/update-tptp-url Haskell CI #39: Commit d41c47c pushed by msakai
November 9, 2024 00:22 10m 22s master
master
November 9, 2024 00:22 10m 22s
Merge pull request #44 from msakai/remove-cpp Haskell CI #38: Commit cacc6ba pushed by msakai
November 8, 2024 23:57 10m 47s master
master
November 8, 2024 23:57 10m 47s
Update URL of TPTP website Haskell CI #37: Pull request #45 opened by msakai
November 8, 2024 23:50 10m 41s msakai:update-tptp-url
msakai:update-tptp-url
November 8, 2024 23:50 10m 41s
Remove unnecessary CPP Haskell CI #36: Pull request #44 opened by msakai
November 8, 2024 23:38 11m 2s msakai:remove-cpp
msakai:remove-cpp
November 8, 2024 23:38 11m 2s
Merge pull request #43 from msakai/drop-transformers-less-than-0.5 Haskell CI #35: Commit d17a192 pushed by msakai
October 23, 2024 14:04 11m 5s master
master
October 23, 2024 14:04 11m 5s
Stop supporting transformers <0.5 Haskell CI #34: Pull request #43 opened by msakai
October 10, 2024 00:05 10m 31s msakai:drop-transformers-less-than-0.5
msakai:drop-transformers-less-than-0.5
October 10, 2024 00:05 10m 31s
Merge pull request #42 from msakai/drop-ghc-less-than-7.10 Haskell CI #33: Commit ebb4f73 pushed by msakai
September 17, 2024 03:35 11m 15s master
master
September 17, 2024 03:35 11m 15s
Drop GHC <7.10 support Haskell CI #32: Pull request #42 synchronize by msakai
September 16, 2024 14:38 10m 11s msakai:drop-ghc-less-than-7.10
msakai:drop-ghc-less-than-7.10
September 16, 2024 14:38 10m 11s
use per-instance OVERLAPS pragma instead of OverlappingInstances exte… Haskell CI #31: Commit 3862ddc pushed by msakai
September 16, 2024 14:37 11m 17s drop-ghc-less-than-7.10
drop-ghc-less-than-7.10
September 16, 2024 14:37 11m 17s
Drop GHC <7.10 support Haskell CI #30: Pull request #42 opened by msakai
September 16, 2024 14:22 11m 4s msakai:drop-ghc-less-than-7.10
msakai:drop-ghc-less-than-7.10
September 16, 2024 14:22 11m 4s
bump version to 0.5.1.0 and update changelog.markdown Haskell CI #29: Commit 3141a43 pushed by msakai
September 4, 2024 15:12 15m 9s v0.5.1.0
v0.5.1.0
September 4, 2024 15:12 15m 9s
Haskell CI Haskell CI #28: by msakai
September 4, 2024 15:10 11m 52s master
master
September 4, 2024 15:10 11m 52s
Merge pull request #41 from DanielSchuessler/fix-ci-tptp-url Haskell CI #27: Commit c5c0b72 pushed by msakai
September 4, 2024 15:09 11m 6s master
master
September 4, 2024 15:09 11m 6s
GitHub Actions: update TPTP-v7.5.0.tgz URL Haskell CI #26: Pull request #41 synchronize by msakai
September 4, 2024 14:58 12m 28s fix-ci-tptp-url
fix-ci-tptp-url
September 4, 2024 14:58 12m 28s
GitHub Actions: update TPTP-v7.5.0.tgz URL Haskell CI #25: Commit 87b6d02 pushed by msakai
September 4, 2024 14:58 10m 19s fix-ci-tptp-url
fix-ci-tptp-url
September 4, 2024 14:58 10m 19s