Skip to content

Actions: camelot-os/sentry-kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,780 workflow runs
1,780 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Framac-based coverage support for SonarQube Sentry kernel proof with Frama-C #404: Pull request #101 synchronize by PThierry
11m 23s PThierry:framac-coverage
PThierry:framac-coverage
11m 23s
Framac-based coverage support for SonarQube Sentry kernel build on GNU/Linux distros #403: Pull request #101 synchronize by PThierry
13m 5s PThierry:framac-coverage
PThierry:framac-coverage
13m 5s
Framac-based coverage support for SonarQube Sentry kernel build on MacOS X #404: Pull request #101 synchronize by PThierry
1m 48s PThierry:framac-coverage
PThierry:framac-coverage
1m 48s
Framac-based coverage support for SonarQube Check source code REUSE SPDX conformity #404: Pull request #101 synchronize by PThierry
17s PThierry:framac-coverage
PThierry:framac-coverage
17s
Framac-based coverage support for SonarQube Sentry kernel build on MacOS X #403: Pull request #101 opened by PThierry
1m 24s PThierry:framac-coverage
PThierry:framac-coverage
1m 24s
Framac-based coverage support for SonarQube Sentry kernel proof with Frama-C #403: Pull request #101 opened by PThierry
11m 41s PThierry:framac-coverage
PThierry:framac-coverage
11m 41s
Framac-based coverage support for SonarQube Sentry kernel build on GNU/Linux distros #402: Pull request #101 opened by PThierry
1h 6m 54s PThierry:framac-coverage
PThierry:framac-coverage
1h 6m 54s
Framac-based coverage support for SonarQube Check source code REUSE SPDX conformity #403: Pull request #101 opened by PThierry
18s PThierry:framac-coverage
PThierry:framac-coverage
18s
Merge pull request #100 from PThierry/fix-framac-deprecated Check source code REUSE SPDX conformity #402: Commit bb1159a pushed by PThierry
16s main
main
16s
Merge pull request #100 from PThierry/fix-framac-deprecated Sentry kernel build on GNU/Linux distros #401: Commit bb1159a pushed by PThierry
7m 32s main
main
7m 32s
Merge pull request #100 from PThierry/fix-framac-deprecated Sentry kernel code quality analysis using SonarCloud #32: Commit bb1159a pushed by PThierry
3m 9s main
main
3m 9s
Merge pull request #100 from PThierry/fix-framac-deprecated Sentry kernel proof with Frama-C #402: Commit bb1159a pushed by PThierry
11m 30s main
main
11m 30s
Merge pull request #100 from PThierry/fix-framac-deprecated Sentry kernel build on MacOS X #402: Commit bb1159a pushed by PThierry
1m 25s main
main
1m 25s
proof: fixing deprecated empty_block() Frama-C predicate with valid_or_empty() Sentry kernel build on GNU/Linux distros #400: Pull request #100 opened by PThierry
13m 39s PThierry:fix-framac-deprecated
PThierry:fix-framac-deprecated
13m 39s
proof: fixing deprecated empty_block() Frama-C predicate with valid_or_empty() Sentry kernel proof with Frama-C #401: Pull request #100 opened by PThierry
11m 36s PThierry:fix-framac-deprecated
PThierry:fix-framac-deprecated
11m 36s
proof: fixing deprecated empty_block() Frama-C predicate with valid_or_empty() Check source code REUSE SPDX conformity #401: Pull request #100 opened by PThierry
17s PThierry:fix-framac-deprecated
PThierry:fix-framac-deprecated
17s
proof: fixing deprecated empty_block() Frama-C predicate with valid_or_empty() Sentry kernel build on MacOS X #401: Pull request #100 opened by PThierry
1m 28s PThierry:fix-framac-deprecated
PThierry:fix-framac-deprecated
1m 28s
pip in /. - Update #1253721976 Dependabot Updates #115: by dependabot bot
48s main
main
48s
github_actions in /. - Update #1253721980 Dependabot Updates #114: by dependabot bot
40s main
main
40s
uapi,posix: initial POSIX support for UAPI Check source code REUSE SPDX conformity #400: Pull request #99 synchronize by PThierry
15s PThierry:uapi-for-posix
PThierry:uapi-for-posix
15s
uapi,posix: initial POSIX support for UAPI Sentry kernel build on MacOS X #400: Pull request #99 synchronize by PThierry
1m 24s PThierry:uapi-for-posix
PThierry:uapi-for-posix
1m 24s
uapi,posix: initial POSIX support for UAPI Sentry kernel build on GNU/Linux distros #399: Pull request #99 synchronize by PThierry
10m 5s PThierry:uapi-for-posix
PThierry:uapi-for-posix
10m 5s
uapi,posix: initial POSIX support for UAPI Sentry kernel proof with Frama-C #400: Pull request #99 synchronize by PThierry
11m 37s PThierry:uapi-for-posix
PThierry:uapi-for-posix
11m 37s
uapi,posix: initial POSIX support for UAPI Check source code REUSE SPDX conformity #399: Pull request #99 opened by PThierry
14s PThierry:uapi-for-posix
PThierry:uapi-for-posix
14s
uapi,posix: initial POSIX support for UAPI Sentry kernel build on MacOS X #399: Pull request #99 opened by PThierry
1m 38s PThierry:uapi-for-posix
PThierry:uapi-for-posix
1m 38s