Skip to content

Actions: seL4/capdl

Actions

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trigger.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: specify ghc and cabal version Trigger #34: Commit ed79353 pushed by lsf37
July 11, 2024 06:37 16s master
master
July 11, 2024 06:37 16s
undyped_gen: remove pyaml dependency Trigger #33: Commit 4a78f06 pushed by lsf37
July 11, 2024 05:29 15s master
master
July 11, 2024 05:29 15s
Update VERSION file to 0.3-dev Trigger #32: Commit 8caade9 pushed by lsf37
July 1, 2024 11:44 14s master
master
July 1, 2024 11:44 14s
recreate 0.3-dev release state Trigger #31: Commit 5d0c378 pushed by lsf37
July 1, 2024 08:41 1m 11s master
master
July 1, 2024 08:41 1m 11s
Update VERSION file to 0.3-dev Trigger #30: Commit b43fb55 pushed by lsf37
July 1, 2024 07:48 2m 0s master
master
July 1, 2024 07:48 2m 0s
trivial: make capitalization more consistent Trigger #29: Commit b91c12e pushed by lsf37
July 1, 2024 05:54 1m 27s master
master
July 1, 2024 05:54 1m 27s
capDL-tool, capdl-loader-app: support bound nfns Trigger #28: Commit 60d1c3c pushed by lsf37
July 1, 2024 05:42 14s master
master
July 1, 2024 05:42 14s
.github: remove haskellstack.org from link check Trigger #27: Commit e3ff513 pushed by lsf37
June 27, 2024 13:44 17s master
master
June 27, 2024 13:44 17s
Replace deprecated pkg_resources usage Trigger #26: Commit b567813 pushed by lsf37
June 17, 2024 05:13 20s master
master
June 17, 2024 05:13 20s
python-capdl-tool: remove redundant assignment Trigger #25: Commit f7ef9ca pushed by lsf37
February 14, 2024 21:53 16s master
master
February 14, 2024 21:53 16s
github: bump actions to node20 Trigger #24: Commit 16ca2e2 pushed by lsf37
February 7, 2024 23:38 11m 39s master
master
February 7, 2024 23:38 11m 39s
github: bump haskell setup; add python 3.9 Trigger #23: Commit 3d423db pushed by lsf37
November 2, 2023 04:29 18s master
master
November 2, 2023 04:29 18s
github: bump GitHub action versions Trigger #22: Commit c196c88 pushed by lsf37
October 26, 2023 03:17 12s master
master
October 26, 2023 03:17 12s
python-capdl-tool: Update python3 test scripts Trigger #21: Commit 562fdc5 pushed by kent-mcleod
September 1, 2023 07:39 14s master
master
September 1, 2023 07:39 14s
smc_cap: Add badging to SMC Cap Trigger #20: Commit e082ee7 pushed by kent-mcleod
August 29, 2023 12:53 14s master
master
August 29, 2023 12:53 14s
capdl-loader: use seL4_BootInfoFrameSize Trigger #19: Commit 54364e9 pushed by lsf37
August 23, 2023 13:11 54s master
master
August 23, 2023 13:11 54s
aarch64: Minimal update for vspace API change Trigger #18: Commit 14d8811 pushed by lsf37
August 12, 2023 06:16 13s master
master
August 12, 2023 06:16 13s
object_sizes: Add include for deprecated constants Trigger #17: Commit 2c68767 pushed by lsf37
August 11, 2023 07:17 2m 34s master
master
August 11, 2023 07:17 2m 34s