Skip to content

Actions: seL4/capdl

Actions

Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trigger.yml
11 workflow runs
11 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