Skip to content

Actions: KNowledgeOnWebScale/solid-cockpit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
138 workflow runs
138 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #50: by github-pages Bot
41s pages
pages
41s
Merge pull request #46 from KNowledgeOnWebScale/EDC_active Build and Deploy #112: Commit d231ce3 pushed by ecrum19
1m 52s main
main
1m 52s
trying to build and get z3-solver to work try 3 Build and Deploy #111: Pull request #46 opened by ecrum19
1m 54s EDC_active
EDC_active
1m 54s
pages build and deployment pages-build-deployment #49: by github-pages Bot
43s pages
pages
43s
pages build and deployment pages-build-deployment #48: by github-pages Bot
6s pages
pages
6s
Merge pull request #45 from KNowledgeOnWebScale/EDC_active Build and Deploy #110: Commit 4ba9b63 pushed by ecrum19
1m 49s main
main
1m 49s
trying to build and get z3-solver to work try 2 Build and Deploy #109: Pull request #45 opened by ecrum19
1m 57s EDC_active
EDC_active
1m 57s
Merge pull request #44 from KNowledgeOnWebScale/EDC_active Build and Deploy #108: Commit 284ff8e pushed by ecrum19
1m 26s main
main
1m 26s
pages build and deployment pages-build-deployment #47: by github-pages Bot
42s pages
pages
42s
trying to build and get z3-solver to work Build and Deploy #107: Pull request #44 opened by ecrum19
1m 54s EDC_active
EDC_active
1m 54s
Merge pull request #43 from KNowledgeOnWebScale/EDC_active Build and Deploy #106: Commit e08acd6 pushed by ecrum19
1m 45s main
main
1m 45s
pages build and deployment pages-build-deployment #46: by github-pages Bot
44s pages
pages
44s
Big merge. Lots of improvements, bug fixes, and functionality additions. Build and Deploy #105: Pull request #43 opened by ecrum19
1m 54s EDC_active
EDC_active
1m 54s