Skip to content

Actions: souffle-lang/souffle

Actions

CI-Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

make mcpp optional for fedora builds. use version string to differenti… CI-Tests #937: Pull request #2555 opened by maweki
July 15, 2025 08:55 1h 11m 57s maweki:fedora-42-alt
maweki:fedora-42-alt
July 15, 2025 08:55 1h 11m 57s
make mcpp optional for fedora builds CI-Tests #936: Pull request #2554 opened by maweki
July 15, 2025 08:52 50m 44s maweki:fedora-42
maweki:fedora-42
July 15, 2025 08:52 50m 44s
Extend arity to 30. CI-Tests #935: Pull request #2545 synchronize by strRM
June 25, 2025 10:30 39m 56s strRM:rm/increase-arity
strRM:rm/increase-arity
June 25, 2025 10:30 39m 56s
CI: use windows-2025 (#2547) CI-Tests #934: Commit d6dfcb1 pushed by quentin
June 17, 2025 13:52 35m 48s master
master
June 17, 2025 13:52 35m 48s
Limit application of SelingerProfileSipsMetric (#2546) CI-Tests #933: Commit c166170 pushed by quentin
June 17, 2025 12:27 42m 7s master
master
June 17, 2025 12:27 42m 7s
Limit application of SelingerProfileSipsMetric CI-Tests #932: Pull request #2546 synchronize by strRM
June 17, 2025 11:12 36m 24s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
June 17, 2025 11:12 36m 24s
Limit application of SelingerProfileSipsMetric CI-Tests #931: Pull request #2546 synchronize by strRM
June 2, 2025 13:22 42m 6s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
June 2, 2025 13:22 42m 6s
CI: use windows-2025 CI-Tests #930: Pull request #2547 opened by quentin
June 1, 2025 17:15 30m 7s quentin:ci-windows-2025
quentin:ci-windows-2025
June 1, 2025 17:15 30m 7s
Limit application of SelingerProfileSipsMetric CI-Tests #929: Pull request #2546 synchronize by strRM
May 29, 2025 11:30 35m 51s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
May 29, 2025 11:30 35m 51s
Limit application of SelingerProfileSipsMetric CI-Tests #928: Pull request #2546 synchronize by strRM
May 21, 2025 10:03 34m 55s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
May 21, 2025 10:03 34m 55s
Limit application of SelingerProfileSipsMetric CI-Tests #927: Pull request #2546 synchronize by strRM
May 21, 2025 10:02 1m 30s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
May 21, 2025 10:02 1m 30s
Limit application of SelingerProfileSipsMetric CI-Tests #926: Pull request #2546 opened by strRM
May 21, 2025 10:00 2m 11s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
May 21, 2025 10:00 2m 11s
Extend arity to 30. CI-Tests #925: Pull request #2545 opened by strRM
May 15, 2025 18:22 42m 20s strRM:rm/increase-arity
strRM:rm/increase-arity
May 15, 2025 18:22 42m 20s
chore: create fedora-42 package (#2543) CI-Tests #924: Commit efa82ce pushed by quentin
May 13, 2025 09:02 35m 34s master
master
May 13, 2025 09:02 35m 34s
chore: create fedora-42 package CI-Tests #923: Pull request #2543 opened by quentin
May 13, 2025 06:22 43m 44s quentin:fedora42
quentin:fedora42
May 13, 2025 06:22 43m 44s
Do not use SelingerProfileSipsMetric if no profile available (#2517) CI-Tests #922: Commit dd17f5b pushed by quentin
May 8, 2025 08:13 10m 35s master
master
May 8, 2025 08:13 10m 35s
Rm/2426 CI-Tests #921: Pull request #2517 synchronize by strRM
May 7, 2025 15:32 32m 25s strRM:rm/2426
strRM:rm/2426
May 7, 2025 15:32 32m 25s
Rm/2426 CI-Tests #920: Pull request #2517 synchronize by strRM
May 7, 2025 13:09 35m 10s strRM:rm/2426
strRM:rm/2426
May 7, 2025 13:09 35m 10s
Rm/2426 CI-Tests #919: Pull request #2517 synchronize by strRM
May 7, 2025 13:05 3m 46s strRM:rm/2426
strRM:rm/2426
May 7, 2025 13:05 3m 46s
Rm/2426 CI-Tests #918: Pull request #2517 synchronize by strRM
May 7, 2025 13:03 3m 8s strRM:rm/2426
strRM:rm/2426
May 7, 2025 13:03 3m 8s
Merge pull request #2541 from Schlaubischlump/master CI-Tests #917: Commit 4d0dd31 pushed by quentin
May 7, 2025 09:29 39m 25s master
master
May 7, 2025 09:29 39m 25s
Merge pull request #2536 from quentin/chores CI-Tests #916: Commit 1ad1823 pushed by quentin
May 7, 2025 08:27 36m 2s master
master
May 7, 2025 08:27 36m 2s
ci: use cancel-in-progress, check build with clang, style cleanup CI-Tests #915: Pull request #2536 synchronize by quentin
May 7, 2025 06:43 52m 26s quentin:chores
quentin:chores
May 7, 2025 06:43 52m 26s
fix: replace copy assignment of atomic with store/load in Index (#2540) CI-Tests #914: Commit 73ebe78 pushed by quentin
May 7, 2025 06:33 43m 16s master
master
May 7, 2025 06:33 43m 16s
Fix name of InsertLatticeOperations.h CI-Tests #913: Pull request #2541 opened by Schlaubischlump
May 6, 2025 08:54 43m 13s Schlaubischlump:master
Schlaubischlump:master
May 6, 2025 08:54 43m 13s