Skip to content

Actions: airbnb/skipper

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 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
pages build and deployment pages-build-deployment #8: by github-pages Bot
27s gh-pages
gh-pages
27s
Add per-workflow duplicate start suppression option (#34) build #31: Commit 3cf85e7 pushed by rgamba
10m 45s main
main
10m 45s
Add per-workflow duplicate start suppression option (#34) formal #13: Commit 3cf85e7 pushed by rgamba
12m 20s main
main
12m 20s
pages build and deployment pages-build-deployment #7: by github-pages Bot
21s gh-pages
gh-pages
21s
ci: gate pull requests on coverage and mutation score of the lines th… build #30: Commit 97f4095 pushed by rgamba
7m 22s main
main
7m 22s
ci: gate pull requests on coverage and mutation score of the lines th… formal #12: Commit 97f4095 pushed by rgamba
9m 52s main
main
9m 52s
ci: gate pull requests on coverage and mutation score of the lines they change build #29: Pull request #38 synchronize by rgamba
9m 9s claude/coverage-mutation-testing-ci-7a2063
claude/coverage-mutation-testing-ci-7a2063
9m 9s
ci: gate pull requests on coverage and mutation score of the lines they change formal #11: Pull request #38 synchronize by rgamba
8m 5s claude/coverage-mutation-testing-ci-7a2063
claude/coverage-mutation-testing-ci-7a2063
8m 5s
ci: gate pull requests on coverage and mutation score of the lines they change build #28: Pull request #38 synchronize by rgamba
11m 4s claude/coverage-mutation-testing-ci-7a2063
claude/coverage-mutation-testing-ci-7a2063
11m 4s
ci: gate pull requests on coverage and mutation score of the lines they change formal #10: Pull request #38 synchronize by rgamba
11m 56s claude/coverage-mutation-testing-ci-7a2063
claude/coverage-mutation-testing-ci-7a2063
11m 56s
ci: gate pull requests on coverage and mutation score of the lines they change build #27: Pull request #38 synchronize by rgamba
2m 31s claude/coverage-mutation-testing-ci-7a2063
claude/coverage-mutation-testing-ci-7a2063
2m 31s
ci: gate pull requests on coverage and mutation score of the lines they change formal #9: Pull request #38 synchronize by rgamba
1m 23s claude/coverage-mutation-testing-ci-7a2063
claude/coverage-mutation-testing-ci-7a2063
1m 23s
ci: gate pull requests on coverage and mutation score of the lines they change build #26: Pull request #38 opened by rgamba
8m 8s claude/coverage-mutation-testing-ci-7a2063
claude/coverage-mutation-testing-ci-7a2063
8m 8s
ci: gate pull requests on coverage and mutation score of the lines they change formal #8: Pull request #38 opened by rgamba
9m 12s claude/coverage-mutation-testing-ci-7a2063
claude/coverage-mutation-testing-ci-7a2063
9m 12s
feat: interrupt the running action when a workflow is cancelled (opt-in) build #25: Pull request #31 synchronize by sndre
12m 35s feat/inflight-cancellation-interrupt
feat/inflight-cancellation-interrupt
12m 35s
feat: interrupt the running action when a workflow is cancelled (opt-in) formal #7: Pull request #31 synchronize by sndre
12m 0s feat/inflight-cancellation-interrupt
feat/inflight-cancellation-interrupt
12m 0s
pages build and deployment pages-build-deployment #6: by github-pages Bot
24s gh-pages
gh-pages
24s
test: validate recorded engine runs against the TLA+ model (#36) build #24: Commit ce17304 pushed by rgamba
13m 50s main
main
13m 50s
test: validate recorded engine runs against the TLA+ model (#36) formal #6: Commit ce17304 pushed by rgamba
9m 45s main
main
9m 45s
pages build and deployment pages-build-deployment #5: by github-pages Bot
20s gh-pages
gh-pages
20s
test: validate recorded engine runs against the TLA+ model build #23: Pull request #36 synchronize by rgamba
8m 42s formal-trace-validation
formal-trace-validation
8m 42s
test: validate recorded engine runs against the TLA+ model formal #5: Pull request #36 synchronize by rgamba
9m 53s formal-trace-validation
formal-trace-validation
9m 53s
test: TLA+ model of how the engine drives a workflow, model-checked i… build #22: Commit c6fe394 pushed by rgamba
9m 16s main
main
9m 16s
test: TLA+ model of how the engine drives a workflow, model-checked i… formal #4: Commit c6fe394 pushed by rgamba
44s main
main
44s
test: validate recorded engine runs against the TLA+ model build #21: Pull request #36 synchronize by rgamba
8m 52s formal-trace-validation
formal-trace-validation
8m 52s