- Notifications
You must be signed in to change notification settings - Fork220
Actions: souffle-lang/souffle
Actions
CI-TestsActions
Loading...
LoadingSorry, something went wrong.
Uh oh!
There was an error while loading.Please reload this page.
Actions
Loading...
LoadingSorry, something went wrong.
Uh oh!
There was an error while loading.Please reload this page.
92 workflow runs
92 workflow runs
Extend arity to 30.CI-Tests #935: Pull request#2545 synchronize bystrRM
CI: use windows-2025 (#2547)CI-Tests #934: Commitd6dfcb1 pushed byquentin
Limit application of SelingerProfileSipsMetric (#2546)CI-Tests #933: Commitc166170 pushed byquentin
Limit application of SelingerProfileSipsMetricCI-Tests #932: Pull request#2546 synchronize bystrRM
Limit application of SelingerProfileSipsMetricCI-Tests #931: Pull request#2546 synchronize bystrRM
CI: use windows-2025CI-Tests #930: Pull request#2547 opened byquentin
Limit application of SelingerProfileSipsMetricCI-Tests #929: Pull request#2546 synchronize bystrRM
Limit application of SelingerProfileSipsMetricCI-Tests #928: Pull request#2546 synchronize bystrRM
Limit application of SelingerProfileSipsMetricCI-Tests #927: Pull request#2546 synchronize bystrRM
Limit application of SelingerProfileSipsMetricCI-Tests #926: Pull request#2546 opened bystrRM
Extend arity to 30.CI-Tests #925: Pull request#2545 opened bystrRM
chore: create fedora-42 package (#2543)CI-Tests #924: Commitefa82ce pushed byquentin
chore: create fedora-42 packageCI-Tests #923: Pull request#2543 opened byquentin
Do not use SelingerProfileSipsMetric if no profile available (#2517)CI-Tests #922: Commitdd17f5b pushed byquentin
Merge pull request #2541 from Schlaubischlump/masterCI-Tests #917: Commit4d0dd31 pushed byquentin
Merge pull request #2536 from quentin/choresCI-Tests #916: Commit1ad1823 pushed byquentin
ci: use cancel-in-progress, check build with clang, style cleanupCI-Tests #915: Pull request#2536 synchronize byquentin
fix: replace copy assignment of atomic with store/load in Index (#2540)CI-Tests #914: Commit73ebe78 pushed byquentin
Fix name of InsertLatticeOperations.hCI-Tests #913: Pull request#2541 opened bySchlaubischlump
fix: replace copy assignment of atomic with store/load in IndexCI-Tests #912: Pull request#2540 opened bycrackcomm
Handle some uncaught exceptions in explain modeCI-Tests #911: Pull request#2539 synchronize byyonatan