Skip to content

Actions: GaloisInc/crucible

Actions

crucible-jvm builds

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check the repository owner in CI tasks crucible-jvm builds #863: Pull request #1280 synchronize by sauclovian-g
January 30, 2025 22:13 12m 56s tidy-ci-in-forks
tidy-ci-in-forks
January 30, 2025 22:13 12m 56s
Check the repository owner in CI tasks crucible-jvm builds #862: Pull request #1280 synchronize by sauclovian-g
January 30, 2025 20:51 15m 38s tidy-ci-in-forks
tidy-ci-in-forks
January 30, 2025 20:51 15m 38s
Check the repository owner in CI tasks crucible-jvm builds #861: Pull request #1280 opened by sauclovian-g
January 30, 2025 20:41 11m 36s tidy-ci-in-forks
tidy-ci-in-forks
January 30, 2025 20:41 11m 36s
Merge pull request #1277 from GaloisInc/T1276-fix-crux-mir-Docker-ent… crucible-jvm builds #860: Commit ada93e9 pushed by RyanGlScott
January 23, 2025 17:29 13m 56s master
master
January 23, 2025 17:29 13m 56s
Fix crux-mir Docker image entrypoint crucible-jvm builds #859: Pull request #1277 opened by RyanGlScott
January 23, 2025 16:13 12m 54s T1276-fix-crux-mir-Docker-entrypoint
T1276-fix-crux-mir-Docker-entrypoint
January 23, 2025 16:13 12m 54s
cli, concurrency, syntax: Pretty-print syntax errors (#1275) crucible-jvm builds #858: Commit 024be7e pushed by langston-barrett
January 23, 2025 13:55 34m 47s master
master
January 23, 2025 13:55 34m 47s
cli: Pretty-print syntax errors crucible-jvm builds #857: Pull request #1275 synchronize by langston-barrett
January 22, 2025 19:01 16m 52s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 19:01 16m 52s
cli: Pretty-print syntax errors crucible-jvm builds #856: Pull request #1275 synchronize by langston-barrett
January 22, 2025 18:49 13m 13s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 18:49 13m 13s
cli: Pretty-print syntax errors crucible-jvm builds #855: Pull request #1275 opened by langston-barrett
January 22, 2025 18:06 47m 34s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 18:06 47m 34s
syntax: Pretty instance for ExprError (#1274) crucible-jvm builds #854: Commit 0f1b3b8 pushed by langston-barrett
January 22, 2025 18:02 35m 39s master
master
January 22, 2025 18:02 35m 39s
syntax: Pretty instance for ExprError crucible-jvm builds #853: Pull request #1274 synchronize by langston-barrett
January 22, 2025 16:55 13m 15s langston-barrett:lb/syntax-error
langston-barrett:lb/syntax-error
January 22, 2025 16:55 13m 15s
syntax: Pretty instance for ExprError crucible-jvm builds #852: Pull request #1274 opened by langston-barrett
January 22, 2025 16:23 32m 19s langston-barrett:lb/syntax-error
langston-barrett:lb/syntax-error
January 22, 2025 16:23 32m 19s
Merge pull request #1272 from GaloisInc/T1271-CRUX_RUST_LIBRARY_PATH-… crucible-jvm builds #851: Commit 7ccc4d9 pushed by RyanGlScott
January 9, 2025 13:54 12m 46s master
master
January 9, 2025 13:54 12m 46s
crux-mir Dockerfile: Define CRUX_RUST_LIBRARY_PATH once more crucible-jvm builds #850: Pull request #1272 opened by RyanGlScott
January 9, 2025 13:07 12m 24s T1271-CRUX_RUST_LIBRARY_PATH-Dockerfile
T1271-CRUX_RUST_LIBRARY_PATH-Dockerfile
January 9, 2025 13:07 12m 24s
Merge pull request #1270 from GaloisInc/bitwuzla crucible-jvm builds #849: Commit 95b39e3 pushed by RyanGlScott
January 8, 2025 17:28 32m 35s master
master
January 8, 2025 17:28 32m 35s
Add Bitwuzla support crucible-jvm builds #848: Pull request #1270 synchronize by RyanGlScott
January 7, 2025 19:45 13m 21s bitwuzla
bitwuzla
January 7, 2025 19:45 13m 21s
Add Bitwuzla support crucible-jvm builds #847: Pull request #1270 synchronize by RyanGlScott
January 7, 2025 15:29 32m 18s bitwuzla
bitwuzla
January 7, 2025 15:29 32m 18s
Add Bitwuzla support crucible-jvm builds #846: Pull request #1270 opened by RyanGlScott
January 7, 2025 15:23 5m 9s bitwuzla
bitwuzla
January 7, 2025 15:23 5m 9s
llvm: Add a space to a error message (#1267) crucible-jvm builds #845: Commit 9dea59a pushed by langston-barrett
December 4, 2024 20:24 33m 18s master
master
December 4, 2024 20:24 33m 18s
llvm: Add a space to a error message crucible-jvm builds #844: Pull request #1267 opened by langston-barrett
December 4, 2024 18:24 35m 16s lb/llvm-log-msg
lb/llvm-log-msg
December 4, 2024 18:24 35m 16s
Merge pull request #1266 from GaloisInc/T1024-crucible-syntax-exotic-… crucible-jvm builds #843: Commit 80df1aa pushed by RyanGlScott
November 26, 2024 14:22 36m 34s master
master
November 26, 2024 14:22 36m 34s
crucible-syntax: Allow exotic characters in fresh atom names crucible-jvm builds #842: Pull request #1266 synchronize by RyanGlScott
November 26, 2024 10:34 12m 44s T1024-crucible-syntax-exotic-fresh-var-names
T1024-crucible-syntax-exotic-fresh-var-names
November 26, 2024 10:34 12m 44s
crucible-syntax: Allow exotic characters in fresh atom names crucible-jvm builds #841: Pull request #1266 opened by RyanGlScott
November 26, 2024 00:53 33m 3s T1024-crucible-syntax-exotic-fresh-var-names
T1024-crucible-syntax-exotic-fresh-var-names
November 26, 2024 00:53 33m 3s
Dockerfiles: Properly set up non-root users (#1265) crucible-jvm builds #840: Commit d0c27a1 pushed by RyanGlScott
October 28, 2024 18:35 11m 15s master
master
October 28, 2024 18:35 11m 15s
Dockerfiles: Properly set up non-root users crucible-jvm builds #839: Pull request #1265 opened by RyanGlScott
October 25, 2024 15:32 12m 50s T1261-more-dockerfile-improvements
T1261-more-dockerfile-improvements
October 25, 2024 15:32 12m 50s