Skip to content

Actions: souffle-lang/souffle

Actions

CI-Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-Tests.yml
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: create fedora-43 package (#2566) CI-Tests #970: Commit 2eefd33 pushed by quentin
1h 16m 29s master
master
1h 16m 29s
Merge pull request #2570 from quentin/ci-macos-15 CI-Tests #968: Commit bb64a82 pushed by julienhenry
1h 29m 22s master
master
1h 29m 22s
Merge pull request #2569 from souffle-lang/ground_typecast CI-Tests #967: Commit 54033cf pushed by julienhenry
34m 34s master
master
34m 34s
chore: update Intel MacOS image to macos-15-intel CI-Tests #966: Pull request #2570 opened by quentin
48m 14s quentin:ci-macos-15
quentin:ci-macos-15
48m 14s
Fix Groundness analysis in presence of TypeCast CI-Tests #965: Pull request #2569 opened by julienhenry
1h 5m 6s ground_typecast
ground_typecast
1h 5m 6s
fix: wrong handling of subsumptive clauses in magic transformers (#2567) CI-Tests #964: Commit 7bb8e64 pushed by quentin
41m 28s master
master
41m 28s
Use without-rowid tables to reduce disk space use CI-Tests #963: Pull request #2568 synchronize by Codechicken
54m 42s Codechicken:without-rowid
Codechicken:without-rowid
54m 42s
fix: wrong handling of subsumptive clauses in magic transformers CI-Tests #960: Pull request #2567 synchronize by quentin
38m 52s quentin:fix-subsumptive-magic
quentin:fix-subsumptive-magic
38m 52s
fix: wrong handling of subsumptive clauses in magic transformers CI-Tests #959: Pull request #2567 synchronize by quentin
2m 36s quentin:fix-subsumptive-magic
quentin:fix-subsumptive-magic
2m 36s
fix: wrong handling of subsumptive clauses in magic transformers CI-Tests #958: Pull request #2567 opened by quentin
2m 7s quentin:fix-subsumptive-magic
quentin:fix-subsumptive-magic
2m 7s
chore: create fedora-43 package CI-Tests #957: Pull request #2566 opened by quentin
57m 43s quentin:package-fedora-43
quentin:package-fedora-43
57m 43s
fix multiple bugs in ResolveAliases transform. (#2564) CI-Tests #956: Commit 89f2abe pushed by quentin
39m 59s master
master
39m 59s
make mcpp optional for fedora builds (#2554) CI-Tests #955: Commit 8f44892 pushed by quentin
32m 25s master
master
32m 25s
fix multiple bugs in ResolveAliases transform. CI-Tests #954: Pull request #2564 synchronize by quentin
43m 20s quentin:fix-resolve-aliases
quentin:fix-resolve-aliases
43m 20s
fix multiple bugs in ResolveAliases transform. CI-Tests #953: Pull request #2564 opened by quentin
57m 46s quentin:fix-resolve-aliases
quentin:fix-resolve-aliases
57m 46s
Fix PartitionBodyLiteralsTransformer with subsumptive clause (#2562) CI-Tests #952: Commit 8abf896 pushed by quentin
1h 4m 15s master
master
1h 4m 15s
Fix PartitionBodyLiteralsTransformer with subsumptive clause CI-Tests #951: Pull request #2562 synchronize by quentin
47m 56s quentin:issue-2551
quentin:issue-2551
47m 56s
Fix PartitionBodyLiteralsTransformer with subsumptive clause CI-Tests #950: Pull request #2562 opened by quentin
6m 37s quentin:issue-2551
quentin:issue-2551
6m 37s
Increase souffle stack size when built with MSVC (#2558) CI-Tests #949: Commit b37994d pushed by quentin
58m 4s master
master
58m 4s
Increase stack size for MSVC CI-Tests #948: Pull request #2558 synchronize by quentin
42m 56s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
42m 56s
Increase stack size for MSVC CI-Tests #947: Pull request #2558 synchronize by quentin
5m 11s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
5m 11s
Increase stack size for MSVC CI-Tests #946: Pull request #2558 synchronize by quentin
10s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
10s
Increase stack size for MSVC CI-Tests #945: Pull request #2558 synchronize by quentin
7s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
7s
Increase stack size for MSVC CI-Tests #944: Pull request #2558 synchronize by quentin
11s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
11s
Increase stack size for MSVC CI-Tests #943: Pull request #2558 synchronize by quentin
8s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
8s