Skip to content

Actions: GaloisInc/stubs

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #55 from GaloisInc/macaw-T374 build #89: Commit 2aadaaf pushed by RyanGlScott
February 18, 2025 17:22 36m 42s main
main
February 18, 2025 17:22 36m 42s
Bump macaw submodule to bring in GaloisInc/macaw#465 changes build #88: Commit c1fcd2f pushed by RyanGlScott
February 18, 2025 16:09 37m 42s macaw-T374
macaw-T374
February 18, 2025 16:09 37m 42s
Fix warnings about head build #87: Commit 37d2159 pushed by langston-barrett
February 13, 2025 18:57 50m 7s main
main
February 13, 2025 18:57 50m 7s
Fix warnings about head build #86: Commit b033b68 pushed by langston-barrett
February 13, 2025 16:00 44m 21s lb/ghc-9.8
lb/ghc-9.8
February 13, 2025 16:00 44m 21s
Fix warnings about head build #85: Commit 47fe85d pushed by langston-barrett
February 13, 2025 15:18 33m 38s lb/ghc-9.8
lb/ghc-9.8
February 13, 2025 15:18 33m 38s
ci: Bump GHC 9.6.{3,6} build #84: Commit 8bf5f4c pushed by langston-barrett
February 13, 2025 15:15 3m 9s lb/ghc-9.8
lb/ghc-9.8
February 13, 2025 15:15 3m 9s
Support GHC 9.8, drop GHC 9.2 build #83: Commit 0a7b883 pushed by langston-barrett
February 12, 2025 22:58 49m 16s lb/ghc-9.8
lb/ghc-9.8
February 12, 2025 22:58 49m 16s
Support GHC 9.8 build #82: Commit fff8af6 pushed by langston-barrett
February 12, 2025 22:50 3m 18s lb/ghc-9.8
lb/ghc-9.8
February 12, 2025 22:50 3m 18s
Support GHC 9.8 build #81: Commit 929d758 pushed by langston-barrett
February 12, 2025 22:44 3m 24s lb/ghc-9.8
lb/ghc-9.8
February 12, 2025 22:44 3m 24s
Support GHC 9.8 build #80: Commit 6313d7a pushed by langston-barrett
February 12, 2025 22:38 3m 22s lb/ghc-9.8
lb/ghc-9.8
February 12, 2025 22:38 3m 22s
Support GHC 9.8 build #79: Commit dcf1b69 pushed by langston-barrett
February 12, 2025 22:32 3m 20s lb/ghc-9.8
lb/ghc-9.8
February 12, 2025 22:32 3m 20s
Support GHC 9.8 build #78: Commit c6d502e pushed by langston-barrett
February 12, 2025 20:44 2m 39s lb/ghc-9.8
lb/ghc-9.8
February 12, 2025 20:44 2m 39s
Support GHC 9.8 build #77: Commit 257b18d pushed by langston-barrett
February 12, 2025 20:39 3m 21s lb/ghc-9.8
lb/ghc-9.8
February 12, 2025 20:39 3m 21s
Bump What4 submodule, adapt to BoolMap changes build #76: Commit 47ce224 pushed by langston-barrett
February 12, 2025 14:52 41m 37s lb/bump-what4
lb/bump-what4
February 12, 2025 14:52 41m 37s
Merge pull request #48 from GaloisInc/T12-lazy-macaw-symbolic-memory-… build #75: Commit d9224de pushed by RyanGlScott
January 14, 2025 19:29 37m 30s main
main
January 14, 2025 19:29 37m 30s
stubs-common: Use the lazy macaw-symbolic memory model build #74: Commit 54904ac pushed by RyanGlScott
January 14, 2025 17:38 40m 8s T12-lazy-macaw-symbolic-memory-model
T12-lazy-macaw-symbolic-memory-model
January 14, 2025 17:38 40m 8s
Fix LICENSE copyright years, Cabal metadata build #73: Commit 5b1d315 pushed by langston-barrett
January 14, 2025 17:12 49m 42s main
main
January 14, 2025 17:12 49m 42s
Fix LICENSE copyright years, Cabal metadata build #72: Commit c060721 pushed by langston-barrett
January 14, 2025 15:41 48m 57s lb/license
lb/license
January 14, 2025 15:41 48m 57s
Add BSD-3 LICENSE file build #71: Commit f663e60 pushed by langston-barrett
January 14, 2025 15:19 22m 12s lb/license
lb/license
January 14, 2025 15:19 22m 12s
Merge pull request #45 from GaloisInc/cite-ambient build #70: Commit cc5a906 pushed by RyanGlScott
January 10, 2025 17:59 47m 9s main
main
January 10, 2025 17:59 47m 9s
Cite ambient-verifier in the README build #69: Commit 9e2cbf2 pushed by RyanGlScott
January 10, 2025 12:23 47m 23s cite-ambient
cite-ambient
January 10, 2025 12:23 47m 23s
Merge pull request #44 from GaloisInc/T37-fix-translator-tests build #68: Commit 82f14c3 pushed by RyanGlScott
January 9, 2025 18:20 47m 10s main
main
January 9, 2025 18:20 47m 10s
CI: Install SMT solvers build #67: Commit ae96882 pushed by RyanGlScott
January 9, 2025 15:03 47m 59s T37-fix-translator-tests
T37-fix-translator-tests
January 9, 2025 15:03 47m 59s
CI: Install SMT solvers build #66: Commit 7a7ab14 pushed by RyanGlScott
January 9, 2025 14:58 3m 25s T37-fix-translator-tests
T37-fix-translator-tests
January 9, 2025 14:58 3m 25s
CI: Install SMT solvers build #65: Commit 19a4ad9 pushed by RyanGlScott
January 9, 2025 14:53 2m 33s T37-fix-translator-tests
T37-fix-translator-tests
January 9, 2025 14:53 2m 33s