Skip to content

Actions: souffle-lang/souffle

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
504 workflow runs
504 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Cancel Cancel #1242: requested by quentin
June 3, 2024 15:14 14s
June 3, 2024 15:14 14s
Cancel Cancel #1241: requested by quentin
June 3, 2024 15:14 14s
June 3, 2024 15:14 14s
Apple ARM: use default toolchain, export SDKROOT (#2491) Populate dependencies #38: Commit b44660d pushed by quentin
June 3, 2024 15:14 31s master
master
June 3, 2024 15:14 31s
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: use default toolchain, export SDKROOT (#2491) CI-Tests #844: Commit b44660d pushed by quentin
June 3, 2024 15:14 40m 5s master
master
June 3, 2024 15:14 40m 5s
Cancel Cancel #1240: requested by quentin
June 3, 2024 11:19 13s
June 3, 2024 11:19 13s
Cancel Cancel #1239: requested by quentin
June 3, 2024 11:19 15s
June 3, 2024 11:19 15s
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
Apple ARM CI: use default toolchain, export SDKROOT CI-Tests #843: Pull request #2491 opened by quentin
June 3, 2024 11:19 28m 39s quentin:fixapplem
quentin:fixapplem
June 3, 2024 11:19 28m 39s
Cancel Cancel #1238: requested by quentin
June 3, 2024 07:55 14s
June 3, 2024 07:55 14s
CI-Tests CI-Tests #842: Manually run by quentin
June 3, 2024 07:55 27m 30s master
master
June 3, 2024 07:55 27m 30s
Cancel Cancel #1237: requested by quentin
April 5, 2024 06:25 13s
April 5, 2024 06:25 13s
Cancel Cancel #1236: requested by quentin
April 5, 2024 06:25 14s
April 5, 2024 06:25 14s
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 (#2483) CI-Tests #841: Commit c7ce229 pushed by quentin
April 5, 2024 06:25 28m 5s master
master
April 5, 2024 06:25 28m 5s
fix ungrounded error when destructuring with don't-cares (#2483) Populate dependencies #37: Commit c7ce229 pushed by quentin
April 5, 2024 06:25 26s master
master
April 5, 2024 06:25 26s
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