Skip to content

Actions: GaloisInc/macaw

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
305 workflow runs
305 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dump: Stop supressing a warning, use MonoLocalBinds CI #923: Commit 9e02ae7 pushed by langston-barrett
November 12, 2024 19:23 1h 13m 8s lb/translate-cli
lb/translate-cli
November 12, 2024 19:23 1h 13m 8s
Add headers when printing Crucible CFGs too CI #922: Commit 1cbe6e0 pushed by langston-barrett
November 12, 2024 19:21 1h 10m 44s lb/translate-cli
lb/translate-cli
November 12, 2024 19:21 1h 10m 44s
Haddock fixes CI #921: Commit d4f6105 pushed by langston-barrett
November 12, 2024 19:13 51m 36s lb/translate-cli
lb/translate-cli
November 12, 2024 19:13 51m 36s
dump: Simplify GHC warning configuration in Cabal file CI #920: Commit 3ff61dc pushed by langston-barrett
November 12, 2024 19:06 20m 24s lb/translate-cli
lb/translate-cli
November 12, 2024 19:06 20m 24s
Revert "macaw-ppc-symbolic: Remove redundant import" CI #919: Commit 046c917 pushed by staslyakhov
November 5, 2024 16:12 50m 46s refinement-reopt
refinement-reopt
November 5, 2024 16:12 50m 46s
bump crucible CI #918: Commit 100d903 pushed by staslyakhov
November 5, 2024 16:08 47m 21s refinement-reopt
refinement-reopt
November 5, 2024 16:08 47m 21s
Merge pull request #450 from GaloisInc/449-git-urls CI #917: Commit f65a72d pushed by sauclovian-g
November 4, 2024 18:48 1h 23m 4s master
master
November 4, 2024 18:48 1h 23m 4s
Change git:// url to https:// in macaw-refinement.cabal. CI #916: Commit de4cbc3 pushed by sauclovian-g
November 2, 2024 03:28 1h 36m 7s 449-git-urls
449-git-urls
November 2, 2024 03:28 1h 36m 7s
ppc-symbolic: Indexes for registers (#445) CI #915: Commit 30b4579 pushed by sauclovian-g
November 2, 2024 03:25 1h 22m 14s 449-git-urls
449-git-urls
November 2, 2024 03:25 1h 22m 14s
dump: Fix compilation with GHC 9.4 CI #914: Commit 73adafd pushed by langston-barrett
October 16, 2024 15:46 31m 7s lb/translate-cli
lb/translate-cli
October 16, 2024 15:46 31m 7s
dump: Add subcommand to dump PLT stubs CI #913: Commit e081826 pushed by langston-barrett
October 10, 2024 15:09 18m 3s lb/translate-cli
lb/translate-cli
October 10, 2024 15:09 18m 3s
dump: Implementation for PPC CI #912: Commit 76e4999 pushed by langston-barrett
October 9, 2024 16:20 17m 40s lb/translate-cli
lb/translate-cli
October 9, 2024 16:20 17m 40s
dump: CLI via optparse-applicative CI #911: Commit 05b5a28 pushed by langston-barrett
October 9, 2024 16:05 18m 2s lb/translate-cli
lb/translate-cli
October 9, 2024 16:05 18m 2s
macaw-dump: A CLI for printing internal data structures CI #910: Commit 7c3bd2f pushed by langston-barrett
October 9, 2024 14:44 17m 25s lb/translate-cli
lb/translate-cli
October 9, 2024 14:44 17m 25s
macaw-dump: A CLI for printing internal data structures CI #909: Commit 0e2167d pushed by langston-barrett
October 9, 2024 14:40 3m 39s lb/translate-cli
lb/translate-cli
October 9, 2024 14:40 3m 39s
cli for running translation CI #908: Commit 46b3501 pushed by langston-barrett
October 8, 2024 22:29 1h 20m 34s lb/translate-cli
lb/translate-cli
October 8, 2024 22:29 1h 20m 34s
ppc-symbolic: Indexes for registers (#445) CI #907: Commit 30b4579 pushed by langston-barrett
September 26, 2024 20:25 22m 22s master
master
September 26, 2024 20:25 22m 22s
ppc-symbolic: Add INLINE to updateReg to avoid compiler bug CI #906: Commit b7c5805 pushed by langston-barrett
September 26, 2024 19:10 22m 25s lb/ppc-regs
lb/ppc-regs
September 26, 2024 19:10 22m 25s
ppc-symbolic: Don't warn about an orphan instance CI #905: Commit 4356078 pushed by RyanGlScott
September 26, 2024 17:59 3m 26s ghc-9.8-infinite-loop
ghc-9.8-infinite-loop
September 26, 2024 17:59 3m 26s
ppc-symbolic: Add INLINE to updateReg to avoid compiler bug CI #904: Commit 15a39ea pushed by langston-barrett
September 26, 2024 14:54 23m 23s lb/ppc-regs
lb/ppc-regs
September 26, 2024 14:54 23m 23s
ppc-symbolic: Don't warn about an orphan instance CI #903: Commit 4356078 pushed by langston-barrett
September 25, 2024 20:57 24m 46s lb/ppc-regs
lb/ppc-regs
September 25, 2024 20:57 24m 46s
ppc-symbolic: Indexes for remaining registers CI #902: Commit ec352de pushed by langston-barrett
September 25, 2024 20:01 1h 9m 39s lb/ppc-regs
lb/ppc-regs
September 25, 2024 20:01 1h 9m 39s
aarch32-symbolic: Remove accidentally-included -ddump-simpl CI #901: Commit 206a864 pushed by langston-barrett
September 25, 2024 19:42 39m 15s master
master
September 25, 2024 19:42 39m 15s
ppc-symbolic: Factor register-related definitions into their own module CI #900: Commit b4ca323 pushed by langston-barrett
September 25, 2024 19:09 1h 12m 29s lb/ppc-regs
lb/ppc-regs
September 25, 2024 19:09 1h 12m 29s
aarch32-symbolic: Remove accidentally-included -ddump-simpl CI #899: Commit 9483fe3 pushed by langston-barrett
September 25, 2024 19:00 39m 18s lb/aarch32-regs
lb/aarch32-regs
September 25, 2024 19:00 39m 18s