Skip to content

Actions: souffle-lang/souffle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
369 workflow runs
369 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
chore: create fedora-43 package (#2566) Guidelines #71: Commit 2eefd33 pushed by quentin
4m 32s master
master
4m 32s
chore: create fedora-43 package (#2566) Populate dependencies #73: Commit 2eefd33 pushed by quentin
23s master
master
23s
chore: create fedora-43 package (#2566) VS-CI-Tests #505: Commit 2eefd33 pushed by quentin
1h 10m 7s master
master
1h 10m 7s
Use without-rowid tables to reduce disk space use VS-CI-Tests #504: Pull request #2568 synchronize by Codechicken
Action required Codechicken:without-rowid
Codechicken:without-rowid
Action required
Use without-rowid tables to reduce disk space use Guidelines #70: Pull request #2568 synchronize by Codechicken
Action required Codechicken:without-rowid
Codechicken:without-rowid
Action required
Use without-rowid tables to reduce disk space use CI-Tests #969: Pull request #2568 synchronize by Codechicken
-1s Codechicken:without-rowid
Codechicken:without-rowid
-1s
Merge pull request #2570 from quentin/ci-macos-15 Guidelines #69: Commit bb64a82 pushed by julienhenry
19m 27s master
master
19m 27s
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 #2570 from quentin/ci-macos-15 Populate dependencies #72: Commit bb64a82 pushed by julienhenry
6m 54s master
master
6m 54s
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
Merge pull request #2569 from souffle-lang/ground_typecast Guidelines #68: Commit 54033cf pushed by julienhenry
5m 1s master
master
5m 1s
Merge pull request #2569 from souffle-lang/ground_typecast CI-Tests #967: Commit 54033cf pushed by julienhenry
34m 34s master
master
34m 34s
Merge pull request #2569 from souffle-lang/ground_typecast Populate dependencies #71: Commit 54033cf pushed by julienhenry
26s master
master
26s
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
chore: update Intel MacOS image to macos-15-intel Guidelines #67: Pull request #2570 opened by quentin
5m 12s quentin:ci-macos-15
quentin:ci-macos-15
5m 12s
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 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 Groundness analysis in presence of TypeCast Guidelines #66: Pull request #2569 opened by julienhenry
4m 58s ground_typecast
ground_typecast
4m 58s
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
fix: wrong handling of subsumptive clauses in magic transformers (#2567) CI-Tests #964: Commit 7bb8e64 pushed by quentin
41m 28s master
master
41m 28s
fix: wrong handling of subsumptive clauses in magic transformers (#2567) Guidelines #65: Commit 7bb8e64 pushed by quentin
4m 59s master
master
4m 59s
fix: wrong handling of subsumptive clauses in magic transformers (#2567) Populate dependencies #70: Commit 7bb8e64 pushed by quentin
26s master
master
26s