Skip to content

Actions: souffle-lang/souffle

Actions

Guidelines

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Guidelines.yml
38 workflow runs
38 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… Guidelines #38: Pull request #2555 opened by maweki
July 15, 2025 08:55 16m 19s maweki:fedora-42-alt
maweki:fedora-42-alt
July 15, 2025 08:55 16m 19s
make mcpp optional for fedora builds Guidelines #37: Pull request #2554 opened by maweki
July 15, 2025 08:52 6m 7s maweki:fedora-42
maweki:fedora-42
July 15, 2025 08:52 6m 7s
Extend arity to 30. Guidelines #36: Pull request #2545 synchronize by strRM
June 25, 2025 10:30 5m 57s strRM:rm/increase-arity
strRM:rm/increase-arity
June 25, 2025 10:30 5m 57s
CI: use windows-2025 (#2547) Guidelines #35: Commit d6dfcb1 pushed by quentin
June 17, 2025 13:52 5m 26s master
master
June 17, 2025 13:52 5m 26s
Limit application of SelingerProfileSipsMetric (#2546) Guidelines #34: Commit c166170 pushed by quentin
June 17, 2025 12:27 6m 39s master
master
June 17, 2025 12:27 6m 39s
Limit application of SelingerProfileSipsMetric Guidelines #33: Pull request #2546 synchronize by strRM
June 17, 2025 11:12 9m 36s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
June 17, 2025 11:12 9m 36s
Limit application of SelingerProfileSipsMetric Guidelines #32: Pull request #2546 synchronize by strRM
June 2, 2025 13:22 6m 48s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
June 2, 2025 13:22 6m 48s
CI: use windows-2025 Guidelines #31: Pull request #2547 opened by quentin
June 1, 2025 17:15 5m 52s quentin:ci-windows-2025
quentin:ci-windows-2025
June 1, 2025 17:15 5m 52s
Limit application of SelingerProfileSipsMetric Guidelines #30: Pull request #2546 synchronize by strRM
May 29, 2025 11:30 7m 8s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
May 29, 2025 11:30 7m 8s
Limit application of SelingerProfileSipsMetric Guidelines #29: Pull request #2546 synchronize by strRM
May 21, 2025 10:03 5m 33s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
May 21, 2025 10:03 5m 33s
Limit application of SelingerProfileSipsMetric Guidelines #28: Pull request #2546 synchronize by strRM
May 21, 2025 10:02 1m 12s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
May 21, 2025 10:02 1m 12s
Limit application of SelingerProfileSipsMetric Guidelines #27: Pull request #2546 opened by strRM
May 21, 2025 10:00 2m 7s strRM:rm/limit-selinger-running-time
strRM:rm/limit-selinger-running-time
May 21, 2025 10:00 2m 7s
Extend arity to 30. Guidelines #26: Pull request #2545 opened by strRM
May 15, 2025 18:22 5m 25s strRM:rm/increase-arity
strRM:rm/increase-arity
May 15, 2025 18:22 5m 25s
chore: create fedora-42 package (#2543) Guidelines #25: Commit efa82ce pushed by quentin
May 13, 2025 09:02 5m 19s master
master
May 13, 2025 09:02 5m 19s
chore: create fedora-42 package Guidelines #24: Pull request #2543 opened by quentin
May 13, 2025 06:22 5m 7s quentin:fedora42
quentin:fedora42
May 13, 2025 06:22 5m 7s
Do not use SelingerProfileSipsMetric if no profile available (#2517) Guidelines #23: Commit dd17f5b pushed by quentin
May 8, 2025 08:13 5m 55s master
master
May 8, 2025 08:13 5m 55s
Rm/2426 Guidelines #22: Pull request #2517 synchronize by strRM
May 7, 2025 15:32 7m 4s strRM:rm/2426
strRM:rm/2426
May 7, 2025 15:32 7m 4s
Rm/2426 Guidelines #21: Pull request #2517 synchronize by strRM
May 7, 2025 13:09 5m 27s strRM:rm/2426
strRM:rm/2426
May 7, 2025 13:09 5m 27s
Rm/2426 Guidelines #20: Pull request #2517 synchronize by strRM
May 7, 2025 13:05 3m 37s strRM:rm/2426
strRM:rm/2426
May 7, 2025 13:05 3m 37s
Rm/2426 Guidelines #19: Pull request #2517 synchronize by strRM
May 7, 2025 13:03 2m 58s strRM:rm/2426
strRM:rm/2426
May 7, 2025 13:03 2m 58s
Merge pull request #2541 from Schlaubischlump/master Guidelines #18: Commit 4d0dd31 pushed by quentin
May 7, 2025 09:29 5m 43s master
master
May 7, 2025 09:29 5m 43s
Merge pull request #2536 from quentin/chores Guidelines #17: Commit 1ad1823 pushed by quentin
May 7, 2025 08:27 8m 57s master
master
May 7, 2025 08:27 8m 57s
ci: use cancel-in-progress, check build with clang, style cleanup Guidelines #16: Pull request #2536 synchronize by quentin
May 7, 2025 06:43 8m 15s quentin:chores
quentin:chores
May 7, 2025 06:43 8m 15s
fix: replace copy assignment of atomic with store/load in Index (#2540) Guidelines #15: Commit 73ebe78 pushed by quentin
May 7, 2025 06:33 14s master
master
May 7, 2025 06:33 14s
Fix name of InsertLatticeOperations.h Guidelines #14: Pull request #2541 opened by Schlaubischlump
May 6, 2025 08:54 20s Schlaubischlump:master
Schlaubischlump:master
May 6, 2025 08:54 20s