Skip to content

Actions: seL4/capdl

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enforce architecture parameter, drop aarch32 as default Build #244: Pull request #46 synchronize by axel-h
July 11, 2024 10:42 7m 37s axel-h:patch-axel-5
axel-h:patch-axel-5
July 11, 2024 10:42 7m 37s
github: specify ghc and cabal version Build #243: Commit ed79353 pushed by lsf37
July 11, 2024 06:37 7m 23s master
master
July 11, 2024 06:37 7m 23s
github: switch to maintained haskell-actions/setup Build #242: Pull request #71 synchronize by lsf37
July 11, 2024 06:26 7m 39s github-stack
github-stack
July 11, 2024 06:26 7m 39s
github: switch to maintained haskell-actions/setup Build #241: Pull request #71 synchronize by lsf37
July 11, 2024 06:23 2m 35s github-stack
github-stack
July 11, 2024 06:23 2m 35s
github: switch to maintained haskell-actions/setup Build #240: Pull request #71 synchronize by lsf37
July 11, 2024 06:18 4m 57s github-stack
github-stack
July 11, 2024 06:18 4m 57s
github: switch to maintained haskell-actions/setup Build #239: Pull request #71 opened by lsf37
July 11, 2024 06:14 4m 35s github-stack
github-stack
July 11, 2024 06:14 4m 35s
undyped_gen: remove pyaml dependency Build #238: Commit 4a78f06 pushed by lsf37
July 11, 2024 05:29 2m 18s master
master
July 11, 2024 05:29 2m 18s
undyped_gen: remove pyaml dependency Build #237: Pull request #70 synchronize by lsf37
July 11, 2024 05:24 2m 19s python-deps
python-deps
July 11, 2024 05:24 2m 19s
undyped_gen: remove pyaml dependency Build #236: Pull request #70 opened by lsf37
July 11, 2024 04:15 2m 20s python-deps
python-deps
July 11, 2024 04:15 2m 20s
Update VERSION file to 0.3-dev Build #235: Commit 8caade9 pushed by lsf37
July 1, 2024 11:44 10m 21s master
master
July 1, 2024 11:44 10m 21s
post-release: Update VERSION file to 0.3-dev Build #234: Pull request #69 opened by lsf37
July 1, 2024 08:43 16m 49s post-release
post-release
July 1, 2024 08:43 16m 49s
recreate 0.3-dev release state Build #233: Commit 5d0c378 pushed by lsf37
July 1, 2024 08:41 10m 18s master
master
July 1, 2024 08:41 10m 18s
recreate 0.3-dev release state Build #232: Pull request #68 opened by lsf37
July 1, 2024 08:38 13m 1s release-fix
release-fix
July 1, 2024 08:38 13m 1s
Update VERSION file to 0.3-dev Build #231: Commit b43fb55 pushed by lsf37
July 1, 2024 07:48 11m 57s master
master
July 1, 2024 07:48 11m 57s
0.3 Release for seL4 13.0.0 Build #230: Pull request #67 synchronize by lsf37
July 1, 2024 07:43 9m 44s release
release
July 1, 2024 07:43 9m 44s
0.3 Release for seL4 13.0.0 Build #229: Pull request #67 opened by lsf37
July 1, 2024 07:37 10m 6s release
release
July 1, 2024 07:37 10m 6s
trivial: make capitalization more consistent Build #228: Commit b91c12e pushed by lsf37
July 1, 2024 05:54 10m 39s master
master
July 1, 2024 05:54 10m 39s
trivial: Make capitalization more consistent Build #227: Pull request #61 synchronize by lsf37
July 1, 2024 05:45 10m 24s nspin:pr/capitalization-fix
nspin:pr/capitalization-fix
July 1, 2024 05:45 10m 24s
capDL-tool, capdl-loader-app: support bound nfns Build #226: Commit 60d1c3c pushed by lsf37
July 1, 2024 05:42 9m 27s master
master
July 1, 2024 05:42 9m 27s
trivial: Make capitalization more consistent Build #225: Pull request #61 synchronize by lsf37
July 1, 2024 05:39 9m 44s nspin:pr/capitalization-fix
nspin:pr/capitalization-fix
July 1, 2024 05:39 9m 44s
capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs Build #224: Pull request #62 synchronize by lsf37
July 1, 2024 05:35 10m 2s nspin:pr/tcb-bound-notification
nspin:pr/tcb-bound-notification
July 1, 2024 05:35 10m 2s
capDL-tool, capdl-loader-app: Add support for binding notifications for TCBs Build #223: Pull request #62 synchronize by lsf37
July 1, 2024 05:32 10m 33s nspin:pr/tcb-bound-notification
nspin:pr/tcb-bound-notification
July 1, 2024 05:32 10m 33s
.github: remove haskellstack.org from link check Build #222: Commit e3ff513 pushed by lsf37
June 27, 2024 13:44 10m 18s master
master
June 27, 2024 13:44 10m 18s
update change log Build #221: Pull request #66 synchronize by lsf37
June 27, 2024 13:26 10m 47s lsf37/changes
lsf37/changes
June 27, 2024 13:26 10m 47s
update change log Build #220: Pull request #66 synchronize by lsf37
June 27, 2024 00:27 10m 1s lsf37/changes
lsf37/changes
June 27, 2024 00:27 10m 1s