Skip to content

Actions: GiulioDER/cca-audit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 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
github_actions in /. - Update #1540377676 Dependabot Updates #12: by dependabot Bot
40s master
master
40s
github_actions in /. - Update #1530939468 Dependabot Updates #11: by dependabot Bot
45s master
master
45s
chore(deps-dev): update ruff requirement from >=0.4 to >=0.16.2 CI #64: Pull request #49 opened by dependabot Bot
2m 58s dependabot/pip/ruff-gte-0.16.2
dependabot/pip/ruff-gte-0.16.2
2m 58s
chore(deps-dev): update semgrep requirement from >=1.50 to >=1.172.0 CI #63: Pull request #48 opened by dependabot Bot
2m 43s dependabot/pip/semgrep-gte-1.172.0
dependabot/pip/semgrep-gte-1.172.0
2m 43s
chore(deps-dev): update pytest requirement from >=7 to >=9.1.1 CI #62: Pull request #47 opened by dependabot Bot
2m 56s dependabot/pip/pytest-gte-9.1.1
dependabot/pip/pytest-gte-9.1.1
2m 56s
chore(deps-dev): update hypothesis requirement from >=6.0 to >=6.165.2 CI #61: Pull request #46 opened by dependabot Bot
2m 49s dependabot/pip/hypothesis-gte-6.165.2
dependabot/pip/hypothesis-gte-6.165.2
2m 49s
chore(deps-dev): update pyright requirement from >=1.1.350 to >=1.1.411 CI #60: Pull request #45 opened by dependabot Bot
2m 57s dependabot/pip/pyright-gte-1.1.411
dependabot/pip/pyright-gte-1.1.411
2m 57s
github_actions in /. - Update #1519903956 Dependabot Updates #10: by dependabot Bot
49s master
master
49s
pip in /. - Update #1519903950 Dependabot Updates #9: by dependabot Bot
2m 12s master
master
2m 12s
docs: harden repo presentation and audit claims CI #59: Commit eade17b pushed by GiulioDER
2m 54s master
master
2m 54s
Withdraw the 40-point memorization gap: the interval on the difference contains zero CI #58: Pull request #44 opened by GiulioDER
2m 37s fix/bench-headline-confound
fix/bench-headline-confound
2m 37s
github_actions in /. - Update #1505800689 Dependabot Updates #7: by dependabot Bot
49s master
master
49s
pip in /. - Update #1505800646 Dependabot Updates #8: by dependabot Bot
48s master
master
48s
Merge pull request #43 from GiulioDER/chore/release-0.9.0 CI #57: Commit 539885c pushed by GiulioDER
2m 48s master
master
2m 48s
release: 0.9.0 CI #56: Pull request #43 opened by GiulioDER
2m 44s chore/release-0.9.0
chore/release-0.9.0
2m 44s
Merge pull request #42 from GiulioDER/feat/codex-audit-fix CI #55: Commit 4b2968e pushed by GiulioDER
3m 0s master
master
3m 0s
feat(codex): land native audit+fix skill with self audit hardening CI #54: Pull request #42 opened by GiulioDER
3m 13s feat/codex-audit-fix
feat/codex-audit-fix
3m 13s
Merge pull request #40 from GiulioDER/fix/land-reliable-scalar-oracle CI #53: Commit 7eda8c3 pushed by GiulioDER
2m 56s master
master
2m 56s
feat(codex): add native audit+fix skill CI #52: Pull request #41 opened by GiulioDER
3m 0s feat/codex-audit-fix
feat/codex-audit-fix
3m 0s
fix(substrate): land reliable scalar oracle on master CI #51: Pull request #40 opened by GiulioDER
2m 40s fix/land-reliable-scalar-oracle
fix/land-reliable-scalar-oracle
2m 40s
Merge pull request #38 from GiulioDER/fix/restore-verification-contract CI #50: Commit 797a953 pushed by GiulioDER
3m 6s master
master
3m 6s
fix(substrate): fail closed on state and hidden coercion CI #49: Pull request #39 opened by GiulioDER
2m 55s fix/reliable-scalar-oracle
fix/reliable-scalar-oracle
2m 55s
fix(ci): restore the pyright verification contract CI #48: Pull request #38 opened by GiulioDER
2m 40s fix/restore-verification-contract
fix/restore-verification-contract
2m 40s
github_actions in /. - Update #1490681055 Dependabot Updates #6: by dependabot Bot
36s master
master
36s
pip in /. - Update #1490681033 Dependabot Updates #5: by dependabot Bot
1m 3s master
master
1m 3s