Skip to content

Actions: eggrobin/Principia

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yaml
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

turn it off Lint #539: Commit e98c258 pushed by eggrobin
January 6, 2025 23:09 3m 1s jumpy-conditions
jumpy-conditions
January 6, 2025 23:09 3m 1s
Emit jumps rather than stores for conditions Lint #538: Commit ac924ce pushed by eggrobin
January 6, 2025 22:32 2m 31s jumpy-conditions
jumpy-conditions
January 6, 2025 22:32 2m 31s
Merge pull request #4157 from eggrobin/cbrt-osaca Lint #537: Commit 8c5eb1e pushed by eggrobin
January 6, 2025 22:30 2m 59s jumpy-conditions
jumpy-conditions
January 6, 2025 22:30 2m 59s
Turn it off, again Lint #536: Commit 2f30c63 pushed by eggrobin
January 3, 2025 00:40 2m 18s cbrt-osaca
cbrt-osaca
January 3, 2025 00:40 2m 18s
Don’t include what we don’t use Lint #535: Commit a35c6df pushed by eggrobin
January 3, 2025 00:18 2m 41s cbrt-osaca
cbrt-osaca
January 3, 2025 00:18 2m 41s
turn it off Lint #534: Commit db752da pushed by eggrobin
January 3, 2025 00:04 2m 50s cbrt-osaca
cbrt-osaca
January 3, 2025 00:04 2m 50s
Fix the end marker Lint #533: Commit 33d92ff pushed by eggrobin
January 2, 2025 19:44 2m 56s cbrt-osaca
cbrt-osaca
January 2, 2025 19:44 2m 56s
bless Lint #532: Commit 90f387f pushed by eggrobin
January 2, 2025 19:07 2m 15s cbrt-osaca
cbrt-osaca
January 2, 2025 19:07 2m 15s
osaca.hpp Lint #531: Commit 4c9e768 pushed by eggrobin
January 2, 2025 18:57 2m 50s cbrt-osaca
cbrt-osaca
January 2, 2025 18:57 2m 50s
aaaaaaaaaa Lint #530: Commit 0f947ed pushed by eggrobin
January 2, 2025 04:14 2m 6s cbrt-osaca
cbrt-osaca
January 2, 2025 04:14 2m 6s
meow Lint #529: Commit 682efc9 pushed by eggrobin
January 2, 2025 04:00 2m 33s cbrt-osaca
cbrt-osaca
January 2, 2025 04:00 2m 33s
no force inline Lint #528: Commit 2188258 pushed by eggrobin
January 1, 2025 12:30 3m 11s osaca-macros
osaca-macros
January 1, 2025 12:30 3m 11s
turn it off Lint #527: Commit d78d05e pushed by eggrobin
January 1, 2025 04:39 2m 7s osaca-macros
osaca-macros
January 1, 2025 04:39 2m 7s
More improvements to the macros Lint #526: Commit d6a22b9 pushed by eggrobin
January 1, 2025 03:36 3m 12s osaca-macros
osaca-macros
January 1, 2025 03:36 3m 12s
No inlining, fix bugs in the hypotheses, improve the macros Lint #525: Commit 8a54073 pushed by eggrobin
December 31, 2024 23:18 2m 1s osaca-macros
osaca-macros
December 31, 2024 23:18 2m 1s
lint Lint #524: Commit ce7bc2a pushed by eggrobin
December 31, 2024 15:39 2m 5s osaca-macros
osaca-macros
December 31, 2024 15:39 2m 5s
Easier switching between functions Lint #523: Commit 610363a pushed by eggrobin
December 31, 2024 15:35 2m 6s osaca-macros
osaca-macros
December 31, 2024 15:35 2m 6s
Review comments Lint #522: Commit 8423ed9 pushed by eggrobin
December 31, 2024 13:54 2m 2s osaca-macros
osaca-macros
December 31, 2024 13:54 2m 2s
OSACA_CARRY_LOOP_THROUGH_REGISTER Lint #521: Commit 1d0b1ed pushed by eggrobin
December 31, 2024 13:07 2m 49s osaca-macros
osaca-macros
December 31, 2024 13:07 2m 49s
fix the example Lint #520: Commit fa127b5 pushed by eggrobin
December 31, 2024 04:40 2m 39s osaca-macros
osaca-macros
December 31, 2024 04:40 2m 39s
λ Lint #519: Commit de2cba2 pushed by eggrobin
December 31, 2024 04:13 2m 51s osaca-macros
osaca-macros
December 31, 2024 04:13 2m 51s
unnest Lint #518: Commit ea8a155 pushed by eggrobin
December 31, 2024 04:09 3m 23s osaca-macros
osaca-macros
December 31, 2024 04:09 3m 23s
comments intensify Lint #517: Commit c1ab8c7 pushed by eggrobin
December 31, 2024 04:05 2m 33s osaca-macros
osaca-macros
December 31, 2024 04:05 2m 33s
lint Lint #516: Commit eaaf4ee pushed by eggrobin
December 31, 2024 03:55 2m 37s osaca-macros
osaca-macros
December 31, 2024 03:55 2m 37s
comments Lint #515: Commit 4217151 pushed by eggrobin
December 31, 2024 03:53 2m 6s osaca-macros
osaca-macros
December 31, 2024 03:53 2m 6s