Skip to content

Actions: scip-code/scip

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,088 workflow runs
2,088 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
Release 0.8.2 (#450) release #3: Commit e8ee0ae pushed by jupblb
20m 44s main
main
20m 44s
Release 0.9.0 JVM bindings #45: Pull request #450 synchronize by scip-nix-hash-fix Bot
57s release-0.8.2
release-0.8.2
57s
Release 0.9.0 ci #101: Pull request #450 synchronize by scip-nix-hash-fix Bot
18m 32s release-0.8.2
release-0.8.2
18m 32s
Release 0.9.0 JVM bindings #44: Pull request #450 synchronize by jupblb
52s release-0.8.2
release-0.8.2
52s
Release 0.9.0 ci #100: Pull request #450 synchronize by jupblb
13m 17s release-0.8.2
release-0.8.2
13m 17s
Fix CI for fork PRs SCIP protocol review #104: Pull request #454 submitted by eseliger
11s
11s
Release 0.9.0 SCIP protocol review #103: Pull request #450 submitted by eseliger
8s
8s
Release 0.9.0 JVM bindings #43: Pull request #450 synchronize by jupblb
1m 27s release-0.8.2
release-0.8.2
1m 27s
Release 0.9.0 ci #99: Pull request #450 synchronize by jupblb
7m 32s release-0.8.2
release-0.8.2
7m 32s
Fix CI for fork PRs ci #98: Pull request #454 opened by jupblb
2m 56s fix-ci-fork-nix-tests
fix-ci-fork-nix-tests
2m 56s
fix(stats): handle windows file project roots SCIP protocol review #102: Pull request #453 edited by jupblb
1s
1s
fix(stats): handle windows file project roots SCIP protocol review #101: Pull request #453 submitted by jupblb
9s
9s
SCIP index uploading SCIP index uploading #349: Scheduled
12m 49s main
main
12m 49s
fix(stats): handle windows file project roots ci #97: Pull request #453 opened by jojosenthusiast
29s jojosenthusiast:fix-windows-file-uri
jojosenthusiast:fix-windows-file-uri
29s
Graph Update: go_modules in /. #1437589758 Dependency Graph #20: by dependabot Bot
34s main
main
34s
Update module github.com/urfave/cli/v3 to v3.10.1 SCIP protocol review #100: Pull request #452 submitted by jupblb
11s
11s
Update module github.com/urfave/cli/v3 to v3.10.1 ci #96: Pull request #452 synchronize by scip-nix-hash-fix Bot
13m 24s renovate/github.com-urfave-cli-v3-3.x
renovate/github.com-urfave-cli-v3-3.x
13m 24s
Update module github.com/urfave/cli/v3 to v3.10.1 ci #95: Pull request #452 opened by renovate Bot
7m 38s renovate/github.com-urfave-cli-v3-3.x
renovate/github.com-urfave-cli-v3-3.x
7m 38s
SCIP index uploading SCIP index uploading #348: Scheduled
12m 30s main
main
12m 30s
Add scip-cli to tools section ci #94: Pull request #451 synchronize by flesler
27s flesler:add-scip-cli-to-tools
flesler:add-scip-cli-to-tools
27s
Add scip-cli to tools section ci #93: Pull request #451 opened by flesler
30s flesler:add-scip-cli-to-tools
flesler:add-scip-cli-to-tools
30s
SCIP index uploading SCIP index uploading #347: Scheduled
13m 38s main
main
13m 38s
Release 0.9.0 ci #92: Pull request #450 synchronize by scip-nix-hash-fix Bot
20m 15s release-0.8.2
release-0.8.2
20m 15s
Release 0.9.0 JVM bindings #42: Pull request #450 synchronize by scip-nix-hash-fix Bot
57s release-0.8.2
release-0.8.2
57s
Release 0.9.0 ci #91: Pull request #450 synchronize by jupblb
8m 44s release-0.8.2
release-0.8.2
8m 44s