Skip to content

Actions: souffle-lang/souffle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add ADT packing helpers and interface tests VS-CI-Tests #532: Pull request #2594 synchronize by quentin
1h 11m 5s quentin:pack-adt-public-api
quentin:pack-adt-public-api
1h 11m 5s
Add ADT packing helpers and interface tests CI-Tests #996: Pull request #2594 synchronize by quentin
40m 12s quentin:pack-adt-public-api
quentin:pack-adt-public-api
40m 12s
Add ADT packing helpers and interface tests Guidelines #97: Pull request #2594 synchronize by quentin
5m 48s quentin:pack-adt-public-api
quentin:pack-adt-public-api
5m 48s
Update vcpkg Git commit ID in CI workflow (#2593) Populate dependencies #82: Commit a1303be pushed by quentin
23s master
master
23s
Update vcpkg Git commit ID in CI workflow (#2593) VS-CI-Tests #531: Commit a1303be pushed by quentin
1h 13m 28s master
master
1h 13m 28s
Update vcpkg Git commit ID in CI workflow (#2593) Guidelines #96: Commit a1303be pushed by quentin
5m 22s master
master
5m 22s
Update vcpkg Git commit ID in CI workflow (#2593) CI-Tests #995: Commit a1303be pushed by quentin
45m 46s master
master
45m 46s
Add ADT packing helpers and interface tests VS-CI-Tests #530: Pull request #2594 opened by quentin
1m 51s quentin:pack-adt-public-api
quentin:pack-adt-public-api
1m 51s
Add ADT packing helpers and interface tests CI-Tests #994: Pull request #2594 opened by quentin
49m 52s quentin:pack-adt-public-api
quentin:pack-adt-public-api
49m 52s
Add ADT packing helpers and interface tests Guidelines #95: Pull request #2594 opened by quentin
10m 4s quentin:pack-adt-public-api
quentin:pack-adt-public-api
10m 4s
Update vcpkg Git commit ID in CI workflow VS-CI-Tests #529: Pull request #2593 opened by quentin
1h 19m 39s quentin-patch-1
quentin-patch-1
1h 19m 39s
Update vcpkg Git commit ID in CI workflow CI-Tests #993: Pull request #2593 opened by quentin
36m 42s quentin-patch-1
quentin-patch-1
36m 42s
Update vcpkg Git commit ID in CI workflow Guidelines #94: Pull request #2593 opened by quentin
4m 54s quentin-patch-1
quentin-patch-1
4m 54s
VS-CI-Tests VS-CI-Tests #528: Manually run by quentin
1h 21m 50s quentin-patch-1
quentin-patch-1
1h 21m 50s
Fix provenance explanations for multiple constraints (#2585) CI-Tests #992: Commit 5fcae31 pushed by quentin
1h 2m 10s master
master
1h 2m 10s
Fix provenance explanations for multiple constraints (#2585) Guidelines #93: Commit 5fcae31 pushed by quentin
6m 36s master
master
6m 36s
Fix provenance explanations for multiple constraints (#2585) Populate dependencies #81: Commit 5fcae31 pushed by quentin
1m 26s master
master
1m 26s
Fix provenance explanations for multiple constraints (#2585) VS-CI-Tests #527: Commit 5fcae31 pushed by quentin
1m 36s master
master
1m 36s
Fix least-free-vars SIPS metric (#2587) VS-CI-Tests #526: Commit e68c5b6 pushed by quentin
1m 29s master
master
1m 29s
Fix least-free-vars SIPS metric (#2587) Populate dependencies #80: Commit e68c5b6 pushed by quentin
23s master
master
23s
Fix least-free-vars SIPS metric (#2587) Guidelines #92: Commit e68c5b6 pushed by quentin
4m 50s master
master
4m 50s
Fix least-free-vars SIPS metric (#2587) CI-Tests #991: Commit e68c5b6 pushed by quentin
35m 32s master
master
35m 32s
Merge pull request #2592 from mmcgr/osx CI-Tests #990: Commit ee5cda5 pushed by mmcgr
1h 0m 54s master
master
1h 0m 54s
Merge pull request #2592 from mmcgr/osx VS-CI-Tests #525: Commit ee5cda5 pushed by mmcgr
2h 27m 38s master
master
2h 27m 38s
Merge pull request #2592 from mmcgr/osx Populate dependencies #79: Commit ee5cda5 pushed by mmcgr
23s master
master
23s