Skip to content

Actions: GaloisInc/crucible

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
189 workflow runs
189 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… lint #189: Commit ada93e9 pushed by RyanGlScott
January 23, 2025 17:29 2m 15s master
master
January 23, 2025 17:29 2m 15s
Fix crux-mir Docker image entrypoint lint #188: Pull request #1277 opened by RyanGlScott
January 23, 2025 16:13 2m 13s T1276-fix-crux-mir-Docker-entrypoint
T1276-fix-crux-mir-Docker-entrypoint
January 23, 2025 16:13 2m 13s
cli, concurrency, syntax: Pretty-print syntax errors (#1275) lint #187: Commit 024be7e pushed by langston-barrett
January 23, 2025 13:55 2m 14s master
master
January 23, 2025 13:55 2m 14s
cli: Pretty-print syntax errors lint #186: Pull request #1275 synchronize by langston-barrett
January 22, 2025 19:01 2m 14s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 19:01 2m 14s
cli: Pretty-print syntax errors lint #185: Pull request #1275 synchronize by langston-barrett
January 22, 2025 18:49 2m 4s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 18:49 2m 4s
cli: Pretty-print syntax errors lint #184: Pull request #1275 opened by langston-barrett
January 22, 2025 18:06 2m 16s langston-barrett:lb/pretty-syntax-error
langston-barrett:lb/pretty-syntax-error
January 22, 2025 18:06 2m 16s
syntax: Pretty instance for ExprError (#1274) lint #183: Commit 0f1b3b8 pushed by langston-barrett
January 22, 2025 18:02 2m 16s master
master
January 22, 2025 18:02 2m 16s
syntax: Pretty instance for ExprError lint #182: Pull request #1274 synchronize by langston-barrett
January 22, 2025 16:55 2m 16s langston-barrett:lb/syntax-error
langston-barrett:lb/syntax-error
January 22, 2025 16:55 2m 16s
syntax: Pretty instance for ExprError lint #181: Pull request #1274 opened by langston-barrett
January 22, 2025 16:23 2m 12s langston-barrett:lb/syntax-error
langston-barrett:lb/syntax-error
January 22, 2025 16:23 2m 12s
Merge pull request #1272 from GaloisInc/T1271-CRUX_RUST_LIBRARY_PATH-… lint #180: Commit 7ccc4d9 pushed by RyanGlScott
January 9, 2025 13:54 2m 16s master
master
January 9, 2025 13:54 2m 16s
crux-mir Dockerfile: Define CRUX_RUST_LIBRARY_PATH once more lint #179: Pull request #1272 opened by RyanGlScott
January 9, 2025 13:07 2m 10s T1271-CRUX_RUST_LIBRARY_PATH-Dockerfile
T1271-CRUX_RUST_LIBRARY_PATH-Dockerfile
January 9, 2025 13:07 2m 10s
Merge pull request #1270 from GaloisInc/bitwuzla lint #178: Commit 95b39e3 pushed by RyanGlScott
January 8, 2025 17:28 2m 6s master
master
January 8, 2025 17:28 2m 6s
Add Bitwuzla support lint #177: Pull request #1270 synchronize by RyanGlScott
January 7, 2025 19:45 2m 17s bitwuzla
bitwuzla
January 7, 2025 19:45 2m 17s
Add Bitwuzla support lint #176: Pull request #1270 synchronize by RyanGlScott
January 7, 2025 15:29 2m 11s bitwuzla
bitwuzla
January 7, 2025 15:29 2m 11s
Add Bitwuzla support lint #175: Pull request #1270 opened by RyanGlScott
January 7, 2025 15:23 2m 11s bitwuzla
bitwuzla
January 7, 2025 15:23 2m 11s
llvm: Add a space to a error message (#1267) lint #174: Commit 9dea59a pushed by langston-barrett
December 4, 2024 20:24 2m 2s master
master
December 4, 2024 20:24 2m 2s
llvm: Add a space to a error message lint #173: Pull request #1267 opened by langston-barrett
December 4, 2024 18:24 2m 19s lb/llvm-log-msg
lb/llvm-log-msg
December 4, 2024 18:24 2m 19s
Merge pull request #1266 from GaloisInc/T1024-crucible-syntax-exotic-… lint #172: Commit 80df1aa pushed by RyanGlScott
November 26, 2024 14:22 2m 6s master
master
November 26, 2024 14:22 2m 6s
crucible-syntax: Allow exotic characters in fresh atom names lint #171: Pull request #1266 synchronize by RyanGlScott
November 26, 2024 10:34 2m 20s T1024-crucible-syntax-exotic-fresh-var-names
T1024-crucible-syntax-exotic-fresh-var-names
November 26, 2024 10:34 2m 20s
crucible-syntax: Allow exotic characters in fresh atom names lint #170: Pull request #1266 opened by RyanGlScott
November 26, 2024 00:53 2m 14s T1024-crucible-syntax-exotic-fresh-var-names
T1024-crucible-syntax-exotic-fresh-var-names
November 26, 2024 00:53 2m 14s
Dockerfiles: Properly set up non-root users (#1265) lint #169: Commit d0c27a1 pushed by RyanGlScott
October 28, 2024 18:35 2m 11s master
master
October 28, 2024 18:35 2m 11s
Dockerfiles: Properly set up non-root users lint #168: Pull request #1265 opened by RyanGlScott
October 25, 2024 15:32 2m 24s T1261-more-dockerfile-improvements
T1261-more-dockerfile-improvements
October 25, 2024 15:32 2m 24s
Merge pull request #1260 from GaloisInc/1259-remove-unused-monoids lint #167: Commit 2fb1c26 pushed by sauclovian-g
October 21, 2024 17:46 2m 12s master
master
October 21, 2024 17:46 2m 12s
G/C unused Monoid and Semigroup instances in crucible-mir lint #166: Pull request #1260 synchronize by sauclovian-g
October 18, 2024 20:08 2m 20s 1259-remove-unused-monoids
1259-remove-unused-monoids
October 18, 2024 20:08 2m 20s
G/C unused Monoid and Semigroup instances in crucible-mir lint #165: Pull request #1260 synchronize by sauclovian-g
October 18, 2024 20:06 2m 11s 1259-remove-unused-monoids
1259-remove-unused-monoids
October 18, 2024 20:06 2m 11s