Skip to content

Actions: rems-project/cerberus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
175 workflow runs
175 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
(core) Add jump/where expressions Cerberus #2311: Pull request #1005 synchronize by dc-mak
3m 30s dc-mak:where-expr
dc-mak:where-expr
3m 30s
(core) Add jump/where expressions Cerberus #2310: Pull request #1005 synchronize by dc-mak
1m 36s dc-mak:where-expr
dc-mak:where-expr
1m 36s
Reworked floating types Cerberus #2309: Pull request #1019 opened by kmemarian
1m 49s kmemarian:reworked-floating
kmemarian:reworked-floating
1m 49s
Reworked floating types Cerberus-CHERI #602: Pull request #1019 opened by kmemarian
2m 37s kmemarian:reworked-floating
kmemarian:reworked-floating
2m 37s
(frontend) moving sizeof/alignof out of the memory interface Cerberus-CHERI #601: Commit b3e11ea pushed by kmemarian
3m 3s master
master
3m 3s
(frontend) moving sizeof/alignof out of the memory interface Cerberus #2308: Commit b3e11ea pushed by kmemarian
2m 23s master
master
2m 23s
(frontend) moving sizeof/alignof out of the memory interface Cerberus #2307: Pull request #1017 synchronize by kmemarian
6m 49s kmemarian:common-sizeof_alignof
kmemarian:common-sizeof_alignof
6m 49s
[ci] run apt-get update before apt-get install Cerberus #2306: Commit 2ab2560 pushed by kmemarian
6m 53s master
master
6m 53s
[ci] run apt-get update before apt-get install Cerberus-CHERI #600: Commit 2ab2560 pushed by kmemarian
31m 3s master
master
31m 3s
CI: run apt-get update before apt-get install Cerberus #2305: Pull request #1018 synchronize by kmemarian
1m 55s rbanerjee20:fix-ci-apt-update
rbanerjee20:fix-ci-apt-update
1m 55s
CI: run apt-get update before apt-get install Cerberus #2304: Pull request #1018 opened by rbanerjee20
6m 54s rbanerjee20:fix-ci-apt-update
rbanerjee20:fix-ci-apt-update
6m 54s
(frontend) moving sizeof/alignof out of the memory interface Cerberus #2303: Pull request #1017 opened by kmemarian
25s kmemarian:common-sizeof_alignof
kmemarian:common-sizeof_alignof
25s
Proper UB for the pure array_shift Cerberus-CHERI #599: Pull request #1016 opened by kmemarian
31m 46s kmemarian:array_shift_ptrval-undef
kmemarian:array_shift_ptrval-undef
31m 46s
Proper UB for the pure array_shift Cerberus #2302: Pull request #1016 opened by kmemarian
5m 41s kmemarian:array_shift_ptrval-undef
kmemarian:array_shift_ptrval-undef
5m 41s
[DRAFT] Initialisers support Cerberus #2301: Pull request #1015 opened by dc-mak
1m 46s dc-mak:initialisers-completion
dc-mak:initialisers-completion
1m 46s
(frontend) adding GNU extension: labels as value (statics only) Cerberus #2300: Commit c8c085d pushed by kmemarian
1m 50s master
master
1m 50s
(frontend) adding GNU extension: labels as value (statics only) Cerberus-CHERI #598: Commit c8c085d pushed by kmemarian
2m 36s master
master
2m 36s
(frontend) adding GNU extension: labels as value (statics only) Cerberus #2299: Pull request #1014 opened by kmemarian
1m 42s kmemarian:repair-frontend
kmemarian:repair-frontend
1m 42s
(frontend) allow GNU extension: return E; in a void function when… Cerberus #2298: Commit 83f9cc6 pushed by kmemarian
1m 47s master
master
1m 47s
(frontend) allow GNU extension: return E; in a void function when… Cerberus-CHERI #597: Commit 83f9cc6 pushed by kmemarian
2m 22s master
master
2m 22s
(frontend) allow GNU extension: return E; in a void function when E has type void (with --permissive) Cerberus #2297: Pull request #1013 opened by kmemarian
1m 37s kmemarian:repair-frontend
kmemarian:repair-frontend
1m 37s
(core_typing) add check for result type of binary expression in typec… Cerberus-CHERI #596: Commit 5a3a060 pushed by kmemarian
29m 9s master
master
29m 9s
(core_typing) add check for result type of binary expression in typec… Cerberus #2296: Commit 5a3a060 pushed by kmemarian
5m 47s master
master
5m 47s
Some fixes in the frontend Cerberus #2295: Pull request #1012 synchronize by kmemarian
1m 53s kmemarian:repair-frontend
kmemarian:repair-frontend
1m 53s
Some fixes in the frontend Cerberus #2294: Pull request #1012 synchronize by kmemarian
1m 58s kmemarian:repair-frontend
kmemarian:repair-frontend
1m 58s