Skip to content

Actions: souffle-lang/souffle

VS-CI-Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Support for Relations With Arity Up to 22 In Interpreter (#2518)
VS-CI-Tests #417: Commit f241dd3 pushed by quentin
December 9, 2024 17:10 57m 58s master
December 9, 2024 17:10 57m 58s
chore: update CMake version for MSVC build (#2519)
VS-CI-Tests #416: Commit 4c89f73 pushed by quentin
December 7, 2024 12:55 1h 1m 33s master
December 7, 2024 12:55 1h 1m 33s
chore: update CMake version for MSVC build
VS-CI-Tests #415: Pull request #2519 synchronize by quentin
December 5, 2024 14:45 1h 1m 52s quentin:fixwinbuild
December 5, 2024 14:45 1h 1m 52s
chore: update CMake version for MSVC build
VS-CI-Tests #414: Pull request #2519 opened by quentin
December 5, 2024 14:43 1m 6s quentin:fixwinbuild
December 5, 2024 14:43 1m 6s
Add Support for Relations With Arity Up to 22 In Interpreter
VS-CI-Tests #413: Pull request #2518 opened by cwarden
November 27, 2024 17:48 14m 41s cwarden:arity-22
November 27, 2024 17:48 14m 41s
Rm/2426
VS-CI-Tests #412: Pull request #2517 synchronize by strRM
November 13, 2024 22:09 1h 15m 11s strRM:rm/2426
November 13, 2024 22:09 1h 15m 11s
Rm/2426
VS-CI-Tests #411: Pull request #2517 opened by strRM
November 13, 2024 22:05 19m 31s strRM:rm/2426
November 13, 2024 22:05 19m 31s
Merge pull request #2513 from quentin/macos12-deprecation
VS-CI-Tests #410: Commit 73edcf3 pushed by julienhenry
October 22, 2024 07:46 1h 4m 12s master
October 22, 2024 07:46 1h 4m 12s
chore: bump macos versions used in CI
VS-CI-Tests #409: Pull request #2513 synchronize by quentin
October 18, 2024 08:46 1h 2m 31s quentin:macos12-deprecation
October 18, 2024 08:46 1h 2m 31s
chore: bump macos versions used in CI
VS-CI-Tests #408: Pull request #2513 synchronize by quentin
October 18, 2024 08:41 1m 10s quentin:macos12-deprecation
October 18, 2024 08:41 1m 10s
chore: bump macos versions used in CI
VS-CI-Tests #407: Pull request #2513 opened by quentin
October 18, 2024 08:38 3m 37s quentin:macos12-deprecation
October 18, 2024 08:38 3m 37s
fix: integer overflow in Complexity analysis (#2509)
VS-CI-Tests #404: Commit 437f280 pushed by quentin
September 4, 2024 07:17 1h 3m 16s master
September 4, 2024 07:17 1h 3m 16s
fix: integer overflow in Complexity analysis
VS-CI-Tests #403: Pull request #2509 synchronize by quentin
September 3, 2024 06:14 1h 0m 1s quentin:fix-2508
September 3, 2024 06:14 1h 0m 1s
fix: integer overflow in Complexity analysis
VS-CI-Tests #402: Pull request #2509 synchronize by quentin
September 3, 2024 05:41 33m 40s quentin:fix-2508
September 3, 2024 05:41 33m 40s
fix: integer overflow in Complexity analysis
VS-CI-Tests #401: Pull request #2509 synchronize by quentin
September 2, 2024 20:08 59m 29s quentin:fix-2508
September 2, 2024 20:08 59m 29s
fix: integer overflow in Complexity analysis
VS-CI-Tests #400: Pull request #2509 opened by quentin
September 2, 2024 19:06 1h 1m 43s quentin:fix-2508
September 2, 2024 19:06 1h 1m 43s
fix incorrect handling of ".include" in identifiers (#2498)
VS-CI-Tests #399: Commit e6cc668 pushed by quentin
July 3, 2024 18:01 58m 23s master
July 3, 2024 18:01 58m 23s
Fix incorrect handling of ".include" in identifiers
VS-CI-Tests #398: Pull request #2498 opened by Mingtao521
June 27, 2024 09:00 1h 1m 21s Mingtao521:fix-parser
June 27, 2024 09:00 1h 1m 21s
make interpreter's Conjunction a Compound node (#2459)
VS-CI-Tests #397: Commit b82ae20 pushed by quentin
June 26, 2024 13:23 59m 45s master
June 26, 2024 13:23 59m 45s
robustify the debug and error reports (#2495)
VS-CI-Tests #396: Commit 49f511d pushed by quentin
June 26, 2024 12:17 1h 3m 10s master
June 26, 2024 12:17 1h 3m 10s
robustify the debug and error reports
VS-CI-Tests #395: Pull request #2495 synchronize by quentin
June 20, 2024 12:20 58m 48s quentin:fixreport
June 20, 2024 12:20 58m 48s
robustify the debug and error reports
VS-CI-Tests #394: Pull request #2495 synchronize by quentin
June 20, 2024 11:43 37m 12s quentin:fixreport
June 20, 2024 11:43 37m 12s
robustify the debug and error reports
VS-CI-Tests #393: Pull request #2495 opened by quentin
June 20, 2024 09:45 58m 27s quentin:fixreport
June 20, 2024 09:45 58m 27s
Do not treat warnings as errors when using MSVC. (#2461)
VS-CI-Tests #392: Commit 99399f3 pushed by quentin
June 11, 2024 15:24 59m 25s master
June 11, 2024 15:24 59m 25s
Merge pull request #2494 from quentin/manyfixes
VS-CI-Tests #391: Commit b7a5354 pushed by quentin
June 11, 2024 09:37 57m 31s master
June 11, 2024 09:37 57m 31s