Skip to content

Actions: GaloisInc/crucible

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CI: Switch from LLVM 12 to 14 lint #155: Pull request #1256 opened by RyanGlScott
September 23, 2024 12:44 2m 9s T1255-ci-upgrade-to-llvm-14
T1255-ci-upgrade-to-llvm-14
September 23, 2024 12:44 2m 9s
llvm: Print out the failed predicate in a panic (#1254) lint #154: Commit e8e0c53 pushed by langston-barrett
September 11, 2024 22:37 2m 8s master
master
September 11, 2024 22:37 2m 8s
Revise Haddocks for Crucible backends (#1249) lint #153: Commit 86f1f2e pushed by langston-barrett
September 11, 2024 21:38 2m 15s master
master
September 11, 2024 21:38 2m 15s
llvm: Print out the failed predicate in a panic lint #152: Pull request #1254 opened by langston-barrett
September 11, 2024 21:37 2m 7s lb/mem-model-panic
lb/mem-model-panic
September 11, 2024 21:37 2m 7s
Revise Haddocks for Crucible backends lint #151: Pull request #1249 synchronize by langston-barrett
September 10, 2024 20:40 2m 13s langston-barrett:lb/backend-docs
langston-barrett:lb/backend-docs
September 10, 2024 20:40 2m 13s
Merge pull request #1251 from GaloisInc/T1250-upgrade-actions-versions lint #150: Commit 6235955 pushed by RyanGlScott
September 9, 2024 14:38 2m 8s master
master
September 9, 2024 14:38 2m 8s