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

GitHub Actions: update TPTP-v7.5.0.tgz URL Haskell CI #24: Pull request #41 opened by msakai
September 4, 2024 14:43 11m 0s fix-ci-tptp-url
fix-ci-tptp-url
September 4, 2024 14:43 11m 0s
GitHub Actions: TPTP-v7.5.0.tgz URL Haskell CI #23: Commit c773d94 pushed by msakai
September 4, 2024 14:43 11m 12s fix-ci-tptp-url
fix-ci-tptp-url
September 4, 2024 14:43 11m 12s
Merge pull request #40 from DanielSchuessler/update-ci-build-matrix-2… Haskell CI #22: Commit 209e488 pushed by msakai
September 4, 2024 14:40 4m 15s master
master
September 4, 2024 14:40 4m 15s
GitHub Actions: update build matrix Haskell CI #21: Pull request #40 synchronize by msakai
September 4, 2024 14:32 6m 32s update-ci-build-matrix-202409
update-ci-build-matrix-202409
September 4, 2024 14:32 6m 32s
GitHub Actions: update build matrix Haskell CI #20: Commit 6a7bb92 pushed by msakai
September 4, 2024 14:32 6m 11s update-ci-build-matrix-202409
update-ci-build-matrix-202409
September 4, 2024 14:32 6m 11s
GitHub Actions: update build matrix Haskell CI #19: Pull request #40 opened by msakai
September 4, 2024 14:31 4m 28s update-ci-build-matrix-202409
update-ci-build-matrix-202409
September 4, 2024 14:31 4m 28s
GitHub Actions: update build matrix Haskell CI #18: Commit 8f40ade pushed by msakai
September 4, 2024 14:30 4m 17s update-ci-build-matrix-202409
update-ci-build-matrix-202409
September 4, 2024 14:30 4m 17s