Skip to content

Actions: buzden/deptycheck

Actions

Lame

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lame-os.yml
453 workflow runs
453 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[ ci ] Update Super-linter Lame #328: Pull request #311 synchronize by spcfox
32s spcfox:update-super-linter
spcfox:update-super-linter
32s
[ example ] Make pil-fun's generator be derivation-friendly Lame #327: Commit 4b069af pushed by buzden
14s master
master
14s
[ derive ] Support data specialisation Lame #326: Pull request #299 synchronize by UARTman
15s UARTman:dtc-integration
UARTman:dtc-integration
15s
[ example ] Make pil-fun's generator be derivation-friendly Lame #325: Pull request #310 synchronize by buzden
1s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
1s
[ refactor ] Use type instead of function for mapping to Idris types Lame #324: Commit 65f4ad5 pushed by buzden
18s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
18s
[ ci ] Update Super-linter Lame #323: Pull request #311 synchronize by spcfox
17s spcfox:update-super-linter
spcfox:update-super-linter
17s
[ ci ] Update Super-linter Lame #322: Pull request #311 opened by spcfox
18s spcfox:update-super-linter
spcfox:update-super-linter
18s
[ derive ] Support data specialisation Lame #321: Pull request #299 synchronize by UARTman
14s UARTman:dtc-integration
UARTman:dtc-integration
14s
[ derive ] Support data specialisation Lame #320: Pull request #299 synchronize by UARTman
15s UARTman:dtc-integration
UARTman:dtc-integration
15s
[ example ] Make pil-fun's generator be derivation-friendly Lame #319: Pull request #310 synchronize by buzden
1s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
1s
[ example ] Drasticly simplify expressions generation in pil-reg Lame #318: Commit eaeaf47 pushed by buzden
15s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
15s
[ example ] Make pil-fun's generator be derivation-friendly Lame #317: Pull request #310 synchronize by buzden
1s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
1s
[ example ] Drasticly simplify expressions generation in pil-reg Lame #316: Commit f52565a pushed by buzden
17s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
17s
[ example ] Make pil-fun's generator be derivation-friendly Lame #315: Pull request #310 synchronize by buzden
1s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
1s
[ cleanup ] Remove unused Show requirement from the print Lame #314: Commit d263bc1 pushed by buzden
32s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
32s
[ example ] Make pil-fun's generator be derivation-friendly Lame #313: Pull request #310 synchronize by buzden
1s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
1s
[ cleanup ] Remove unused Show requirement from the print Lame #312: Commit 7288156 pushed by buzden
22s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
22s
[ example ] Make pil-fun's generator be derivation-friendly Lame #311: Pull request #310 opened by buzden
1s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
1s
[ example ] Simplify one data type in pil-reg, don't store a function Lame #310: Commit 4315d46 pushed by buzden
18s simpler-gen-in-pil-reg
simpler-gen-in-pil-reg
18s
[ derive ] Support data specialisation Lame #309: Pull request #299 synchronize by UARTman
17s UARTman:dtc-integration
UARTman:dtc-integration
17s
[ derive ] Support data specialisation Lame #308: Pull request #299 synchronize by UARTman
16s UARTman:dtc-integration
UARTman:dtc-integration
16s
[ derive ] Support data specialisation Lame #307: Pull request #299 synchronize by UARTman
16s UARTman:dtc-integration
UARTman:dtc-integration
16s
[ derive ] Support data specialisation Lame #306: Pull request #299 synchronize by UARTman
17s UARTman:dtc-integration
UARTman:dtc-integration
17s
[ derive ] Support data specialisation Lame #305: Pull request #299 synchronize by UARTman
17s UARTman:dtc-integration
UARTman:dtc-integration
17s
[ example ] Make sorted list examples to be tested on bigger fuels Lame #304: Pull request #309 synchronize by buzden
1s sorted-list-examples-tuned
sorted-list-examples-tuned
1s