Skip to content

Actions: souffle-lang/souffle

CI-Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: integer overflow in Complexity analysis (#2509)
CI-Tests #868: Commit 437f280 pushed by quentin
September 4, 2024 07:17 33m 7s master
September 4, 2024 07:17 33m 7s
fix: integer overflow in Complexity analysis
CI-Tests #867: Pull request #2509 synchronize by quentin
September 3, 2024 06:14 33m 25s quentin:fix-2508
September 3, 2024 06:14 33m 25s
fix: integer overflow in Complexity analysis
CI-Tests #866: Pull request #2509 synchronize by quentin
September 3, 2024 05:41 33m 7s quentin:fix-2508
September 3, 2024 05:41 33m 7s
fix: integer overflow in Complexity analysis
CI-Tests #865: Pull request #2509 synchronize by quentin
September 2, 2024 20:08 30m 45s quentin:fix-2508
September 2, 2024 20:08 30m 45s
fix: integer overflow in Complexity analysis
CI-Tests #864: Pull request #2509 opened by quentin
September 2, 2024 19:06 34m 25s quentin:fix-2508
September 2, 2024 19:06 34m 25s
fix incorrect handling of ".include" in identifiers (#2498)
CI-Tests #863: Commit e6cc668 pushed by quentin
July 3, 2024 18:01 33m 20s master
July 3, 2024 18:01 33m 20s
make interpreter's Conjunction a Compound node (#2459)
CI-Tests #861: Commit b82ae20 pushed by quentin
June 26, 2024 13:23 31m 59s master
June 26, 2024 13:23 31m 59s
robustify the debug and error reports (#2495)
CI-Tests #860: Commit 49f511d pushed by quentin
June 26, 2024 12:17 32m 51s master
June 26, 2024 12:17 32m 51s
robustify the debug and error reports
CI-Tests #859: Pull request #2495 synchronize by quentin
June 20, 2024 12:20 33m 4s quentin:fixreport
June 20, 2024 12:20 33m 4s
robustify the debug and error reports
CI-Tests #858: Pull request #2495 synchronize by quentin
June 20, 2024 11:43 32m 7s quentin:fixreport
June 20, 2024 11:43 32m 7s
robustify the debug and error reports
CI-Tests #857: Pull request #2495 opened by quentin
June 20, 2024 09:45 29m 3s quentin:fixreport
June 20, 2024 09:45 29m 3s
Do not treat warnings as errors when using MSVC. (#2461)
CI-Tests #856: Commit 99399f3 pushed by quentin
June 11, 2024 15:24 38m 40s master
June 11, 2024 15:24 38m 40s
Merge pull request #2494 from quentin/manyfixes
CI-Tests #855: Commit b7a5354 pushed by quentin
June 11, 2024 09:37 32m 52s master
June 11, 2024 09:37 32m 52s
several fixes
CI-Tests #854: Pull request #2494 synchronize by quentin
June 11, 2024 06:08 48m 57s quentin:manyfixes
June 11, 2024 06:08 48m 57s
several fixes
CI-Tests #853: Pull request #2494 synchronize by quentin
June 11, 2024 06:06 18m 43s quentin:manyfixes
June 11, 2024 06:06 18m 43s
several fixes
CI-Tests #852: Pull request #2494 synchronize by quentin
June 10, 2024 18:31 45m 27s quentin:manyfixes
June 10, 2024 18:31 45m 27s
several fixes
CI-Tests #851: Pull request #2494 opened by quentin
June 10, 2024 18:28 17m 7s quentin:manyfixes
June 10, 2024 18:28 17m 7s
create package for Fedora 39 (#2467)
CI-Tests #850: Commit 01f7c00 pushed by quentin
June 10, 2024 07:06 29m 32s master
June 10, 2024 07:06 29m 32s
README: s/git/https/ (#2493)
CI-Tests #849: Commit b395300 pushed by quentin
June 6, 2024 14:52 30m 59s master
June 6, 2024 14:52 30m 59s
README: s/git/https/
CI-Tests #848: Pull request #2493 opened by ygrek
June 6, 2024 03:46 34m 42s ygrek:patch-1
June 6, 2024 03:46 34m 42s
update codecov and artifact actions to v4 (#2492)
CI-Tests #847: Commit 3f35339 pushed by quentin
June 4, 2024 12:01 30m 45s master
June 4, 2024 12:01 30m 45s
update codecov and artifact actions to v4
CI-Tests #846: Pull request #2492 opened by quentin
June 4, 2024 09:29 29m 38s quentin:master
June 4, 2024 09:29 29m 38s
CI-Tests
CI-Tests #845: Manually run by quentin
June 4, 2024 08:55 27m 42s master
June 4, 2024 08:55 27m 42s
Apple ARM: use default toolchain, export SDKROOT (#2491)
CI-Tests #844: Commit b44660d pushed by quentin
June 3, 2024 15:14 40m 5s master
June 3, 2024 15:14 40m 5s