Skip to content

Actions: seL4/camkes-tool

Unit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: pin Ubuntu 22.04 for deployment step
Unit #277: Commit 9c7c211 pushed by lsf37
December 19, 2024 06:41 2m 11s master
December 19, 2024 06:41 2m 11s
github: pin Ubuntu 22.04 for deployment step
Unit #276: Pull request #152 opened by lsf37
December 19, 2024 06:33 1m 58s lsf37/ubuntu
December 19, 2024 06:33 1m 58s
Update VERSION file to camkes-3.11.0-dev
Unit #272: Commit 5dd53c7 pushed by lsf37
July 1, 2024 11:44 1m 58s master
July 1, 2024 11:44 1m 58s
post release: Update VERSION file to camkes-3.11.0-dev
Unit #271: Pull request #150 opened by lsf37
July 1, 2024 08:42 13m 6s post-release
July 1, 2024 08:42 13m 6s
recreate camkes-3.11.0 release state
Unit #270: Commit 0863c14 pushed by lsf37
July 1, 2024 08:41 2m 19s master
July 1, 2024 08:41 2m 19s
recreate camkes-3.11.0 release state
Unit #269: Pull request #149 synchronize by lsf37
July 1, 2024 08:35 2m 1s release-fix
July 1, 2024 08:35 2m 1s
recreate camkes-3.11.0 release state
Unit #268: Pull request #149 opened by lsf37
July 1, 2024 08:35 1m 58s release-fix
July 1, 2024 08:35 1m 58s
Update VERSION file to camkes-3.11.0-dev
Unit #267: Commit 0f02fe2 pushed by lsf37
July 1, 2024 07:46 2m 1s master
July 1, 2024 07:46 2m 1s
3.11.0 release for seL4 13.0.0
Unit #266: Pull request #148 synchronize by lsf37
July 1, 2024 07:41 1m 57s release
July 1, 2024 07:41 1m 57s
3.11.0 release for seL4 13.0.0
Unit #265: Pull request #148 opened by lsf37
July 1, 2024 07:34 1m 54s release
July 1, 2024 07:34 1m 54s
github: ignore 403 for jinja in link check
Unit #264: Commit c77562e pushed by lsf37
July 1, 2024 03:54 2m 8s master
July 1, 2024 03:54 2m 8s
camkes-deps: fully remove orderedset; bump version
Unit #263: Pull request #147 synchronize by lsf37
July 1, 2024 02:48 1m 56s lsf37/ordered-set
July 1, 2024 02:48 1m 56s
camkes-deps: fully remove orderedset; bump version
Unit #262: Pull request #147 synchronize by lsf37
July 1, 2024 02:47 2m 0s lsf37/ordered-set
July 1, 2024 02:47 2m 0s
CHANGES: bring up to date for upcoming release
Unit #261: Commit cfa9e60 pushed by lsf37
July 1, 2024 02:31 2m 0s master
July 1, 2024 02:31 2m 0s
update CHANGES file
Unit #260: Pull request #145 synchronize by lsf37
July 1, 2024 01:39 2m 6s lsf37/changes
July 1, 2024 01:39 2m 6s
camkes-deps: fully remove orderedset; bump version
Unit #259: Pull request #147 synchronize by lsf37
June 30, 2024 01:55 1m 59s lsf37/ordered-set
June 30, 2024 01:55 1m 59s
camkes-deps: fully remove orderedset; bump version
Unit #258: Pull request #147 opened by lsf37
June 30, 2024 01:52 2m 2s lsf37/ordered-set
June 30, 2024 01:52 2m 2s
Fix camkes-deps build
Unit #257: Pull request #146 opened by Ax9D
June 28, 2024 09:20 2m 2s Ax9D:master
June 28, 2024 09:20 2m 2s
update CHANGES file
Unit #256: Pull request #145 synchronize by lsf37
June 27, 2024 00:33 2m 14s lsf37/changes
June 27, 2024 00:33 2m 14s
update CHANGES file
Unit #255: Pull request #145 synchronize by lsf37
June 24, 2024 14:20 2m 3s lsf37/changes
June 24, 2024 14:20 2m 3s
update CHANGES file
Unit #254: Pull request #145 synchronize by lsf37
June 24, 2024 14:10 2m 7s lsf37/changes
June 24, 2024 14:10 2m 7s
update CHANGES file
Unit #253: Pull request #145 synchronize by lsf37
June 24, 2024 14:08 2m 9s lsf37/changes
June 24, 2024 14:08 2m 9s
update CHANGES file
Unit #252: Pull request #145 opened by lsf37
June 24, 2024 14:07 2m 24s lsf37/changes
June 24, 2024 14:07 2m 24s