Skip to content

Actions: spolu/code-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 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 PHP contract extraction Review bot #39: Pull request #41 opened by mattsbl
Action required mattsbl:feat/php-support
mattsbl:feat/php-support
Action required
Restore the light theme when opening skill setup Publish website #6: Commit 6d1b1a9 pushed by spolu
22s main
main
22s
Merge pull request #40 from spolu/spolu/site-agents-setup Publish website #5: Commit 383d14c pushed by spolu
18s main
main
18s
Review request Review bot #38: Pull request #40 opened by spolu
8s spolu/site-agents-setup
spolu/site-agents-setup
8s
Merge pull request #39 from spolu/spolu/retro-terminal-site Publish website #4: Commit aaa05be pushed by spolu
21s main
main
21s
Review request Review bot #37: Pull request #39 edited by spolu
7s spolu/retro-terminal-site
spolu/retro-terminal-site
7s
Review request Review bot #36: Pull request #39 opened by spolu
11s spolu/retro-terminal-site
spolu/retro-terminal-site
11s
Add Sources button to the website hero Publish website #3: Commit 2601c61 pushed by spolu
21s main
main
21s
fix Publish website #2: Commit 12f9516 pushed by spolu
17s main
main
17s
Merge pull request #38 from spolu/spolu/code-contracts-website Publish website #1: Commit f8b5a8f pushed by spolu
16s main
main
16s
Contract review #38 Review bot #35: Manually run by github-actions Bot
9s spolu/code-contracts-website
spolu/code-contracts-website
9s
Review request Review bot #34: Issue comment #38 (comment) created by spolu
12s
12s
Review request Review bot #33: Pull request #38 edited by spolu
12s spolu/code-contracts-website
spolu/code-contracts-website
12s
Review request Review bot #32: Pull request #38 opened by spolu
8s spolu/code-contracts-website
spolu/code-contracts-website
8s
Review request Review bot #31: Pull request #37 opened by spolu
7s spolu/rename-contract-review-labels
spolu/rename-contract-review-labels
7s
Review request Review bot #30: Pull request #36 edited by spolu
9s spolu/scope-contract-verification
spolu/scope-contract-verification
9s
Review request Review bot #29: Pull request #36 edited by spolu
9s spolu/scope-contract-verification
spolu/scope-contract-verification
9s
Contract review #36 Review bot #28: Manually run by github-actions Bot
2m 26s spolu/scope-contract-verification
spolu/scope-contract-verification
2m 26s
Review request Review bot #27: Issue comment #36 (comment) created by spolu
12s
12s
Review request Review bot #26: Pull request #36 opened by spolu
13s spolu/scope-contract-verification
spolu/scope-contract-verification
13s
Contract review #35 Review bot #25: Manually run by github-actions Bot
4m 40s spolu/refine-existing-contracts
spolu/refine-existing-contracts
4m 40s
Review request Review bot #24: Issue comment #35 (comment) created by spolu
11s
11s
Review request Review bot #23: Pull request #35 opened by spolu
10s spolu/refine-existing-contracts
spolu/refine-existing-contracts
10s
Review request Review bot #22: Pull request #34 opened by spolu
9s spolu/improve-contract-writing
spolu/improve-contract-writing
9s
Review request Review bot #21: Pull request #33 edited by spolu
9s spolu/fix-delegated-contract-review
spolu/fix-delegated-contract-review
9s