Skip to content

Actions: seL4/camkes-tool

Unit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
trivial: python style fix
Unit #251: Commit f7be6b4 pushed by lsf37
June 17, 2024 09:30 1m 58s master
June 17, 2024 09:30 1m 58s
python: sanitize number formatting
Unit #250: Pull request #130 synchronize by lsf37
June 17, 2024 08:40 2m 10s axel-h:patch-axel-4
June 17, 2024 08:40 2m 10s