Skip to content

Actions: outpost-os/sentry-kernel

Actions

Sentry kernel proof with Frama-C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
31 workflow run results
31 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

framac: fixes workflow using github-ready image Sentry kernel proof with Frama-C #31: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:53 8m 16s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:53 8m 16s
meson: fix parseelf exec by using py3 object Sentry kernel proof with Frama-C #30: Commit 6f6a83c pushed by pthierry-ledger
July 31, 2024 16:53 9m 59s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:53 9m 59s
framac: fixes workflow using github-ready image Sentry kernel proof with Frama-C #29: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:34 2m 50s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:34 2m 50s
framac: rcc wp fails, to be fixed in another PR Sentry kernel proof with Frama-C #28: Commit 3c98c69 pushed by pthierry-ledger
July 31, 2024 16:34 2m 49s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:34 2m 49s
framac: fixes workflow using github-ready image Sentry kernel proof with Frama-C #27: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:20 9m 22s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:20 9m 22s
ci: increase proof job timeout Sentry kernel proof with Frama-C #26: Commit 7b9b74d pushed by pthierry-ledger
July 31, 2024 16:20 8m 29s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:20 8m 29s
framac: fixes workflow using github-ready image Sentry kernel proof with Frama-C #25: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:18 1m 36s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:18 1m 36s
ci: make frama-C analysis run for PR and merges Sentry kernel proof with Frama-C #24: Commit a4420da pushed by pthierry-ledger
July 31, 2024 16:18 1m 34s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:18 1m 34s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #23: Manually run by pthierry-ledger
July 31, 2024 16:13 5m 13s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:13 5m 13s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #22: Manually run by pthierry-ledger
July 31, 2024 16:09 2m 47s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:09 2m 47s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #21: Manually run by pthierry-ledger
July 31, 2024 15:57 2m 30s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:57 2m 30s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #20: Manually run by pthierry-ledger
July 31, 2024 15:45 2m 10s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:45 2m 10s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #19: Manually run by pthierry-ledger
July 31, 2024 15:41 2m 4s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:41 2m 4s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #18: Manually run by pthierry-ledger
July 31, 2024 15:31 1m 29s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:31 1m 29s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #17: Manually run by pthierry-ledger
July 31, 2024 15:28 1m 27s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:28 1m 27s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #16: Manually run by pthierry-ledger
July 31, 2024 15:25 1m 42s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:25 1m 42s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #15: Manually run by pthierry-ledger
July 31, 2024 15:21 1m 18s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:21 1m 18s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #14: Manually run by pthierry-ledger
July 31, 2024 15:17 2m 2s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:17 2m 2s
Sentry kernel proof with Frama-C Sentry kernel proof with Frama-C #13: Manually run by pthierry-ledger
July 31, 2024 15:02 22s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:02 22s
gh: finishing publication fixes Sentry kernel proof with Frama-C #12: Pull request #3 synchronize by pthierry-ledger
July 31, 2024 10:28 3m 23s publish-fix
publish-fix
July 31, 2024 10:28 3m 23s
gh: finishing publication fixes Sentry kernel proof with Frama-C #11: Pull request #3 synchronize by pthierry-ledger
July 31, 2024 10:22 3m 7s publish-fix
publish-fix
July 31, 2024 10:22 3m 7s
gh: finishing publication fixes Sentry kernel proof with Frama-C #10: Pull request #3 synchronize by pthierry-ledger
July 31, 2024 10:18 3m 29s publish-fix
publish-fix
July 31, 2024 10:18 3m 29s
gh: finishing publication fixes Sentry kernel proof with Frama-C #9: Pull request #3 synchronize by pthierry-ledger
July 31, 2024 09:50 21m 13s publish-fix
publish-fix
July 31, 2024 09:50 21m 13s
gh: finishing publication fixes Sentry kernel proof with Frama-C #8: Pull request #3 synchronize by pthierry-ledger
July 31, 2024 09:16 21m 20s publish-fix
publish-fix
July 31, 2024 09:16 21m 20s
gh: finishing publication fixes Sentry kernel proof with Frama-C #7: Pull request #3 synchronize by pthierry-ledger
July 31, 2024 09:09 7m 24s publish-fix
publish-fix
July 31, 2024 09:09 7m 24s