Skip to content

Actions: GaloisInc/crucible

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check the repository owner in CI tasks lint #195: Pull request #1280 synchronize by sauclovian-g
January 31, 2025 21:58 2m 7s tidy-ci-in-forks
tidy-ci-in-forks
January 31, 2025 21:58 2m 7s
crucible-saw: rm lint #194: Pull request #1282 synchronize by langston-barrett
January 31, 2025 16:36 2m 8s lb/rm-crucible-saw
lb/rm-crucible-saw
January 31, 2025 16:36 2m 8s
crucible-saw: rm lint #193: Pull request #1282 opened by langston-barrett
January 31, 2025 15:26 1m 54s lb/rm-crucible-saw
lb/rm-crucible-saw
January 31, 2025 15:26 1m 54s
Check the repository owner in CI tasks lint #192: Pull request #1280 synchronize by sauclovian-g
January 30, 2025 22:13 2m 17s tidy-ci-in-forks
tidy-ci-in-forks
January 30, 2025 22:13 2m 17s
Check the repository owner in CI tasks lint #191: Pull request #1280 synchronize by sauclovian-g
January 30, 2025 20:51 2m 5s tidy-ci-in-forks
tidy-ci-in-forks
January 30, 2025 20:51 2m 5s
Check the repository owner in CI tasks lint #190: Pull request #1280 opened by sauclovian-g
January 30, 2025 20:41 2m 9s tidy-ci-in-forks
tidy-ci-in-forks
January 30, 2025 20:41 2m 9s
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