Skip to content

Actions: GaloisInc/crucible

Actions

crucible-jvm builds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crucible-jvm-build.yml
363 workflow runs
363 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support GHC 9.10, drop 9.4 crucible-jvm builds #913: Pull request #1310 synchronize by langston-barrett
February 13, 2025 21:27 11m 28s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 21:27 11m 28s
Support GHC 9.10, drop 9.4 crucible-jvm builds #912: Pull request #1310 synchronize by langston-barrett
February 13, 2025 20:15 15m 27s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 20:15 15m 27s
Support GHC 9.10, drop 9.4 crucible-jvm builds #911: Pull request #1310 synchronize by langston-barrett
February 13, 2025 20:11 2m 21s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 20:11 2m 21s
Support GHC 9.10, drop 9.4 crucible-jvm builds #910: Pull request #1310 synchronize by langston-barrett
February 13, 2025 19:53 4m 44s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 19:53 4m 44s
Support GHC 9.10, drop 9.4 crucible-jvm builds #909: Pull request #1310 synchronize by langston-barrett
February 13, 2025 19:42 35m 44s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 19:42 35m 44s
Support GHC 9.10, drop 9.4 crucible-jvm builds #908: Pull request #1310 opened by langston-barrett
February 13, 2025 19:40 31m 49s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 19:40 31m 49s
crucible-mir: Explicitly check mir-json schema version crucible-jvm builds #907: Pull request #1309 synchronize by RyanGlScott
February 12, 2025 21:45 12m 20s T1253-mir-json-schema-version
T1253-mir-json-schema-version
February 12, 2025 21:45 12m 20s
crucible-mir: Explicitly check mir-json schema version crucible-jvm builds #906: Pull request #1309 opened by RyanGlScott
February 12, 2025 21:06 11m 34s T1253-mir-json-schema-version
T1253-mir-json-schema-version
February 12, 2025 21:06 11m 34s
Bump What4 submodule, adapt to BoolMap changes (#1306) crucible-jvm builds #905: Commit 50d1550 pushed by langston-barrett
February 12, 2025 15:36 16m 30s master
master
February 12, 2025 15:36 16m 30s
Bump What4 submodule, adapt to BoolMap changes crucible-jvm builds #904: Pull request #1306 opened by langston-barrett
February 12, 2025 14:28 12m 33s langston-barrett:lb/bump-what4
langston-barrett:lb/bump-what4
February 12, 2025 14:28 12m 33s
Merge pull request #1305 from GaloisInc/T1304-unpackMemValue-LLVMValS… crucible-jvm builds #903: Commit f84675d pushed by RyanGlScott
February 11, 2025 23:47 10m 47s master
master
February 11, 2025 23:47 10m 47s
crucible-llvm: Add an LLVMValString case for unpackMemValue crucible-jvm builds #902: Pull request #1305 opened by RyanGlScott
February 11, 2025 22:15 11m 24s T1304-unpackMemValue-LLVMValString
T1304-unpackMemValue-LLVMValString
February 11, 2025 22:15 11m 24s
Merge pull request #1303 from GaloisInc/T1302-crucible-debug-ci-fixes crucible-jvm builds #901: Commit 850f88f pushed by RyanGlScott
February 11, 2025 17:30 12m 40s master
master
February 11, 2025 17:30 12m 40s
Fix various CI breakages caused by crucible-debug and TypeRepr-related changes crucible-jvm builds #900: Pull request #1303 synchronize by RyanGlScott
February 11, 2025 13:02 12m 9s T1302-crucible-debug-ci-fixes
T1302-crucible-debug-ci-fixes
February 11, 2025 13:02 12m 9s
Fix various CI breakages caused by crucible-debug and TypeRepr-related changes crucible-jvm builds #899: Pull request #1303 opened by RyanGlScott
February 11, 2025 12:17 11m 59s T1302-crucible-debug-ci-fixes
T1302-crucible-debug-ci-fixes
February 11, 2025 12:17 11m 59s
crux: Add a --debug flag to drop into the Crucible debugger (#1297) crucible-jvm builds #898: Commit e7957b6 pushed by langston-barrett
February 10, 2025 18:14 12m 23s master
master
February 10, 2025 18:14 12m 23s
Merge pull request #1295 from GaloisInc/jln/typereprpretty crucible-jvm builds #897: Commit c9ddb84 pushed by langston-barrett
February 10, 2025 15:02 20m 48s master
master
February 10, 2025 15:02 20m 48s
Merge pull request #1301 from GaloisInc/T1300-fix-single-quotes-in-gi… crucible-jvm builds #896: Commit 18c710c pushed by RyanGlScott
February 10, 2025 14:58 11m 1s master
master
February 10, 2025 14:58 11m 1s
CI: Surround 'Windows' in quotes to fix GitHub Actions syntax crucible-jvm builds #895: Pull request #1301 opened by RyanGlScott
February 10, 2025 11:59 11m 14s T1300-fix-single-quotes-in-github-actions-syntax
T1300-fix-single-quotes-in-github-actions-syntax
February 10, 2025 11:59 11m 14s
crux: Add a --debug flag to drop into the Crucible debugger crucible-jvm builds #894: Pull request #1297 synchronize by langston-barrett
February 7, 2025 20:34 12m 40s langston-barrett:lb/crux-debug
langston-barrett:lb/crux-debug
February 7, 2025 20:34 12m 40s
debug: Take a number of steps as an argument to step (#1298) crucible-jvm builds #893: Commit d9d63fd pushed by langston-barrett
February 7, 2025 19:58 20m 18s master
master
February 7, 2025 19:58 20m 18s
crux: Add a --debug flag to drop into the Crucible debugger crucible-jvm builds #892: Pull request #1297 synchronize by langston-barrett
February 7, 2025 19:56 13m 38s langston-barrett:lb/crux-debug
langston-barrett:lb/crux-debug
February 7, 2025 19:56 13m 38s
crucible: Replace viaShow with a real Pretty instance for TypeRepr crucible-jvm builds #891: Pull request #1295 synchronize by langston-barrett
February 7, 2025 19:02 42m 51s jln/typereprpretty
jln/typereprpretty
February 7, 2025 19:02 42m 51s
crucible: Replace viaShow with a real Pretty instance for TypeRepr crucible-jvm builds #890: Pull request #1295 synchronize by langston-barrett
February 7, 2025 18:49 46m 38s jln/typereprpretty
jln/typereprpretty
February 7, 2025 18:49 46m 38s
crucible: Replace viaShow with a real Pretty instance for TypeRepr crucible-jvm builds #889: Pull request #1295 synchronize by langston-barrett
February 7, 2025 18:40 41m 25s jln/typereprpretty
jln/typereprpretty
February 7, 2025 18:40 41m 25s