Skip to content

Actions: GaloisInc/crucible

Actions

crucible-wasm builds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crucible-wasm-build.yml
381 workflow runs
381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1277 from GaloisInc/T1276-fix-crux-mir-Docker-ent… crucible-wasm builds #1383: Commit ada93e9 pushed by RyanGlScott
January 23, 2025 17:29 17m 57s master
master
January 23, 2025 17:29 17m 57s
Fix crux-mir Docker image entrypoint crucible-wasm builds #1382: Pull request #1277 opened by RyanGlScott
January 23, 2025 16:13 18m 53s T1276-fix-crux-mir-Docker-entrypoint
T1276-fix-crux-mir-Docker-entrypoint
January 23, 2025 16:13 18m 53s
cli, concurrency, syntax: Pretty-print syntax errors (#1275) crucible-wasm builds #1381: Commit 024be7e pushed by langston-barrett
January 23, 2025 13:55 40m 35s master
master
January 23, 2025 13:55 40m 35s
cli: Pretty-print syntax errors crucible-wasm builds #1380: Pull request #1275 synchronize by langston-barrett
January 22, 2025 19:01 24m 57s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 19:01 24m 57s
cli: Pretty-print syntax errors crucible-wasm builds #1379: Pull request #1275 synchronize by langston-barrett
January 22, 2025 18:49 25m 13s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 18:49 25m 13s
cli: Pretty-print syntax errors crucible-wasm builds #1378: Pull request #1275 opened by langston-barrett
January 22, 2025 18:06 44m 30s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 18:06 44m 30s
syntax: Pretty instance for ExprError (#1274) crucible-wasm builds #1377: Commit 0f1b3b8 pushed by langston-barrett
January 22, 2025 18:02 46m 0s master
master
January 22, 2025 18:02 46m 0s
syntax: Pretty instance for ExprError crucible-wasm builds #1376: Pull request #1274 synchronize by langston-barrett
January 22, 2025 16:55 19m 32s langston-barrett:lb/syntax-error
langston-barrett:lb/syntax-error
January 22, 2025 16:55 19m 32s
syntax: Pretty instance for ExprError crucible-wasm builds #1375: Pull request #1274 opened by langston-barrett
January 22, 2025 16:23 41m 47s langston-barrett:lb/syntax-error
langston-barrett:lb/syntax-error
January 22, 2025 16:23 41m 47s
Merge pull request #1272 from GaloisInc/T1271-CRUX_RUST_LIBRARY_PATH-… crucible-wasm builds #1374: Commit 7ccc4d9 pushed by RyanGlScott
January 9, 2025 13:54 20m 20s master
master
January 9, 2025 13:54 20m 20s
crux-mir Dockerfile: Define CRUX_RUST_LIBRARY_PATH once more crucible-wasm builds #1373: Pull request #1272 opened by RyanGlScott
January 9, 2025 13:07 21m 23s T1271-CRUX_RUST_LIBRARY_PATH-Dockerfile
T1271-CRUX_RUST_LIBRARY_PATH-Dockerfile
January 9, 2025 13:07 21m 23s
Merge pull request #1270 from GaloisInc/bitwuzla crucible-wasm builds #1372: Commit 95b39e3 pushed by RyanGlScott
January 8, 2025 17:28 43m 15s master
master
January 8, 2025 17:28 43m 15s
Add Bitwuzla support crucible-wasm builds #1371: Pull request #1270 synchronize by RyanGlScott
January 7, 2025 19:45 19m 40s bitwuzla
bitwuzla
January 7, 2025 19:45 19m 40s
Add Bitwuzla support crucible-wasm builds #1370: Pull request #1270 synchronize by RyanGlScott
January 7, 2025 15:29 42m 30s bitwuzla
bitwuzla
January 7, 2025 15:29 42m 30s
Add Bitwuzla support crucible-wasm builds #1369: Pull request #1270 opened by RyanGlScott
January 7, 2025 15:23 4m 55s bitwuzla
bitwuzla
January 7, 2025 15:23 4m 55s
llvm: Add a space to a error message (#1267) crucible-wasm builds #1368: Commit 9dea59a pushed by langston-barrett
December 4, 2024 20:24 43m 33s master
master
December 4, 2024 20:24 43m 33s
llvm: Add a space to a error message crucible-wasm builds #1367: Pull request #1267 opened by langston-barrett
December 4, 2024 18:24 44m 40s lb/llvm-log-msg
lb/llvm-log-msg
December 4, 2024 18:24 44m 40s
Merge pull request #1266 from GaloisInc/T1024-crucible-syntax-exotic-… crucible-wasm builds #1366: Commit 80df1aa pushed by RyanGlScott
November 26, 2024 14:22 44m 51s master
master
November 26, 2024 14:22 44m 51s
crucible-syntax: Allow exotic characters in fresh atom names crucible-wasm builds #1365: Pull request #1266 synchronize by RyanGlScott
November 26, 2024 10:34 31m 7s T1024-crucible-syntax-exotic-fresh-var-names
T1024-crucible-syntax-exotic-fresh-var-names
November 26, 2024 10:34 31m 7s
crucible-syntax: Allow exotic characters in fresh atom names crucible-wasm builds #1364: Pull request #1266 opened by RyanGlScott
November 26, 2024 00:53 43m 2s T1024-crucible-syntax-exotic-fresh-var-names
T1024-crucible-syntax-exotic-fresh-var-names
November 26, 2024 00:53 43m 2s
Dockerfiles: Properly set up non-root users (#1265) crucible-wasm builds #1363: Commit d0c27a1 pushed by RyanGlScott
October 28, 2024 18:35 20m 8s master
master
October 28, 2024 18:35 20m 8s
Dockerfiles: Properly set up non-root users crucible-wasm builds #1362: Pull request #1265 opened by RyanGlScott
October 25, 2024 15:32 21m 31s T1261-more-dockerfile-improvements
T1261-more-dockerfile-improvements
October 25, 2024 15:32 21m 31s
Merge pull request #1260 from GaloisInc/1259-remove-unused-monoids crucible-wasm builds #1361: Commit 2fb1c26 pushed by sauclovian-g
October 21, 2024 17:46 40m 17s master
master
October 21, 2024 17:46 40m 17s
G/C unused Monoid and Semigroup instances in crucible-mir crucible-wasm builds #1360: Pull request #1260 synchronize by sauclovian-g
October 18, 2024 20:08 23m 38s 1259-remove-unused-monoids
1259-remove-unused-monoids
October 18, 2024 20:08 23m 38s
G/C unused Monoid and Semigroup instances in crucible-mir crucible-wasm builds #1359: Pull request #1260 synchronize by sauclovian-g
October 18, 2024 20:06 25m 17s 1259-remove-unused-monoids
1259-remove-unused-monoids
October 18, 2024 20:06 25m 17s