Skip to content

Actions: GaloisInc/crucible

Actions

crux-mir

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crux-mir-build.yml
811 workflow runs
811 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

crux-mir crux-mir #2474: Scheduled
February 14, 2025 10:01 58m 10s master
master
February 14, 2025 10:01 58m 10s
Support GHC 9.10, drop 9.4 crux-mir #2473: Pull request #1310 synchronize by langston-barrett
February 13, 2025 21:27 34m 32s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 21:27 34m 32s
Support GHC 9.10, drop 9.4 crux-mir #2472: Pull request #1310 synchronize by langston-barrett
February 13, 2025 20:15 35m 11s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 20:15 35m 11s
Support GHC 9.10, drop 9.4 crux-mir #2471: Pull request #1310 synchronize by langston-barrett
February 13, 2025 20:11 2m 13s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 20:11 2m 13s
Support GHC 9.10, drop 9.4 crux-mir #2470: Pull request #1310 synchronize by langston-barrett
February 13, 2025 19:53 4m 30s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 19:53 4m 30s
Support GHC 9.10, drop 9.4 crux-mir #2469: Pull request #1310 synchronize by langston-barrett
February 13, 2025 19:42 31m 50s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 19:42 31m 50s
Support GHC 9.10, drop 9.4 crux-mir #2468: Pull request #1310 opened by langston-barrett
February 13, 2025 19:40 18m 50s lb/ghc-9.10
lb/ghc-9.10
February 13, 2025 19:40 18m 50s
crux-mir crux-mir #2467: Scheduled
February 13, 2025 10:01 44m 58s master
master
February 13, 2025 10:01 44m 58s
crucible-mir: Explicitly check mir-json schema version crux-mir #2466: Pull request #1309 synchronize by RyanGlScott
February 12, 2025 21:45 35m 54s T1253-mir-json-schema-version
T1253-mir-json-schema-version
February 12, 2025 21:45 35m 54s
crucible-mir: Explicitly check mir-json schema version crux-mir #2465: Pull request #1309 opened by RyanGlScott
February 12, 2025 21:06 33m 35s T1253-mir-json-schema-version
T1253-mir-json-schema-version
February 12, 2025 21:06 33m 35s
Bump What4 submodule, adapt to BoolMap changes (#1306) crux-mir #2464: Commit 50d1550 pushed by langston-barrett
February 12, 2025 15:36 42m 59s master
master
February 12, 2025 15:36 42m 59s
Bump What4 submodule, adapt to BoolMap changes crux-mir #2463: Pull request #1306 opened by langston-barrett
February 12, 2025 14:28 39m 18s langston-barrett:lb/bump-what4
langston-barrett:lb/bump-what4
February 12, 2025 14:28 39m 18s
crux-mir crux-mir #2462: Scheduled
February 12, 2025 10:01 46m 10s master
master
February 12, 2025 10:01 46m 10s
Merge pull request #1305 from GaloisInc/T1304-unpackMemValue-LLVMValS… crux-mir #2461: Commit f84675d pushed by RyanGlScott
February 11, 2025 23:47 34m 14s master
master
February 11, 2025 23:47 34m 14s
crucible-llvm: Add an LLVMValString case for unpackMemValue crux-mir #2460: Pull request #1305 opened by RyanGlScott
February 11, 2025 22:15 34m 57s T1304-unpackMemValue-LLVMValString
T1304-unpackMemValue-LLVMValString
February 11, 2025 22:15 34m 57s
Merge pull request #1303 from GaloisInc/T1302-crucible-debug-ci-fixes crux-mir #2459: Commit 850f88f pushed by RyanGlScott
February 11, 2025 17:30 41m 18s master
master
February 11, 2025 17:30 41m 18s
crux-mir crux-mir #2458: Manually run by RyanGlScott
February 11, 2025 13:03 44m 34s T1302-crucible-debug-ci-fixes
T1302-crucible-debug-ci-fixes
February 11, 2025 13:03 44m 34s
Fix various CI breakages caused by crucible-debug and TypeRepr-related changes crux-mir #2457: Pull request #1303 synchronize by RyanGlScott
February 11, 2025 13:02 34m 51s T1302-crucible-debug-ci-fixes
T1302-crucible-debug-ci-fixes
February 11, 2025 13:02 34m 51s
crux-mir crux-mir #2456: Manually run by RyanGlScott
February 11, 2025 12:18 41m 3s T1302-crucible-debug-ci-fixes
T1302-crucible-debug-ci-fixes
February 11, 2025 12:18 41m 3s
Fix various CI breakages caused by crucible-debug and TypeRepr-related changes crux-mir #2455: Pull request #1303 opened by RyanGlScott
February 11, 2025 12:17 34m 52s T1302-crucible-debug-ci-fixes
T1302-crucible-debug-ci-fixes
February 11, 2025 12:17 34m 52s
crux-mir crux-mir #2454: Scheduled
February 11, 2025 10:01 34m 31s master
master
February 11, 2025 10:01 34m 31s
crux: Add a --debug flag to drop into the Crucible debugger (#1297) crux-mir #2453: Commit e7957b6 pushed by langston-barrett
February 10, 2025 18:14 36m 2s master
master
February 10, 2025 18:14 36m 2s
Merge pull request #1295 from GaloisInc/jln/typereprpretty crux-mir #2452: Commit c9ddb84 pushed by langston-barrett
February 10, 2025 15:02 58m 35s master
master
February 10, 2025 15:02 58m 35s
Merge pull request #1301 from GaloisInc/T1300-fix-single-quotes-in-gi… crux-mir #2451: Commit 18c710c pushed by RyanGlScott
February 10, 2025 14:58 36m 45s master
master
February 10, 2025 14:58 36m 45s
CI: Surround 'Windows' in quotes to fix GitHub Actions syntax crux-mir #2450: Pull request #1301 opened by RyanGlScott
February 10, 2025 11:59 40m 16s T1300-fix-single-quotes-in-github-actions-syntax
T1300-fix-single-quotes-in-github-actions-syntax
February 10, 2025 11:59 40m 16s