Skip to content

Actions: souffle-lang/souffle

Actions

VS-CI-Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
VS-CI-Tests.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle some uncaught exceptions in explain mode VS-CI-Tests #445: Pull request #2539 opened by yonatan
April 11, 2025 22:18 1h 0m 14s yonatan:fix-explain-valueread
yonatan:fix-explain-valueread
April 11, 2025 22:18 1h 0m 14s
Fix segfault on malformed subproof commands (#2538) VS-CI-Tests #444: Commit 94ccab0 pushed by quentin
March 30, 2025 08:15 57m 53s master
master
March 30, 2025 08:15 57m 53s
chore: changelog for v2.5 (#2537) VS-CI-Tests #443: Commit 5682a9f pushed by quentin
March 24, 2025 14:18 1h 4m 31s master
master
March 24, 2025 14:18 1h 4m 31s
Fix segfault on malformed subproof commands VS-CI-Tests #442: Pull request #2538 opened by yonatan
March 19, 2025 09:22 58m 18s yonatan:subproof-cmd-parser-fix
yonatan:subproof-cmd-parser-fix
March 19, 2025 09:22 58m 18s
chore: changelog for v2.5 VS-CI-Tests #441: Pull request #2537 opened by quentin
March 12, 2025 18:51 58m 6s quentin:rel2.5.0
quentin:rel2.5.0
March 12, 2025 18:51 58m 6s
ci: use cancel-in-progress, check build with clang, style cleanup VS-CI-Tests #440: Pull request #2536 opened by quentin
March 12, 2025 11:04 59m 12s quentin:chores
quentin:chores
March 12, 2025 11:04 59m 12s
fix: regex works incorrectly when using -c option (#2534) VS-CI-Tests #439: Commit 6456e43 pushed by quentin
March 12, 2025 07:36 58m 50s master
master
March 12, 2025 07:36 58m 50s
chore: move code style checks to Guidelines workflow (#2535) VS-CI-Tests #438: Commit e582fc7 pushed by quentin
March 12, 2025 05:48 1h 1m 0s master
master
March 12, 2025 05:48 1h 1m 0s
chore: upload code style patch as CI artifact VS-CI-Tests #437: Pull request #2535 synchronize by quentin
March 2, 2025 20:42 1h 4m 16s quentin:formatting
quentin:formatting
March 2, 2025 20:42 1h 4m 16s
chore: upload code style patch as CI artifact VS-CI-Tests #436: Pull request #2535 synchronize by quentin
March 2, 2025 20:34 17m 4s quentin:formatting
quentin:formatting
March 2, 2025 20:34 17m 4s
chore: upload code style patch as CI artifact VS-CI-Tests #435: Pull request #2535 opened by quentin
March 2, 2025 20:28 6m 46s quentin:formatting
quentin:formatting
March 2, 2025 20:28 6m 46s
fix: regex works incorrectly when using -c option VS-CI-Tests #434: Pull request #2534 synchronize by quentin
February 27, 2025 12:03 1h 4m 15s quentin:issue2532
quentin:issue2532
February 27, 2025 12:03 1h 4m 15s
fix: regex works incorrectly when using -c option VS-CI-Tests #433: Pull request #2534 opened by quentin
February 27, 2025 12:00 7m 38s quentin:issue2532
quentin:issue2532
February 27, 2025 12:00 7m 38s
Subprocess.h: use vector instead of dynamically-sized VLA (#2529) VS-CI-Tests #432: Commit 8ed1d22 pushed by quentin
February 11, 2025 12:36 1h 1m 41s master
master
February 11, 2025 12:36 1h 1m 41s
Subprocess.h: use vector instead of dynamically-sized VLA VS-CI-Tests #431: Pull request #2529 synchronize by katrinafyi
February 11, 2025 11:31 57m 14s rina-forks:katrinafyi-patch-1
rina-forks:katrinafyi-patch-1
February 11, 2025 11:31 57m 14s
Subprocess.h: use vector instead of dynamically-sized VLA VS-CI-Tests #430: Pull request #2529 opened by katrinafyi
February 10, 2025 03:23 1h 1m 41s rina-forks:katrinafyi-patch-1
rina-forks:katrinafyi-patch-1
February 10, 2025 03:23 1h 1m 41s
chore: releases should publish packages for newer linux distributions… VS-CI-Tests #429: Commit 040a962 pushed by quentin
January 27, 2025 07:52 1h 3m 24s master
master
January 27, 2025 07:52 1h 3m 24s
chore: releases should publish packages for newer linux distributions VS-CI-Tests #428: Pull request #2526 synchronize by quentin
January 22, 2025 18:55 1h 0m 2s quentin:createpackages
quentin:createpackages
January 22, 2025 18:55 1h 0m 2s
chore: releases should publish packages for newer linux distributions VS-CI-Tests #427: Pull request #2526 synchronize by quentin
January 22, 2025 17:20 3m 0s quentin:createpackages
quentin:createpackages
January 22, 2025 17:20 3m 0s
chore: releases should publish packages for newer linux distributions VS-CI-Tests #426: Pull request #2526 opened by quentin
January 22, 2025 17:18 1m 8s quentin:createpackages
quentin:createpackages
January 22, 2025 17:18 1m 8s
Merge pull request #2525 from quentin/fixpopulatedependencies VS-CI-Tests #425: Commit b6968fb pushed by quentin
January 22, 2025 16:00 1h 1m 6s master
master
January 22, 2025 16:00 1h 1m 6s
chore: align vcpkg version in populate-deps.yml VS-CI-Tests #424: Pull request #2525 opened by quentin
January 22, 2025 07:35 58m 27s quentin:fixpopulatedependencies
quentin:fixpopulatedependencies
January 22, 2025 07:35 58m 27s
Merge pull request #2524 from quentin/ubuntu24build VS-CI-Tests #423: Commit ecfefac pushed by quentin
January 21, 2025 12:19 1h 0m 37s master
master
January 21, 2025 12:19 1h 0m 37s
chore: fix ci for ubuntu 24 and windows VS-CI-Tests #422: Pull request #2524 synchronize by quentin
January 21, 2025 08:20 1h 2m 45s quentin:ubuntu24build
quentin:ubuntu24build
January 21, 2025 08:20 1h 2m 45s
chore: fix ci for ubuntu 24 and windows VS-CI-Tests #421: Pull request #2524 synchronize by quentin
January 21, 2025 08:18 2m 16s quentin:ubuntu24build
quentin:ubuntu24build
January 21, 2025 08:18 2m 16s