Skip to content

Actions: seL4/capdl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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