Skip to content

Actions: praxis-proxy/policy

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
181 workflow runs
181 workflow runs

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
build(deps): bump base64 from 0.22.1 to 0.23.1 Coverage #183: Pull request #62 synchronize by dependabot Bot
4m 15s dependabot/cargo/base64-0.23.1
dependabot/cargo/base64-0.23.1
4m 15s
chore(release): v0.2.0 (#80) Coverage #182: Commit 9ee972f pushed by araujof
4m 16s main
main
4m 16s
chore(release): v0.2.0 Coverage #181: Pull request #80 synchronize by araujof
5m 4s araujof:release/0.2.0
araujof:release/0.2.0
5m 4s
chore(release): v0.2.0 Coverage #180: Pull request #80 synchronize by araujof
1m 35s araujof:release/0.2.0
araujof:release/0.2.0
1m 35s
chore(release): v0.2.0 Coverage #179: Pull request #80 opened by araujof
4m 4s araujof:release/0.2.0
araujof:release/0.2.0
4m 4s
test(core): stop the alarm collector losing events under concurrency … Coverage #178: Commit 711a8bc pushed by araujof
3m 20s main
main
3m 20s
test(core): stop the alarm collector losing events under concurrency Coverage #177: Pull request #79 opened by araujof
3m 16s araujof:fix/flaky-alarm-collector
araujof:fix/flaky-alarm-collector
3m 16s
fix: four gaps found porting Praxis onto this release (#72) Coverage #176: Commit a63af82 pushed by shaneutt
4m 20s main
main
4m 20s
fix: four gaps found porting Praxis onto this release Coverage #175: Pull request #72 synchronize by araujof
4m 14s araujof:fix/praxis-port-gaps
araujof:fix/praxis-port-gaps
4m 14s
fix: close fail-open paths found by the security analysis (#45) Coverage #174: Commit e437eee pushed by terylt
6m 4s main
main
6m 4s
fix: four gaps found porting Praxis onto this release Coverage #173: Pull request #72 synchronize by araujof
4m 5s araujof:fix/praxis-port-gaps
araujof:fix/praxis-port-gaps
4m 5s
fix: four gaps found porting Praxis onto this release Coverage #172: Pull request #72 synchronize by araujof
3m 58s araujof:fix/praxis-port-gaps
araujof:fix/praxis-port-gaps
3m 58s
feat(test): write down the safety invariants and test them as invariants Coverage #171: Pull request #71 synchronize by mkoushni
4m 4s mkoushni:feat/test-safety-invariants
mkoushni:feat/test-safety-invariants
4m 4s
fix: four gaps found porting Praxis onto this release Coverage #170: Pull request #72 synchronize by araujof
3m 4s araujof:fix/praxis-port-gaps
araujof:fix/praxis-port-gaps
3m 4s
fix: four gaps found porting Praxis onto this release Coverage #169: Pull request #72 opened by araujof
3m 57s araujof:fix/praxis-port-gaps
araujof:fix/praxis-port-gaps
3m 57s
feat(test): write down the safety invariants and test them as invariants Coverage #168: Pull request #71 synchronize by mkoushni
3m 49s mkoushni:feat/test-safety-invariants
mkoushni:feat/test-safety-invariants
3m 49s
feat(test): write down the safety invariants and test them as invariants Coverage #167: Pull request #71 opened by mkoushni
5m 0s mkoushni:feat/test-safety-invariants
mkoushni:feat/test-safety-invariants
5m 0s
test: exercise engine snapshot updates under real parallelism Coverage #166: Pull request #60 synchronize by abdallahsamabd
4m 7s abdallahsamabd:feat/test22
abdallahsamabd:feat/test22
4m 7s
test: exercise engine snapshot updates under real parallelism Coverage #165: Pull request #60 synchronize by abdallahsamabd
4m 0s abdallahsamabd:feat/test22
abdallahsamabd:feat/test22
4m 0s
fix: close fail-open paths found by the security analysis Coverage #164: Pull request #45 synchronize by mkoushni
3m 28s mkoushni:security/analysis-pass
mkoushni:security/analysis-pass
3m 28s
fix: correctness and fail-closed gaps (#63) Coverage #163: Commit f6def82 pushed by shaneutt
3m 55s main
main
3m 55s
fix: correctness and fail-closed gaps Coverage #162: Pull request #63 synchronize by araujof
3m 59s araujof:feat/improvements
araujof:feat/improvements
3m 59s
fix: correctness and fail-closed gaps Coverage #161: Pull request #63 opened by araujof
3m 42s araujof:feat/improvements
araujof:feat/improvements
3m 42s
test: exercise engine snapshot updates under real parallelism Coverage #160: Pull request #60 synchronize by abdallahsamabd
5m 11s abdallahsamabd:feat/test22
abdallahsamabd:feat/test22
5m 11s
fix: close fail-open paths found by the security analysis Coverage #159: Pull request #45 synchronize by mkoushni
4m 24s mkoushni:security/analysis-pass
mkoushni:security/analysis-pass
4m 24s