Skip to content

Actions: seL4/ci-actions

Deploy webserver image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

platforms: switch to different odroidxu4 board
Deploy webserver image #52: Commit 08f4dc6 pushed by Indanz
January 31, 2024 22:47 1m 51s master
January 31, 2024 22:47 1m 51s
platforms: revert custom settings
Deploy webserver image #51: Commit fcb7f29 pushed by lsf37
January 30, 2024 07:59 1m 57s master
January 30, 2024 07:59 1m 57s
platforms: set ZCU102 image to binary
Deploy webserver image #50: Commit 59703f6 pushed by Ivan-Velickovic
January 30, 2024 03:47 1m 40s master
January 30, 2024 03:47 1m 40s
make flags more intuitive (#303)
Deploy webserver image #49: Commit 7f5666f pushed by lsf37
January 27, 2024 21:49 2m 7s master
January 27, 2024 21:49 2m 7s
platforms: disable MaaXBoard temporarily (#311)
Deploy webserver image #48: Commit 08c98dc pushed by lsf37
January 19, 2024 03:22 1m 43s master
January 19, 2024 03:22 1m 43s
platforms: disable MCS for Maaxboard for now (#309)
Deploy webserver image #47: Commit b200781 pushed by Ivan-Velickovic
January 16, 2024 08:05 1m 44s master
January 16, 2024 08:05 1m 44s
platforms: haswell4 is available again (#308)
Deploy webserver image #46: Commit 68d29a8 pushed by lsf37
January 16, 2024 01:38 1m 41s master
January 16, 2024 01:38 1m 41s
platforms: add MaaXBoard (#305)
Deploy webserver image #45: Commit 693a58e pushed by Ivan-Velickovic
January 16, 2024 00:37 1m 57s master
January 16, 2024 00:37 1m 57s
platforms: temporarily remove imx8mm from CI
Deploy webserver image #44: Commit a869afa pushed by lsf37
January 12, 2024 06:42 1m 46s master
January 12, 2024 06:42 1m 46s
platforms: temporarily remove haswell4 machine (#300)
Deploy webserver image #43: Commit 6775e43 pushed by wom-bat
January 9, 2024 22:22 1m 41s master
January 9, 2024 22:22 1m 41s
clang is supported everywhere now
Deploy webserver image #42: Commit 739bd6d pushed by lsf37
January 9, 2024 22:00 1m 46s master
January 9, 2024 22:00 1m 46s
fix typo for RISC-V 32-bit
Deploy webserver image #41: Commit 88aebb3 pushed by lsf37
January 9, 2024 21:46 2m 2s master
January 9, 2024 21:46 2m 2s
platforms: add tqma8xqp1gb to hw test
Deploy webserver image #40: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 2m 7s master
December 9, 2023 08:40 2m 7s
platforms: add RISCVVIRT32 for QEMU RISC-V virt (#234)
Deploy webserver image #39: Commit 2a5f3a0 pushed by Ivan-Velickovic
October 24, 2023 23:44 3m 51s master
October 24, 2023 23:44 3m 51s
Add new host keys
Deploy webserver image #38: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 8s master
July 19, 2023 02:02 2m 8s
scripts: update ts server ID
Deploy webserver image #37: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 2m 39s master
July 18, 2023 10:22 2m 39s