Skip to content

Actions: GaloisInc/HARDENS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 cppcheck-action-test #2: Commit cd1c269 pushed by podhrmic
April 8, 2024 21:34 28s feature/coverity-and-other-scans
feature/coverity-and-other-scans
April 8, 2024 21:34 28s
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 cppcheck-action-test #1: Commit 2c483ba pushed by podhrmic
April 8, 2024 21:29 30s feature/coverity-and-other-scans
feature/coverity-and-other-scans
April 8, 2024 21:29 30s
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 Coverity Scan #1: Commit de23e01 pushed by podhrmic
April 2, 2024 22:08 1m 29s feature/coverity-and-other-scans
feature/coverity-and-other-scans
April 2, 2024 22:08 1m 29s
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
Revised all Lando files to eliminate @todos tags with GPT-4's help. CI #107: Commit 85790b7 pushed by kiniry
November 11, 2023 03:03 31m 6s 135-post-release-polishing
135-post-release-polishing
November 11, 2023 03:03 31m 6s