Skip to content

Actions: coln-project/Coln

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,200 workflow runs
1,200 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
Coln Bouncer Check #580: Pull request #178 synchronize by lstwn
3m 15s coln-bouncer
coln-bouncer
3m 15s
[coln-bouncer] feat: have a dedicated type for each row id such that … .github/workflows/web-demos.yml #384: Commit 91e6783 pushed by lstwn
Failure coln-bouncer
coln-bouncer
Failure
Coln Bouncer Check #579: Pull request #178 synchronize by lstwn
3m 5s coln-bouncer
coln-bouncer
3m 5s
chore: add missing license headers .github/workflows/web-demos.yml #383: Commit 25aa862 pushed by lstwn
Failure coln-bouncer
coln-bouncer
Failure
Coln Bouncer Check #578: Pull request #178 synchronize by lstwn
4m 33s coln-bouncer
coln-bouncer
4m 33s
chore: fix small linting issues .github/workflows/web-demos.yml #382: Commit b89042d pushed by lstwn
Failure coln-bouncer
coln-bouncer
Failure
Merge pull request #182 from coln-project/coln-query/logical-query-pr… Deploy #67: Commit 46ece1a pushed by github-merge-queue Bot
46s main
main
46s
Merge pull request #182 from coln-project/coln-query/logical-query-pr… VSCode Extension #43: Commit 46ece1a pushed by github-merge-queue Bot
48s main
main
48s
Merge pull request #182 from coln-project/coln-query/logical-query-pr… Check #577: Commit 46ece1a pushed by github-merge-queue Bot
8m 41s main
main
8m 41s
Merge pull request #182 from coln-project/coln-query/logical-query-pr… .github/workflows/web-demos.yml #381: Commit 46ece1a pushed by github-merge-queue Bot
Failure gh-readonly-queue/main/pr-182-699746db0415d4401bedc2342f3e81fd9ea2f7f6
gh-readonly-queue/main/pr-182-699746db0415d4401bedc2342f3e81fd9ea2f7f6
Failure
Check Check #576: Merge group checks requested
10m 20s
10m 20s
Merge pull request #182 from coln-project/coln-query/logical-query-pr… .github/workflows/web-demos.yml #380: Commit 46ece1a pushed by github-merge-queue Bot
Failure gh-readonly-queue/main/pr-182-699746db0415d4401bedc2342f3e81fd9ea2f7f6
gh-readonly-queue/main/pr-182-699746db0415d4401bedc2342f3e81fd9ea2f7f6
Failure
Coln query/logical query program abstraction Check #575: Pull request #182 synchronize by lstwn
6m 5s coln-query/logical-query-program-abstraction
coln-query/logical-query-program-abstraction
6m 5s
[coln-query] feat: translate empty antecedent rules just fine .github/workflows/web-demos.yml #379: Commit e4d8e63 pushed by lstwn
Failure coln-query/logical-query-program-abstraction
coln-query/logical-query-program-abstraction
Failure
Coln query/logical query program abstraction Check #574: Pull request #182 synchronize by lstwn
6m 1s coln-query/logical-query-program-abstraction
coln-query/logical-query-program-abstraction
6m 1s
[coln-query] fix: debug assertions fails construction with empty FLIR… .github/workflows/web-demos.yml #378: Commit cb0e927 pushed by lstwn
Failure coln-query/logical-query-program-abstraction
coln-query/logical-query-program-abstraction
Failure
Coln query/logical query program abstraction Check #573: Pull request #182 synchronize by lstwn
5m 42s coln-query/logical-query-program-abstraction
coln-query/logical-query-program-abstraction
5m 42s
[coln-query] chore: align wording by calling !atom _negated_ (as oppo… .github/workflows/web-demos.yml #377: Commit a00b77e pushed by lstwn
Failure coln-query/logical-query-program-abstraction
coln-query/logical-query-program-abstraction
Failure
Coln query/logical query program abstraction Check #572: Pull request #182 synchronize by lstwn
6m 44s coln-query/logical-query-program-abstraction
coln-query/logical-query-program-abstraction
6m 44s
[coln-query] feat: enforce range restriction (head vars must appear i… .github/workflows/web-demos.yml #376: Commit 9ef3955 pushed by lstwn
Failure coln-query/logical-query-program-abstraction
coln-query/logical-query-program-abstraction
Failure
wip: more wiring with TableDelta .github/workflows/web-demos.yml #375: Commit 4133557 pushed by incipit0
Failure coln-bouncer
coln-bouncer
Failure
[coln-flir-rs] test: add tests for consolidation mechanisms of StoreD… .github/workflows/web-demos.yml #374: Commit 49f3dbd pushed by lstwn
Failure coln-bouncer
coln-bouncer
Failure
[coln-flir-rs] feat: introduce the notion of partially consolidated s… .github/workflows/web-demos.yml #373: Commit edf2a3f pushed by lstwn
Failure coln-bouncer
coln-bouncer
Failure
[coln-flir-rs] feat: add conversions for StoreDelta's, TableDelta's, … .github/workflows/web-demos.yml #372: Commit 0678f8b pushed by lstwn
Failure coln-bouncer
coln-bouncer
Failure
[coln-flir-rs] feat: data structures to represent deltas (and sets!) … .github/workflows/web-demos.yml #371: Commit 5d007d0 pushed by lstwn
Failure coln-bouncer
coln-bouncer
Failure