Skip to content

Actions: scip-code/scip

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,830 workflow runs
1,830 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
SCIP index uploading SCIP index uploading #274: Scheduled
11m 25s main
main
11m 25s
release release #28: Manually run by jupblb
5m 7s main
main
5m 7s
Prepare for release 0.7.1 SCIP protocol review #17: Pull request #393 submitted by eseliger
11s
11s
Prepare for release 0.7.1 Nix #81: Pull request #393 synchronize by jupblb
3m 10s michal/prepare-release
michal/prepare-release
3m 10s
Prepare for release 0.7.1 Nix #80: Pull request #393 opened by jupblb
2m 51s michal/prepare-release
michal/prepare-release
2m 51s
SCIP index uploading SCIP index uploading #273: Scheduled
11m 51s main
main
11m 51s
Render external symbols snapshot outputs SCIP protocol review #16: Pull request #390 submitted by trly
10s
10s
Render external symbols snapshot outputs SCIP protocol review #15: Pull request #390 submitted by jupblb
11s
11s
Render external symbols snapshot outputs Nix #79: Pull request #390 synchronize by jupblb
4m 50s michal/external-symbols
michal/external-symbols
4m 50s
Render external symbols snapshot outputs SCIP protocol review #14: Pull request #390 submitted by trly
9s
9s
fix proto-review GitHub action SCIP protocol review #13: Pull request #392 submitted by eseliger
10s
10s
Render display_name and signature_documentation in snapshots Nix #78: Pull request #391 synchronize by jupblb
2m 46s michal/more-formatting
michal/more-formatting
2m 46s
Render display_name and signature_documentation in snapshots Nix #77: Pull request #391 synchronize by jupblb
3m 53s michal/more-formatting
michal/more-formatting
3m 53s
Render external symbols snapshot outputs SCIP protocol review #12: Pull request #390 submitted by jupblb
9s
9s
Render external symbols snapshot outputs Nix #76: Pull request #390 synchronize by jupblb
3m 11s michal/external-symbols
michal/external-symbols
3m 11s
fix proto-review GitHub action Nix #75: Pull request #392 synchronize by jupblb
7m 0s michal/fix-proto-check
michal/fix-proto-check
7m 0s
fix proto-review GitHub action Nix #74: Pull request #392 synchronize by jupblb
3m 9s michal/fix-proto-check
michal/fix-proto-check
3m 9s
fix proto-review GitHub action Nix #73: Pull request #392 opened by jupblb
3m 9s michal/fix-proto-check
michal/fix-proto-check
3m 9s
SCIP index uploading SCIP index uploading #272: Scheduled
12m 40s main
main
12m 40s
SCIP index uploading SCIP index uploading #271: Scheduled
12m 36s main
main
12m 36s
SCIP index uploading SCIP index uploading #270: Scheduled
12m 12s main
main
12m 12s
Render display_name and signature_documentation in snapshots SCIP protocol review #11: Pull request #391 submitted by trly
10s
10s
Render external symbols snapshot outputs SCIP protocol review #10: Pull request #390 submitted by trly
11s
11s
Render external symbols snapshot outputs SCIP protocol review #9: Pull request #390 submitted by trly
11s
11s
Render display_name and signature_documentation in snapshots Nix #72: Pull request #391 opened by jupblb
7m 26s michal/more-formatting
michal/more-formatting
7m 26s