Skip to content

Actions: FreeRTOS/FreeRTOS

Actions

Kernel Unit Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kernel-unit-tests.yml
1,257 workflow runs
1,257 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Use CBMC version 5.95.1 Kernel Unit Tests #3463: Pull request #1226 synchronize by kar-rahul-aws
June 26, 2024 13:36 7m 50s tautschnig:cbmc-5.95.1
tautschnig:cbmc-5.95.1
June 26, 2024 13:36 7m 50s
Fix compilation issue in WinSim Demo (#1232) Kernel Unit Tests #3462: Commit ba4f37f pushed by shubnil
June 21, 2024 11:21 7m 39s main
main
June 21, 2024 11:21 7m 39s
Fix compilation issue in WinSim Demo Kernel Unit Tests #3461: Pull request #1232 synchronize by shubnil
June 21, 2024 10:38 7m 0s kar-rahul-aws:fix_compilation_issue_winsim_demo
kar-rahul-aws:fix_compilation_issue_winsim_demo
June 21, 2024 10:38 7m 0s
FreeRTOS_Plus_TCP_Echo_Qemu_mps2: remove unused defines/functions (#1… Kernel Unit Tests #3460: Commit a33d259 pushed by rawalexe
June 20, 2024 20:23 7m 54s main
main
June 20, 2024 20:23 7m 54s
Use CBMC version 5.95.1 Kernel Unit Tests #3459: Pull request #1226 synchronize by kar-rahul-aws
June 20, 2024 15:16 8m 17s tautschnig:cbmc-5.95.1
tautschnig:cbmc-5.95.1
June 20, 2024 15:16 8m 17s
FreeRTOS_Plus_TCP_Echo_Qemu_mps2: remove unused defines/functions Kernel Unit Tests #3458: Pull request #1229 synchronize by kar-rahul-aws
June 20, 2024 15:16 7m 59s laroche:lr7
laroche:lr7
June 20, 2024 15:16 7m 59s
Fix compilation issue in WinSim Demo Kernel Unit Tests #3457: Pull request #1232 synchronize by kar-rahul-aws
June 20, 2024 14:42 8m 4s kar-rahul-aws:fix_compilation_issue_winsim_demo
kar-rahul-aws:fix_compilation_issue_winsim_demo
June 20, 2024 14:42 8m 4s
added cygwin option for compilation Kernel Unit Tests #3456: Pull request #1230 synchronize by aggarg
June 20, 2024 10:36 7m 14s joejoseph08:feature/update_cygwin_freertos
joejoseph08:feature/update_cygwin_freertos
June 20, 2024 10:36 7m 14s
Fix compilation issue in WinSim Demo Kernel Unit Tests #3455: Pull request #1232 synchronize by kar-rahul-aws
June 19, 2024 21:21 7m 41s kar-rahul-aws:fix_compilation_issue_winsim_demo
kar-rahul-aws:fix_compilation_issue_winsim_demo
June 19, 2024 21:21 7m 41s
Fix compilation issue in WinSim Demo Kernel Unit Tests #3454: Pull request #1232 opened by kar-rahul-aws
June 19, 2024 21:10 7m 8s kar-rahul-aws:fix_compilation_issue_winsim_demo
kar-rahul-aws:fix_compilation_issue_winsim_demo
June 19, 2024 21:10 7m 8s
Remove the configASSERT unit test for prvCheckForRunStateChange (#1231) Kernel Unit Tests #3453: Commit b2b177a pushed by chinglee-iot
June 19, 2024 09:30 7m 0s main
main
June 19, 2024 09:30 7m 0s
Remove the configASSERT test for prvCheckForRunStateChange Kernel Unit Tests #3452: Pull request #1231 opened by chinglee-iot
June 19, 2024 09:08 6m 58s chinglee-iot:kernel-prvCheckForRunStateChange-unit-test
chinglee-iot:kernel-prvCheckForRunStateChange-unit-test
June 19, 2024 09:08 6m 58s
added cygwin option for compilation Kernel Unit Tests #3451: Pull request #1230 synchronize by rawalexe
June 17, 2024 15:18 7m 25s joejoseph08:feature/update_cygwin_freertos
joejoseph08:feature/update_cygwin_freertos
June 17, 2024 15:18 7m 25s
added cygwin option for compilation Kernel Unit Tests #3450: Pull request #1230 opened by joejoseph08
June 17, 2024 13:46 6m 59s joejoseph08:feature/update_cygwin_freertos
joejoseph08:feature/update_cygwin_freertos
June 17, 2024 13:46 6m 59s
FreeRTOS_Plus_TCP_Echo_Qemu_mps2: remove unused defines/functions Kernel Unit Tests #3449: Pull request #1229 synchronize by rawalexe
June 14, 2024 22:54 7m 37s laroche:lr7
laroche:lr7
June 14, 2024 22:54 7m 37s
Use CBMC version 5.95.1 Kernel Unit Tests #3448: Pull request #1226 synchronize by amazonKamath
June 14, 2024 09:36 7m 2s tautschnig:cbmc-5.95.1
tautschnig:cbmc-5.95.1
June 14, 2024 09:36 7m 2s
FreeRTOS_Plus_TCP_Echo_Qemu_mps2: remove unused defines/functions Kernel Unit Tests #3447: Pull request #1229 opened by laroche
June 14, 2024 05:13 8m 7s laroche:lr7
laroche:lr7
June 14, 2024 05:13 8m 7s
Fix unit test for kernel PR #1082 (#1228) Kernel Unit Tests #3446: Commit bf046c1 pushed by n9wxu
June 10, 2024 15:30 7m 55s main
main
June 10, 2024 15:30 7m 55s
Use CBMC version 5.95.1 Kernel Unit Tests #3445: Pull request #1226 synchronize by kar-rahul-aws
June 10, 2024 07:15 7m 24s tautschnig:cbmc-5.95.1
tautschnig:cbmc-5.95.1
June 10, 2024 07:15 7m 24s
Fix unit test for kernel PR #1082 Kernel Unit Tests #3444: Pull request #1228 synchronize by aggarg
June 10, 2024 06:02 7m 5s aggarg:unit_test
aggarg:unit_test
June 10, 2024 06:02 7m 5s
Posix_GCC: update compiler options (#1227) Kernel Unit Tests #3443: Commit 5f85f43 pushed by aggarg
June 10, 2024 06:02 8m 44s main
main
June 10, 2024 06:02 8m 44s
Fix unit test for kernel PR #1082 Kernel Unit Tests #3442: Pull request #1228 opened by aggarg
June 10, 2024 05:56 7m 35s aggarg:unit_test
aggarg:unit_test
June 10, 2024 05:56 7m 35s
Posix_GCC: update compiler options Kernel Unit Tests #3441: Pull request #1227 synchronize by aggarg
June 10, 2024 05:20 7m 8s laroche:lr5
laroche:lr5
June 10, 2024 05:20 7m 8s
Posix_GCC: update compiler options Kernel Unit Tests #3440: Pull request #1227 opened by laroche
June 6, 2024 19:48 7m 4s laroche:lr5
laroche:lr5
June 6, 2024 19:48 7m 4s
Use CBMC version 5.95.1 Kernel Unit Tests #3439: Pull request #1226 opened by tautschnig
June 6, 2024 10:39 7m 12s tautschnig:cbmc-5.95.1
tautschnig:cbmc-5.95.1
June 6, 2024 10:39 7m 12s