Skip to content

Actions: GaloisInc/crucible

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
G/C unused Monoid and Semigroup instances in crucible-mir lint #164: Pull request #1260 synchronize by sauclovian-g
October 17, 2024 20:38 2m 17s 1259-remove-unused-monoids
1259-remove-unused-monoids
October 17, 2024 20:38 2m 17s
G/C unused Monoid and Semigroup instances in crucible-mir lint #163: Pull request #1260 synchronize by sauclovian-g
October 16, 2024 22:51 2m 7s 1259-remove-unused-monoids
1259-remove-unused-monoids
October 16, 2024 22:51 2m 7s
Merge pull request #1263 from GaloisInc/T1261-T1262-docker-image-impr… lint #162: Commit eb6bd6f pushed by RyanGlScott
October 16, 2024 22:28 2m 4s master
master
October 16, 2024 22:28 2m 4s
Give Docker images non-root users, give crux-mir image a C compiler (#1261, #1262) lint #161: Pull request #1263 opened by RyanGlScott
October 16, 2024 20:13 2m 14s T1261-T1262-docker-image-improvements
T1261-T1262-docker-image-improvements
October 16, 2024 20:13 2m 14s
G/C unused Monoid and Semigroup instances in crucible-mir lint #160: Pull request #1260 opened by sauclovian-g
October 4, 2024 21:48 2m 8s 1259-remove-unused-monoids
1259-remove-unused-monoids
October 4, 2024 21:48 2m 8s
crux-llvm: Uniformly use LLVM 14 in Dockerfile (#1258) lint #159: Commit 3e165da pushed by RyanGlScott
September 24, 2024 14:06 2m 12s master
master
September 24, 2024 14:06 2m 12s
crux-llvm: Uniformly use LLVM 14 in Dockerfile lint #158: Pull request #1258 opened by RyanGlScott
September 24, 2024 11:53 2m 17s T1257-fix-llvm-ver-Dockerfile
T1257-fix-llvm-ver-Dockerfile
September 24, 2024 11:53 2m 17s
Merge pull request #1256 from GaloisInc/T1255-ci-upgrade-to-llvm-14 lint #157: Commit 1e576dd pushed by RyanGlScott
September 23, 2024 15:01 2m 22s master
master
September 23, 2024 15:01 2m 22s
CI: Switch from LLVM 12 to 14 lint #156: Pull request #1256 synchronize by RyanGlScott
September 23, 2024 13:31 2m 9s T1255-ci-upgrade-to-llvm-14
T1255-ci-upgrade-to-llvm-14
September 23, 2024 13:31 2m 9s