Skip to content

Actions: msakai/pseudo-boolean

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #16 from msakai/updata-ci-202408 build #105: Commit 5544c02 pushed by msakai
August 25, 2024 11:43 6m 42s master
master
August 25, 2024 11:43 6m 42s
Update CI configurations (2024-08) build #104: Pull request #16 synchronize by msakai
August 25, 2024 11:17 6m 37s updata-ci-202408
updata-ci-202408
August 25, 2024 11:17 6m 37s
Update CI configurations (2024-08) build #103: Pull request #16 opened by msakai
August 25, 2024 11:16 6m 29s updata-ci-202408
updata-ci-202408
August 25, 2024 11:16 6m 29s
GitHub Actions: update build matrix build #102: Commit 734697f pushed by msakai
August 25, 2024 11:15 6m 40s updata-ci-202408
updata-ci-202408
August 25, 2024 11:15 6m 40s
relax upper bounds for allowing base-4.20 (GHC-9.10.*), hashable-1.5.… build #101: Commit 49c5fc4 pushed by msakai
August 25, 2024 08:48 3m 16s master
master
August 25, 2024 08:48 3m 16s
Merge pull request #15 from msakai/cache-key-cabal-hash build #100: Commit bc8b535 pushed by msakai
August 24, 2024 14:48 6m 31s master
master
August 24, 2024 14:48 6m 31s
Merge pull request #14 from msakai/stack-config-set-system-ghc build #99: Commit 1d65701 pushed by msakai
August 24, 2024 14:45 6m 38s master
master
August 24, 2024 14:45 6m 38s
GitHub Actions: include hash of cabal file in the key for actions/cache build #98: Pull request #15 opened by msakai
August 23, 2024 14:59 6m 35s cache-key-cabal-hash
cache-key-cabal-hash
August 23, 2024 14:59 6m 35s
GitHub Actions: include hash of cabal file in the key for actions/cache build #97: Commit 4371b5d pushed by msakai
August 23, 2024 14:59 6m 58s cache-key-cabal-hash
cache-key-cabal-hash
August 23, 2024 14:59 6m 58s
GitHub Actions: use 'stack config' command for setting system-ghc configuration build #96: Pull request #14 opened by msakai
August 23, 2024 14:47 6m 37s stack-config-set-system-ghc
stack-config-set-system-ghc
August 23, 2024 14:47 6m 37s
GitHub Actions: use 'stack config' command for setting system-ghc con… build #95: Commit 358dfdd pushed by msakai
August 23, 2024 14:44 6m 44s stack-config-set-system-ghc
stack-config-set-system-ghc
August 23, 2024 14:44 6m 44s
Merge pull request #13 from msakai/update-actions-202405 build #94: Commit 1e6533a pushed by msakai
July 4, 2024 23:27 6m 52s master
master
July 4, 2024 23:27 6m 52s
GitHub Actions: Update actions build #93: Pull request #13 opened by msakai
May 20, 2024 23:26 6m 30s update-actions-202405
update-actions-202405
May 20, 2024 23:26 6m 30s
GitHub Actions: update actions build #92: Commit 1378cbc pushed by msakai
May 20, 2024 23:25 6m 34s update-actions-202405
update-actions-202405
May 20, 2024 23:25 6m 34s
Support model counting and model enumeration build #91: Pull request #12 opened by msakai
May 20, 2024 15:24 7m 29s feature/model-counting-and-enumeration
feature/model-counting-and-enumeration
May 20, 2024 15:24 7m 29s
support model counting and model enumeration build #90: Commit 9eb359c pushed by msakai
May 20, 2024 15:24 7m 21s feature/model-counting-and-enumeration
feature/model-counting-and-enumeration
May 20, 2024 15:24 7m 21s
Merge pull request #11 from msakai/feature/any-relational-operator build #89: Commit 3272a6b pushed by msakai
March 26, 2024 03:09 2m 44s feature/model-counting-and-enumeration
feature/model-counting-and-enumeration
March 26, 2024 03:09 2m 44s
Merge pull request #11 from msakai/feature/any-relational-operator build #88: Commit 3272a6b pushed by msakai
March 24, 2024 03:18 2m 42s master
master
March 24, 2024 03:18 2m 42s
Allow parsing general relational operator build #87: Pull request #11 synchronize by msakai
March 23, 2024 16:07 3m 2s feature/any-relational-operator
feature/any-relational-operator
March 23, 2024 16:07 3m 2s
update CHANGELOG.markdown build #86: Commit 54e5e70 pushed by msakai
March 23, 2024 16:07 3m 40s feature/any-relational-operator
feature/any-relational-operator
March 23, 2024 16:07 3m 40s
Allow parsing general relational operator build #85: Pull request #11 synchronize by msakai
March 23, 2024 12:37 2m 45s feature/any-relational-operator
feature/any-relational-operator
March 23, 2024 12:37 2m 45s
fix label for unicode relational operator build #84: Commit 9fb36d4 pushed by msakai
March 23, 2024 12:37 3m 7s feature/any-relational-operator
feature/any-relational-operator
March 23, 2024 12:37 3m 7s
update .gitignore build #83: Commit 3349efa pushed by msakai
March 23, 2024 12:21 3m 12s master
master
March 23, 2024 12:21 3m 12s
Allow parsing general relational operator build #82: Pull request #11 synchronize by msakai
March 23, 2024 12:18 6m 37s feature/any-relational-operator
feature/any-relational-operator
March 23, 2024 12:18 6m 37s
allow parsing unicode relational operators build #81: Commit f1816b7 pushed by msakai
March 23, 2024 12:18 2m 38s feature/any-relational-operator
feature/any-relational-operator
March 23, 2024 12:18 2m 38s