Skip to content

Actions: msakai/pseudo-boolean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow parsing general relational operator
build #80: Pull request #11 synchronize by msakai
March 22, 2024 16:31 3m 18s feature/any-relational-operator
March 22, 2024 16:31 3m 18s
improve test coverage a little
build #75: Commit 620a5d3 pushed by msakai
March 22, 2024 05:03 2m 35s master
March 22, 2024 05:03 2m 35s
Merge pull request #10 from msakai/feature/objective-type
build #74: Commit fe80308 pushed by msakai
March 21, 2024 22:50 2m 43s master
March 21, 2024 22:50 2m 43s
Allow parsing maximization problem
build #73: Pull request #10 synchronize by msakai
March 21, 2024 15:19 2m 45s feature/objective-type
March 21, 2024 15:19 2m 45s
Allow parsing maximization problem
build #71: Pull request #10 synchronize by msakai
March 21, 2024 14:29 2m 48s feature/objective-type
March 21, 2024 14:29 2m 48s
allow parsing maximization problem
build #70: Commit bcd4c48 pushed by msakai
March 21, 2024 14:29 3m 12s feature/objective-type
March 21, 2024 14:29 3m 12s
fix GitHub Actions badge on README.md
build #69: Commit d4f85bf pushed by msakai
March 20, 2024 16:07 2m 51s master
March 20, 2024 16:07 2m 51s
Allow parsing maximization problem
build #68: Pull request #10 opened by msakai
March 20, 2024 16:06 3m 25s feature/objective-type
March 20, 2024 16:06 3m 25s
allow parsing maximization problem
build #67: Commit 8068d46 pushed by msakai
March 20, 2024 16:05 2m 59s feature/objective-type
March 20, 2024 16:05 2m 59s
Merge branch 'drop-older-env'
build #66: Commit 58d52c9 pushed by msakai
March 17, 2024 23:44 2m 35s master
March 17, 2024 23:44 2m 35s
remove redundant imports
build #65: Commit a2e0b54 pushed by msakai
March 15, 2024 06:07 3m 22s drop-older-env
March 15, 2024 06:07 3m 22s
test against files for PB24 competition
build #63: Commit b2ded1a pushed by msakai
March 15, 2024 04:42 3m 5s master
March 15, 2024 04:42 3m 5s
build
build #62: by msakai
March 14, 2024 00:04 6m 16s master
March 14, 2024 00:04 6m 16s
update CHANGELOG.markdown
build #61: Commit 8d6c0ef pushed by msakai
March 14, 2024 00:01 21m 37s master
March 14, 2024 00:01 21m 37s
build
build #60: by msakai
March 14, 2024 00:01 2m 56s v0.1.11.0
March 14, 2024 00:01 2m 56s
bump version number to 0.1.11.0
build #59: Commit a913fea pushed by msakai
March 13, 2024 15:30 2m 53s master
March 13, 2024 15:30 2m 53s
Merge branch 'ci-system-ghc'
build #58: Commit 6e7227a pushed by msakai
March 13, 2024 14:54 9m 28s master
March 13, 2024 14:54 9m 28s
GitHub Actions: use system GHC to reduce cache size
build #57: Commit 7611f10 pushed by msakai
March 13, 2024 14:13 9m 14s ci-system-ghc
March 13, 2024 14:13 9m 14s
Merge branch 'update-ci-202403'
build #56: Commit e1144ca pushed by msakai
March 13, 2024 14:01 11m 4s master
March 13, 2024 14:01 11m 4s