Skip to content

Actions: souffle-lang/souffle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
588 workflow runs
588 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Cancel Cancel #1235: requested by quentin
April 3, 2024 13:14 12m 42s
April 3, 2024 13:14 12m 42s
Cancel Cancel #1234: requested by quentin
April 3, 2024 13:14 15m 7s
April 3, 2024 13:14 15m 7s
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 CI-Tests #840: Pull request #2483 synchronize by quentin
April 3, 2024 13:14 24m 38s quentin:fix2482
quentin:fix2482
April 3, 2024 13:14 24m 38s
Cancel Cancel #1233: requested by quentin
April 3, 2024 13:09 17s
April 3, 2024 13:09 17s
Cancel Cancel #1232: requested by quentin
April 3, 2024 13:09 12s
April 3, 2024 13:09 12s
fix ungrounded error when destructuring with don't-cares CI-Tests #839: Pull request #2483 opened by quentin
April 3, 2024 13:09 20m 27s quentin:fix2482
quentin:fix2482
April 3, 2024 13:09 20m 27s
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
Cancel Cancel #1231: requested by quentin
March 18, 2024 08:00 12s
March 18, 2024 08:00 12s
Cancel Cancel #1230: requested by quentin
March 18, 2024 08:00 10s
March 18, 2024 08:00 10s
Merge pull request #2479 from quentin/memchk Populate dependencies #36: Commit 57f104d pushed by quentin
March 18, 2024 08:00 29s master
master
March 18, 2024 08:00 29s
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 #2479 from quentin/memchk CI-Tests #838: Commit 57f104d pushed by quentin
March 18, 2024 08:00 31m 4s master
master
March 18, 2024 08:00 31m 4s
Cancel Cancel #1229: requested by quentin
March 17, 2024 07:44 10s
March 17, 2024 07:44 10s
Cancel Cancel #1228: requested by quentin
March 17, 2024 07:44 9s
March 17, 2024 07:44 9s
Merge pull request #2478 from quentin/macos14 CI-Tests #837: Commit 6473787 pushed by quentin
March 17, 2024 07:44 1h 15m 3s master
master
March 17, 2024 07:44 1h 15m 3s
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 #2478 from quentin/macos14 Populate dependencies #35: Commit 6473787 pushed by quentin
March 17, 2024 07:44 23s master
master
March 17, 2024 07:44 23s
Cancel Cancel #1227: requested by quentin
March 16, 2024 13:16 10s
March 16, 2024 13:16 10s
Cancel Cancel #1226: requested by quentin
March 16, 2024 13:16 10s
March 16, 2024 13:16 10s
Merge pull request #2477 from strRM/rm/cet-2475-fix-stoi-no-conversion Populate dependencies #34: Commit d3661e5 pushed by quentin
March 16, 2024 13:16 22s master
master
March 16, 2024 13:16 22s
Merge pull request #2477 from strRM/rm/cet-2475-fix-stoi-no-conversion CI-Tests #836: Commit d3661e5 pushed by quentin
March 16, 2024 13:16 1h 15m 4s master
master
March 16, 2024 13:16 1h 15m 4s
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
Cancel Cancel #1225: requested by quentin
March 16, 2024 10:04 11s
March 16, 2024 10:04 11s
Cancel Cancel #1224: requested by quentin
March 16, 2024 10:04 14s
March 16, 2024 10:04 14s