Skip to content

Actions: seL4/ci-actions

Actions

Deploy CParser Builder

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

platforms: skylake2 is dead, use skylake3
Deploy CParser Builder #240: Commit 1c8b98c pushed by lsf37
3m 17s master
platforms: remove broken board (#431)
Deploy CParser Builder #239: Commit 96247f7 pushed by alzer89
3m 8s master
preprocess: test all known L4V_PLAT instances
Deploy CParser Builder #238: Commit 0066f12 pushed by lsf37
3m 0s master
platforms: clear out obsolete entries
Deploy CParser Builder #237: Commit 5a46f22 pushed by Indanz
3m 4s master
Fix platform's name
Deploy CParser Builder #236: Commit 0d6a20c pushed by lsf37
3m 53s master
cparser-deploy
Deploy CParser Builder #233: Repository dispatch triggered by seL4-ci
3m 18s
cparser-deploy
Deploy CParser Builder #232: Repository dispatch triggered by seL4-ci
3m 21s
cparser-deploy
Deploy CParser Builder #231: Repository dispatch triggered by seL4-ci
3m 12s
cparser-deploy
Deploy CParser Builder #230: Repository dispatch triggered by seL4-ci
3m 11s
cparser-deploy
Deploy CParser Builder #229: Repository dispatch triggered by seL4-ci
2m 59s
cparser-deploy
Deploy CParser Builder #228: Repository dispatch triggered by seL4-ci
3m 8s
platforms.yml: re-enable SMP on HiFive P550
Deploy CParser Builder #227: Commit ce2ec83 pushed by lsf37
3m 12s master
platforms: second imx93 board available
Deploy CParser Builder #225: Commit bb1bce2 pushed by Indanz
2m 55s master
platforms: re-enable builds for cheshire
Deploy CParser Builder #224: Commit 237c02b pushed by lsf37
3m 0s master
platforms.yml: fix HiFive P550
Deploy CParser Builder #223: Commit 13f337c pushed by lsf37
2m 53s master
platforms.yml: add HiFive P550
Deploy CParser Builder #222: Commit 92ef91d pushed by lsf37
3m 15s master
cparser-builder: get mlton from GitHub
Deploy CParser Builder #221: Commit 563a939 pushed by Indanz
2m 59s master
builds: retry on ssh failure
Deploy CParser Builder #220: Commit 6770f77 pushed by lsf37
1m 16s master
pin junitparser to v3; print junit exceptions
Deploy CParser Builder #219: Commit 497f8a1 pushed by Indanz
1m 14s master
scripts: pin junitparser to 3.x
Deploy CParser Builder #218: Commit 0e44d09 pushed by lsf37
1m 27s master
cparser-deploy
Deploy CParser Builder #217: Repository dispatch triggered by seL4-ci
1m 11s