Skip to content

Actions: GaloisInc/HARDENS

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abstracted SAW command and updated documentation. CI #132: Commit cef626c pushed by kiniry
October 29, 2024 23:19 8m 1s 122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
October 29, 2024 23:19 8m 1s
Dockerfile update for Ubuntu update and all dependencies. CI #131: Commit 31e6877 pushed by kiniry
October 29, 2024 23:16 7m 47s 122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
October 29, 2024 23:16 7m 47s
Further tweaks to facilitate a multi-architecture build. CI #130: Commit b26430e pushed by kiniry
October 18, 2024 19:12 45m 55s 122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
October 18, 2024 19:12 45m 55s
Experimental updates for Oct 2024. CI #129: Commit 96cf4d1 pushed by kiniry
October 17, 2024 21:57 41m 28s 122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
October 17, 2024 21:57 41m 28s
Merge pull request #147 from GaloisInc/146-use-git-lfs CI #128: Commit e24bfdb pushed by kiniry
October 17, 2024 21:12 38m 46s 122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
122-merge-hardens-classic-docker-image-with-simons-new-docker-image-and-publish-to-dockerhub
October 17, 2024 21:12 38m 46s
Merge pull request #147 from GaloisInc/146-use-git-lfs CI #127: Commit e24bfdb pushed by kiniry
September 27, 2024 18:01 46m 29s develop
develop
September 27, 2024 18:01 46m 29s
Track the remaining files CI #126: Commit c6ac389 pushed by podhrmic
September 27, 2024 00:02 48m 2s 146-use-git-lfs
146-use-git-lfs
September 27, 2024 00:02 48m 2s
Move PDFs and Keynote files to git lfs CI #125: Commit 2269566 pushed by podhrmic
September 26, 2024 23:56 46m 40s 146-use-git-lfs
146-use-git-lfs
September 26, 2024 23:56 46m 40s
Update the code analysis experiments: CI #124: Commit 54255b2 pushed by podhrmic
September 26, 2024 23:45 31m 11s feature/coverity-and-other-scans
feature/coverity-and-other-scans
September 26, 2024 23:45 31m 11s
Merge pull request #145 from GaloisInc/140-error-on-slide-29 CI #123: Commit ec6dc84 pushed by kiniry
September 20, 2024 16:47 38m 5s develop
develop
September 20, 2024 16:47 38m 5s
Fixed figure and all uses across all slides. CI #122: Commit a3a88bb pushed by kiniry
September 20, 2024 16:46 49m 44s 140-error-on-slide-29
140-error-on-slide-29
September 20, 2024 16:46 49m 44s
Merge pull request #144 from GaloisInc/143-update-slides-to-include-n… CI #121: Commit e7a1ccd pushed by kiniry
September 20, 2024 16:41 40m 53s 140-error-on-slide-29
140-error-on-slide-29
September 20, 2024 16:41 40m 53s
Merge pull request #144 from GaloisInc/143-update-slides-to-include-n… CI #120: Commit e7a1ccd pushed by kiniry
September 20, 2024 16:34 51m 54s develop
develop
September 20, 2024 16:34 51m 54s
Updates to old and addition of new HARDENS-related slides. CI #119: Commit 5d84c87 pushed by kiniry
September 20, 2024 16:33 39m 45s 143-update-slides-to-include-new-slides-related-to-the-project
143-update-slides-to-include-new-slides-related-to-the-project
September 20, 2024 16:33 39m 45s
Merge pull request #137 from GaloisInc/135-post-release-polishing CI #118: Commit 2019b30 pushed by kiniry
September 20, 2024 16:22 39m 53s 143-update-slides-to-include-new-slides-related-to-the-project
143-update-slides-to-include-new-slides-related-to-the-project
September 20, 2024 16:22 39m 53s
Merge pull request #137 from GaloisInc/135-post-release-polishing CI #117: Commit 2019b30 pushed by podhrmic
May 29, 2024 22:14 40m 41s develop
develop
May 29, 2024 22:14 40m 41s
Updated proposal with PROPRIETARY wording removed CI #116: Commit 9d656df pushed by podhrmic
May 29, 2024 21:17 35m 27s 135-post-release-polishing
135-post-release-polishing
May 29, 2024 21:17 35m 27s
Fix infinite loop with no sleep in the posix implementation. This spe… CI #115: Commit 3bdaaf2 pushed by podhrmic
May 29, 2024 21:00 38m 6s 135-post-release-polishing
135-post-release-polishing
May 29, 2024 21:00 38m 6s
Merge pull request #138 from GaloisInc/135-post-release-polishing-bui… CI #114: Commit d4fb4c0 pushed by podhrmic
April 18, 2024 17:46 38m 41s 135-post-release-polishing
135-post-release-polishing
April 18, 2024 17:46 38m 41s
Fix branch name CI #113: Commit cd1c269 pushed by podhrmic
April 8, 2024 21:34 30m 49s feature/coverity-and-other-scans
feature/coverity-and-other-scans
April 8, 2024 21:34 30m 49s
Add CPP check CI #112: Commit 2c483ba pushed by podhrmic
April 8, 2024 21:29 30m 38s feature/coverity-and-other-scans
feature/coverity-and-other-scans
April 8, 2024 21:29 30m 38s
Warn about docker image build, switch to the existing public HARDENS … CI #111: Commit b8fe550 pushed by podhrmic
April 5, 2024 17:24 51m 27s 135-post-release-polishing-build-fixes
135-post-release-polishing-build-fixes
April 5, 2024 17:24 51m 27s
Try coverity action CI #110: Commit de23e01 pushed by podhrmic
April 2, 2024 22:08 31m 43s feature/coverity-and-other-scans
feature/coverity-and-other-scans
April 2, 2024 22:08 31m 43s
more readable cabal setup CI #109: Commit b86f58f pushed by podhrmic
April 2, 2024 17:18 35m 51s 135-post-release-polishing-build-fixes
135-post-release-polishing-build-fixes
April 2, 2024 17:18 35m 51s
Corrected a couple of syntax errors in revised Lando specs. CI #108: Commit c2ed18e pushed by kiniry
November 12, 2023 17:05 32m 6s 135-post-release-polishing
135-post-release-polishing
November 12, 2023 17:05 32m 6s