Skip to content

Actions: graphs4value/refinery

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
252 workflow runs
252 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build: automate GitHub pages deployment Build #281: Commit b076181 pushed by kris7t
June 23, 2024 16:59 8m 19s main
main
June 23, 2024 16:59 8m 19s
build: automate GitHub pages deployment Build #280: Commit d187e56 pushed by kris7t
June 23, 2024 16:48 8m 6s main
main
June 23, 2024 16:48 8m 6s
build: automate GitHub pages deployment Build #279: Commit 6d8af57 pushed by kris7t
June 23, 2024 16:39 8m 30s main
main
June 23, 2024 16:39 8m 30s
build: automate GitHub pages deployment Build #278: Commit b8eb255 pushed by kris7t
June 23, 2024 16:25 8m 54s main
main
June 23, 2024 16:25 8m 54s
build: automate GitHub pages deployment Build #277: Commit 97f4bf8 pushed by kris7t
June 23, 2024 16:16 8m 33s main
main
June 23, 2024 16:16 8m 33s
build: automate GitHub pages deployment Build #276: Commit b092be7 pushed by kris7t
June 23, 2024 16:16 22s main
main
June 23, 2024 16:16 22s
build: automate GitHub pages deployment Build #275: Commit 616f6d4 pushed by kris7t
June 23, 2024 16:14 Startup failure main
main
June 23, 2024 16:14 Startup failure
build: separate refinery-cli Docker image Build #274: Commit 2befbbc pushed by kris7t
June 23, 2024 14:55 8m 22s main
main
June 23, 2024 14:55 8m 22s
chore(deps): extract tools.refinery.z3 Build #273: Commit 9f70f39 pushed by kris7t
June 23, 2024 13:55 8m 25s main
main
June 23, 2024 13:55 8m 25s
refactor(dse): expose state coder parameters Build #272: Commit 1140488 pushed by kris7t
June 20, 2024 19:08 8m 26s main
main
June 20, 2024 19:08 8m 26s
refactor(logic): fix Sonar error Build #271: Commit e0beca7 pushed by kris7t
June 19, 2024 17:08 10m 35s main
main
June 19, 2024 17:08 10m 35s
refactor(logic): non-null aggregators Build #270: Commit ac4f28d pushed by kris7t
June 19, 2024 16:50 10m 22s main
main
June 19, 2024 16:50 10m 22s
refactor(logic): non-null aggregators Build #269: Commit b681055 pushed by kris7t
June 19, 2024 16:48 12m 21s main
main
June 19, 2024 16:48 12m 21s
Merge pull request #60 from kris7t/rules Build #267: Commit ac5b719 pushed by kris7t
June 17, 2024 14:47 17m 58s main
main
June 17, 2024 14:47 17m 58s
Refinement rule support Build #266: Pull request #60 opened by kris7t
June 17, 2024 14:35 11m 4s kris7t:rules
kris7t:rules
June 17, 2024 14:35 11m 4s
chore(deps): bump dependencies Build #265: Commit 1d9dcf1 pushed by kris7t
May 26, 2024 15:22 9m 38s main
main
May 26, 2024 15:22 9m 38s
chore(deps): bump node.js version Build #264: Commit 157d675 pushed by kris7t
May 16, 2024 17:05 11m 53s main
main
May 16, 2024 17:05 11m 53s
Fix aggregator batching for nullable aggregates Build #263: Pull request #59 opened by folmate
May 16, 2024 14:38 9m 9s folmate:main
folmate:main
May 16, 2024 14:38 9m 9s
chore(deps): bump dependencies Build #262: Commit e630374 pushed by kris7t
May 4, 2024 00:54 8m 7s main
main
May 4, 2024 00:54 8m 7s
chore(deps): bump dependencies Build #261: Commit 86574f6 pushed by kris7t
May 4, 2024 00:53 8m 25s main
main
May 4, 2024 00:53 8m 25s
feat(frontend): icon for error edges Build #260: Commit 9849856 pushed by kris7t
April 27, 2024 23:40 7m 48s main
main
April 27, 2024 23:40 7m 48s
rfactor(frontend): scroll to top on initialization Build #259: Commit f1fb147 pushed by kris7t
April 27, 2024 00:08 8m 15s main
main
April 27, 2024 00:08 8m 15s
fix(reasoning): default assertions for containment references Build #258: Commit b5085fa pushed by kris7t
April 26, 2024 18:49 8m 56s main
main
April 26, 2024 18:49 8m 56s
Merge pull request #58 from graphs4value/docs Build #257: Commit 2ef2233 pushed by kris7t
April 26, 2024 18:27 8m 44s main
main
April 26, 2024 18:27 8m 44s
Add documentation site with Docusaurus Build #256: Pull request #58 opened by kris7t
April 26, 2024 18:17 10m 0s docs
docs
April 26, 2024 18:17 10m 0s