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
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

several fixes VS-CI-Tests #390: Pull request #2494 synchronize by quentin
June 11, 2024 06:08 1h 15m 21s quentin:manyfixes
quentin:manyfixes
June 11, 2024 06:08 1h 15m 21s
several fixes VS-CI-Tests #389: Pull request #2494 synchronize by quentin
June 11, 2024 06:06 18m 30s quentin:manyfixes
quentin:manyfixes
June 11, 2024 06:06 18m 30s
several fixes VS-CI-Tests #388: Pull request #2494 synchronize by quentin
June 10, 2024 18:31 1h 12m 48s quentin:manyfixes
quentin:manyfixes
June 10, 2024 18:31 1h 12m 48s
several fixes VS-CI-Tests #387: Pull request #2494 opened by quentin
June 10, 2024 18:28 16m 36s quentin:manyfixes
quentin:manyfixes
June 10, 2024 18:28 16m 36s
create package for Fedora 39 (#2467) VS-CI-Tests #386: Commit 01f7c00 pushed by quentin
June 10, 2024 07:06 53m 3s master
master
June 10, 2024 07:06 53m 3s
README: s/git/https/ (#2493) VS-CI-Tests #385: Commit b395300 pushed by quentin
June 6, 2024 14:52 58m 20s master
master
June 6, 2024 14:52 58m 20s
README: s/git/https/ VS-CI-Tests #384: Pull request #2493 opened by ygrek
June 6, 2024 03:46 57m 51s ygrek:patch-1
ygrek:patch-1
June 6, 2024 03:46 57m 51s
VS-CI-Tests VS-CI-Tests #383: Manually run by quentin
June 4, 2024 17:59 54m 29s master
master
June 4, 2024 17:59 54m 29s
update codecov and artifact actions to v4 (#2492) VS-CI-Tests #382: Commit 3f35339 pushed by quentin
June 4, 2024 12:01 52m 52s master
master
June 4, 2024 12:01 52m 52s
update codecov and artifact actions to v4 VS-CI-Tests #381: Pull request #2492 opened by quentin
June 4, 2024 09:29 56m 6s quentin:master
quentin:master
June 4, 2024 09:29 56m 6s
Apple ARM: use default toolchain, export SDKROOT (#2491) VS-CI-Tests #380: Commit b44660d pushed by quentin
June 3, 2024 15:14 57m 56s master
master
June 3, 2024 15:14 57m 56s
Apple ARM CI: use default toolchain, export SDKROOT VS-CI-Tests #379: Pull request #2491 opened by quentin
June 3, 2024 11:19 52m 49s quentin:fixapplem
quentin:fixapplem
June 3, 2024 11:19 52m 49s
fix ungrounded error when destructuring with don't-cares (#2483) VS-CI-Tests #378: Commit c7ce229 pushed by quentin
April 5, 2024 06:25 53m 50s master
master
April 5, 2024 06:25 53m 50s
fix ungrounded error when destructuring with don't-cares VS-CI-Tests #377: Pull request #2483 synchronize by quentin
April 3, 2024 13:14 54m 5s quentin:fix2482
quentin:fix2482
April 3, 2024 13:14 54m 5s
fix ungrounded error when destructuring with don't-cares VS-CI-Tests #376: Pull request #2483 opened by quentin
April 3, 2024 13:09 20m 26s quentin:fix2482
quentin:fix2482
April 3, 2024 13:09 20m 26s
Merge pull request #2479 from quentin/memchk VS-CI-Tests #375: Commit 57f104d pushed by quentin
March 18, 2024 08:00 53m 22s master
master
March 18, 2024 08:00 53m 22s
Merge pull request #2478 from quentin/macos14 VS-CI-Tests #374: Commit 6473787 pushed by quentin
March 17, 2024 07:44 1h 1m 14s master
master
March 17, 2024 07:44 1h 1m 14s
Merge pull request #2477 from strRM/rm/cet-2475-fix-stoi-no-conversion VS-CI-Tests #373: Commit d3661e5 pushed by quentin
March 16, 2024 13:16 55m 35s master
master
March 16, 2024 13:16 55m 35s
fix memory check CI workflow VS-CI-Tests #372: Pull request #2479 opened by quentin
March 16, 2024 10:04 53m 35s quentin:memchk
quentin:memchk
March 16, 2024 10:04 53m 35s
Add CI job for Apple ARM VS-CI-Tests #371: Pull request #2478 synchronize by quentin
March 15, 2024 17:43 58m 52s quentin:macos14
quentin:macos14
March 15, 2024 17:43 58m 52s
Add CI job for Apple ARM VS-CI-Tests #370: Pull request #2478 opened by quentin
March 15, 2024 17:43 6m 44s quentin:macos14
quentin:macos14
March 15, 2024 17:43 6m 44s
Fix stoi error when passing --jobs=auto in non-OpenMP code path VS-CI-Tests #369: Pull request #2477 synchronize by strRM
March 15, 2024 16:20 54m 11s strRM:rm/cet-2475-fix-stoi-no-conversion
strRM:rm/cet-2475-fix-stoi-no-conversion
March 15, 2024 16:20 54m 11s
Fix stoi error when passing --jobs=auto in non-OpenMP code path VS-CI-Tests #368: Pull request #2477 opened by strRM
March 15, 2024 12:06 53m 40s strRM:rm/cet-2475-fix-stoi-no-conversion
strRM:rm/cet-2475-fix-stoi-no-conversion
March 15, 2024 12:06 53m 40s
doc comments and annotations in Souffle datalog (#2472) VS-CI-Tests #367: Commit d804988 pushed by quentin
March 5, 2024 07:59 1h 1m 8s master
master
March 5, 2024 07:59 1h 1m 8s
avoid calls to getArguments() in interpreter (#2473) VS-CI-Tests #366: Commit 7826a26 pushed by quentin
March 5, 2024 07:51 15m 36s master
master
March 5, 2024 07:51 15m 36s