Skip to content

Actions: outpost-os/sentry-kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow run results
98 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

framac: fixes workflow using github-ready image Sentry kernel build #64: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:53 7m 46s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:53 7m 46s
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 build #63: Commit 6f6a83c pushed by pthierry-ledger
July 31, 2024 16:53 8m 7s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:53 8m 7s
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 build #62: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:34 8m 6s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:34 8m 6s
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 build #61: Commit 3c98c69 pushed by pthierry-ledger
July 31, 2024 16:34 7m 36s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:34 7m 36s
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 build #60: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:20 8m 26s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:20 8m 26s
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
ci: increase proof job timeout Sentry kernel build #59: Commit 7b9b74d pushed by pthierry-ledger
July 31, 2024 16:20 8m 6s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:20 8m 6s
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
framac: fixes workflow using github-ready image Sentry kernel build #58: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:18 1m 38s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:18 1m 38s
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
ci: make frama-C analysis run for PR and merges Sentry kernel build #57: Commit a4420da pushed 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
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
framac: fixes workflow using github-ready image Sentry kernel build #56: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:13 5m 26s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:13 5m 26s
framac: fixing cvc4 bin version Sentry kernel build #55: Commit 7e6ab1a pushed by pthierry-ledger
July 31, 2024 16:13 5m 32s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:13 5m 32s
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
framac: fixes workflow using github-ready image Sentry kernel build #54: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 16:09 4m 44s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:09 4m 44s
proof: fixing python3 and pip3 install Sentry kernel build #53: Commit 43c406c pushed by pthierry-ledger
July 31, 2024 16:09 4m 44s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 16:09 4m 44s
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
framac: fixes workflow using github-ready image Sentry kernel build #52: Pull request #4 synchronize by pthierry-ledger
July 31, 2024 15:56 8m 6s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:56 8m 6s
proof: fixing python3 and pip3 install Sentry kernel build #51: Commit a0687fb pushed by pthierry-ledger
July 31, 2024 15:56 7m 55s ci-fix-framac-image
ci-fix-framac-image
July 31, 2024 15:56 7m 55s