Skip to content

Actions: sky-ecosystem/sp-beam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat: add Certora specs (#7) Certora #18: Commit bc88579 pushed by amusingaxl
21m 20s master
master
21m 20s
Feat: add Certora specs (#7) CI #209: Commit bc88579 pushed by amusingaxl
28s master
master
28s
Feat: add Certora specs Certora #17: Pull request #7 synchronize by amusingaxl
15m 53s feat/certora-spec
feat/certora-spec
15m 53s
Feat: add Certora specs CI #208: Pull request #7 synchronize by amusingaxl
22s feat/certora-spec
feat/certora-spec
22s
feat: add rule to check invariant on min <= max for the configs CI #207: Commit d20dd66 pushed by amusingaxl
23s feat/certora-spec
feat/certora-spec
23s
feat: add rule to check invariant on min <= max for the configs Certora #16: Commit d20dd66 pushed by amusingaxl
11m 59s feat/certora-spec
feat/certora-spec
11m 59s
Feat: add Certora specs CI #206: Pull request #7 synchronize by amusingaxl
28s feat/certora-spec
feat/certora-spec
28s
Feat: add Certora specs Certora #15: Pull request #7 synchronize by amusingaxl
14m 25s feat/certora-spec
feat/certora-spec
14m 25s
refactor: improve rules and mocks CI #205: Commit bf641e6 pushed by amusingaxl
31s feat/certora-spec
feat/certora-spec
31s
refactor: improve rules and mocks Certora #14: Commit bf641e6 pushed by amusingaxl
14m 36s feat/certora-spec
feat/certora-spec
14m 36s
chore: update Cantina audit reports with the public version (#10) CI #204: Commit eaadd53 pushed by amusingaxl
31s master
master
31s
Update Cantina audit report CI #203: Pull request #10 opened by amusingaxl
34s chore/update-audit-report
chore/update-audit-report
34s
chore: update Cantina audit reports with the public version CI #202: Commit f9e4fb1 pushed by amusingaxl
27s chore/update-audit-report
chore/update-audit-report
27s
Feat: add Certora specs CI #201: Pull request #7 synchronize by amusingaxl
54s feat/certora-spec
feat/certora-spec
54s
Feat: add Certora specs Certora #13: Pull request #7 synchronize by amusingaxl
18m 38s feat/certora-spec
feat/certora-spec
18m 38s
Merge branch 'master' into feat/certora-spec CI #200: Commit d8523fc pushed by amusingaxl
36s feat/certora-spec
feat/certora-spec
36s
Merge branch 'master' into feat/certora-spec Certora #12: Commit d8523fc pushed by amusingaxl
17m 40s feat/certora-spec
feat/certora-spec
17m 40s
initial implementation (#3) CI #199: Commit 698d85a pushed by amusingaxl
51s master
master
51s
Feat: add Certora specs Certora #11: Pull request #7 synchronize by amusingaxl
14m 31s feat/certora-spec
feat/certora-spec
14m 31s
Feat: add Certora specs CI #198: Pull request #7 synchronize by amusingaxl
37s feat/certora-spec
feat/certora-spec
37s
feat(invariants): add rules check on invariants for the rates being set CI #197: Commit 67d5fbc pushed by amusingaxl
41s feat/certora-spec
feat/certora-spec
41s
feat(invariants): add rules check on invariants for the rates being set Certora #10: Commit 67d5fbc pushed by amusingaxl
15m 36s feat/certora-spec
feat/certora-spec
15m 36s
initial implementation CI #196: Pull request #3 synchronize by oddaf
36s initial-implementation
initial-implementation
36s
Update README.md CI #195: Commit 4ed07c8 pushed by oddaf
38s initial-implementation
initial-implementation
38s
initial implementation CI #194: Pull request #3 synchronize by oddaf
49s initial-implementation
initial-implementation
49s