Skip to content

Actions: GaloisInc/saw-script

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #3267 from GaloisInc/backport-CI-fix SAWScript #7366: Commit d1a800b pushed by RyanGlScott
In progress release-1.5.1
release-1.5.1
In progress
Merge pull request #3267 from GaloisInc/backport-CI-fix SAWScript #7365: Commit d1a800b pushed by danmatichuk
1h 48m 30s release-1.5
release-1.5
1h 48m 30s
Initial portion of GHC 9.10 and 9.12 support SAWScript #7364: Pull request #3252 synchronize by sauclovian-g
1h 13m 9s ghc-updates-preview
ghc-updates-preview
1h 13m 9s
Add standalone exception-lowering LLVM pass for C++ verification SAWScript #7363: Pull request #3264 synchronize by AmeliaRose802
Action required AmeliaRose802:exception-lower-pass
AmeliaRose802:exception-lower-pass
Action required
pages build and deployment pages-build-deployment #1762: by github-pages Bot
1m 20s gh-pages
gh-pages
1m 20s
Add standalone exception-lowering LLVM pass for C++ verification SAWScript #7362: Pull request #3264 synchronize by AmeliaRose802
Action required AmeliaRose802:exception-lower-pass
AmeliaRose802:exception-lower-pass
Action required
Backport "ci.sh: workaround github API issues with 'gh run download'" SAWScript #7361: Pull request #3267 synchronize by danmatichuk
1h 10m 0s backport-CI-fix
backport-CI-fix
1h 10m 0s
Make CrucibleMethodSpec an ordinary typedef instead of a reserved word SAWScript #7360: Pull request #3268 synchronize by sauclovian-g
1h 0m 38s unreserve-crucible-method-spec
unreserve-crucible-method-spec
1h 0m 38s
pages build and deployment pages-build-deployment #1761: by github-pages Bot
1m 34s gh-pages
gh-pages
1m 34s
Merge pull request #3231 from GaloisInc/dholland-edit-manual SAWScript #7359: Commit b862011 pushed by sauclovian-g
1h 34m 2s master
master
1h 34m 2s
pages build and deployment pages-build-deployment #1760: by github-pages Bot
1m 31s gh-pages
gh-pages
1m 31s
Make CrucibleMethodSpec an ordinary typedef instead of a reserved word SAWScript #7358: Pull request #3268 opened by sauclovian-g
1h 17m 39s unreserve-crucible-method-spec
unreserve-crucible-method-spec
1h 17m 39s
pages build and deployment pages-build-deployment #1759: by github-pages Bot
1m 17s gh-pages
gh-pages
1m 17s
Revise the manual SAWScript #7357: Pull request #3231 synchronize by sauclovian-g
1h 19m 2s dholland-edit-manual
dholland-edit-manual
1h 19m 2s
Backport "ci.sh: workaround github API issues with 'gh run download'" SAWScript #7356: Pull request #3267 opened by danmatichuk
1h 40m 35s backport-CI-fix
backport-CI-fix
1h 40m 35s
Revise the manual SAWScript #7355: Pull request #3231 synchronize by sauclovian-g
1h 3m 48s dholland-edit-manual
dholland-edit-manual
1h 3m 48s
Merge pull request #3266 from GaloisInc/backport-bump-idna SAWScript #7354: Commit a48b90b pushed by sauclovian-g
1h 47m 19s release-1.5
release-1.5
1h 47m 19s
pages build and deployment pages-build-deployment #1758: by github-pages Bot
13m 0s gh-pages
gh-pages
13m 0s
Backport "Bump idna for a security advisory" SAWScript #7353: Pull request #3266 opened by sauclovian-g
1h 41m 0s backport-bump-idna
backport-bump-idna
1h 41m 0s
SAWScript SAWScript #7352: Scheduled
1h 4m 43s master
master
1h 4m 43s
pages build and deployment pages-build-deployment #1757: by github-pages Bot
1m 24s gh-pages
gh-pages
1m 24s
add name hint metadata to terms for pretty-printing SAWScript #7351: Pull request #3201 synchronize by danmatichuk
1h 3m 36s issue3073
issue3073
1h 3m 36s
pages build and deployment pages-build-deployment #1756: by github-pages Bot
1m 26s gh-pages
gh-pages
1m 26s
Graph Update: pip in /doc/scripts, /saw-python #1375713435 Dependency Graph #2: by dependabot Bot
3m 18s master
master
3m 18s
Merge pull request #3265 from GaloisInc/bump-idna SAWScript #7350: Commit 1c3c1be pushed by sauclovian-g
1h 29m 53s master
master
1h 29m 53s