Workflow runs · arght/solver-benchmark · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

15 workflow runs

15 workflow runs

CodeQL CodeQL #12: Scheduled

1m 37s main

main

1m 37s

CodeQL CodeQL #11: Scheduled

1m 38s main

main

1m 38s

CodeQL CodeQL #10: Scheduled

1m 39s main

main

1m 39s

CodeQL CodeQL #9: Scheduled

1m 27s main

main

1m 27s

CodeQL CodeQL #8: Scheduled

1m 53s main

main

1m 53s

CodeQL CodeQL #7: Scheduled

1m 33s main

main

1m 33s

CodeQL CodeQL #6: Scheduled

1m 33s main

main

1m 33s

CodeQL CodeQL #5: Scheduled

1m 29s main

main

1m 29s

CodeQL CodeQL #4: Scheduled

1m 34s main

main

1m 34s

[pre-commit.ci] auto fixes from pre-commit.com hooks CodeQL #3: Commit 40aaa7c pushed by pre-commit-ci Bot

1m 34s main

main

1m 34s

[pre-commit.ci] auto fixes from pre-commit.com hooks CI #3: Commit 40aaa7c pushed by pre-commit-ci Bot

2m 47s main

main

2m 47s

Update metadata CI #2: Commit 1d5e8f7 pushed by danielelerede-oet

2m 44s main

main

2m 44s

Update metadata CodeQL #2: Commit 1d5e8f7 pushed by danielelerede-oet

1m 44s main

main

1m 44s

Merge branch 'main' into main CI #1: Commit a38bd34 pushed by danielelerede-oet

2m 45s main

main

2m 45s

Merge branch 'main' into main CodeQL #1: Commit a38bd34 pushed by danielelerede-oet

1m 28s main

main

1m 28s