Skip to content

Actions: souffle-lang/souffle

Actions

VS-CI-Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
VS-CI-Tests.yml
68 workflow runs
68 workflow runs

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
Nix VS-CI-Tests #510: Pull request #2578 opened by dbueno
1h 10m 35s dbueno:nix
dbueno:nix
1h 10m 35s
tests: remove _Pragma from cpp keyword syntactic test (#2577) VS-CI-Tests #509: Commit c94bc58 pushed by quentin
1h 12m 2s master
master
1h 12m 2s
tests: remove _Pragma from cpp keyword syntactic test VS-CI-Tests #508: Pull request #2577 opened by quentin
1h 11m 22s quentin:issue-2576
quentin:issue-2576
1h 11m 22s
chore: create fedora-43 package (#2566) VS-CI-Tests #505: Commit 2eefd33 pushed by quentin
1h 10m 7s master
master
1h 10m 7s
Merge pull request #2570 from quentin/ci-macos-15 VS-CI-Tests #503: Commit bb64a82 pushed by julienhenry
2h 20m 47s master
master
2h 20m 47s
Merge pull request #2569 from souffle-lang/ground_typecast VS-CI-Tests #502: Commit 54033cf pushed by julienhenry
1h 10m 8s master
master
1h 10m 8s
chore: update Intel MacOS image to macos-15-intel VS-CI-Tests #501: Pull request #2570 opened by quentin
1h 7m 26s quentin:ci-macos-15
quentin:ci-macos-15
1h 7m 26s
Fix Groundness analysis in presence of TypeCast VS-CI-Tests #500: Pull request #2569 opened by julienhenry
1h 10m 3s ground_typecast
ground_typecast
1h 10m 3s
fix: wrong handling of subsumptive clauses in magic transformers (#2567) VS-CI-Tests #499: Commit 7bb8e64 pushed by quentin
1h 10m 15s master
master
1h 10m 15s
Use without-rowid tables to reduce disk space use VS-CI-Tests #498: Pull request #2568 synchronize by Codechicken
1h 12m 30s Codechicken:without-rowid
Codechicken:without-rowid
1h 12m 30s
fix: wrong handling of subsumptive clauses in magic transformers VS-CI-Tests #495: Pull request #2567 synchronize by quentin
1h 9m 57s quentin:fix-subsumptive-magic
quentin:fix-subsumptive-magic
1h 9m 57s
fix: wrong handling of subsumptive clauses in magic transformers VS-CI-Tests #494: Pull request #2567 synchronize by quentin
2m 23s quentin:fix-subsumptive-magic
quentin:fix-subsumptive-magic
2m 23s
fix: wrong handling of subsumptive clauses in magic transformers VS-CI-Tests #493: Pull request #2567 opened by quentin
1m 51s quentin:fix-subsumptive-magic
quentin:fix-subsumptive-magic
1m 51s
chore: create fedora-43 package VS-CI-Tests #492: Pull request #2566 opened by quentin
1h 8m 37s quentin:package-fedora-43
quentin:package-fedora-43
1h 8m 37s
fix multiple bugs in ResolveAliases transform. (#2564) VS-CI-Tests #491: Commit 89f2abe pushed by quentin
1h 10m 11s master
master
1h 10m 11s
make mcpp optional for fedora builds (#2554) VS-CI-Tests #490: Commit 8f44892 pushed by quentin
1h 9m 24s master
master
1h 9m 24s
fix multiple bugs in ResolveAliases transform. VS-CI-Tests #489: Pull request #2564 synchronize by quentin
1h 10m 22s quentin:fix-resolve-aliases
quentin:fix-resolve-aliases
1h 10m 22s
fix multiple bugs in ResolveAliases transform. VS-CI-Tests #488: Pull request #2564 opened by quentin
1h 9m 40s quentin:fix-resolve-aliases
quentin:fix-resolve-aliases
1h 9m 40s
Fix PartitionBodyLiteralsTransformer with subsumptive clause (#2562) VS-CI-Tests #487: Commit 8abf896 pushed by quentin
1h 11m 13s master
master
1h 11m 13s
Fix PartitionBodyLiteralsTransformer with subsumptive clause VS-CI-Tests #486: Pull request #2562 synchronize by quentin
1h 10m 37s quentin:issue-2551
quentin:issue-2551
1h 10m 37s
Fix PartitionBodyLiteralsTransformer with subsumptive clause VS-CI-Tests #485: Pull request #2562 opened by quentin
6m 23s quentin:issue-2551
quentin:issue-2551
6m 23s
Increase souffle stack size when built with MSVC (#2558) VS-CI-Tests #484: Commit b37994d pushed by quentin
1h 8m 45s master
master
1h 8m 45s
Increase stack size for MSVC VS-CI-Tests #483: Pull request #2558 synchronize by quentin
1h 11m 52s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
1h 11m 52s
Increase stack size for MSVC VS-CI-Tests #482: Pull request #2558 synchronize by quentin
1h 9m 9s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
1h 9m 9s
Increase stack size for MSVC VS-CI-Tests #481: Pull request #2558 synchronize by quentin
20m 6s quentin:msvc-increase-stack-size
quentin:msvc-increase-stack-size
20m 6s