Skip to content

Actions: rems-project/casemate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rocq Rocq #4: Scheduled
5m 20s main
main
5m 20s
Rocq Rocq #3: Scheduled
5m 18s main
main
5m 18s
Rocq Rocq #2: Scheduled
5m 18s main
main
5m 18s
Rocq Rocq #1: Scheduled
5m 27s main
main
5m 27s
bump: version: 2.1.0 CI #79: Commit 96be437 pushed by bensimner
1m 0s main
main
1m 0s
Move state includes internally bump #3: Pull request #16 closed by bensimner
17s wip-internal-stateh
wip-internal-stateh
17s
(lib) move transition type internally CI #78: Commit 3f191b4 pushed by bensimner
23s main
main
23s
(Make/bump-version) also bump src/lib/casemate.h CI #77: Commit dfbb09f pushed by bensimner
36s main
main
36s
Move state includes internally CI #76: Pull request #16 synchronize by bensimner
32s wip-internal-stateh
wip-internal-stateh
32s
(github/workflows) split CI workflows CI #75: Commit cf5a2bc pushed by bensimner
29s main
main
29s
(github/workflows/bump) use deploy key CI #74: Commit d546f39 pushed by bensimner
3m 14s main
main
3m 14s
Fix CI for local running bump #2: Pull request #17 closed by bensimner
13s fix-ci-local
fix-ci-local
13s
Fix CI for local running CI #73: Commit ff654bd pushed by bensimner
10m 12s main
main
10m 12s
CI: add auto-bumper bump #1: Pull request #18 closed by bensimner
16s add-ci-bumper
add-ci-bumper
16s
(github/ci) add auto-bumper CI #72: Commit a50614e pushed by bensimner
1m 4s main
main
1m 4s
CI: add auto-bumper CI #71: Pull request #18 synchronize by bensimner
10m 39s add-ci-bumper
add-ci-bumper
10m 39s
CI: add auto-bumper CI #70: Pull request #18 opened by bensimner
4m 18s add-ci-bumper
add-ci-bumper
4m 18s
Fix CI for local running CI #69: Pull request #17 synchronize by tperami
58s fix-ci-local
fix-ci-local
58s
bump: version CI #68: Commit f373485 pushed by bensimner
1m 31s main
main
1m 31s
(git) fix blame-ignore-revs: rebase invalidated hashes CI #67: Commit 6ed74dc pushed by bensimner
10m 35s main
main
10m 35s
(git) blame ignore fmt CI #66: Commit fd18b46 pushed by bensimner
3m 28s main
main
3m 28s
clang-format CI #65: Pull request #13 synchronize by bensimner
10m 14s apply-clang-format
apply-clang-format
10m 14s
Move state includes internally CI #64: Pull request #16 opened by bensimner
9m 54s wip-internal-stateh
wip-internal-stateh
9m 54s
(lib/driver) add CONFIG_LINUX CI #63: Commit d0534b6 pushed by bensimner
59s main
main
59s
(src/lib) allowing to build with both 6.4 and android15-6.6 CI #62: Pull request #2 synchronize by kmemarian
2s kmemarian:main
kmemarian:main
2s