Watchdog #249
Annotations
3 errors and 1 warning
Run lf-lang/action-check-lf-files@main
Error: Command failed: lfc "./examples/C/src/leader-election/NRP_FD_Partitioning.lf"
lfc: warning: No sources to provide inputs.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:15:3
|
14 |
15 | node1.out1 -> switch1.in1 after delay
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ No sources to provide inputs.
|
16 | switch1.out1 -> node1.in1 after delay
lfc: error: Not a port.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:15:3
|
14 |
15 | node1.out1 -> switch1.in1 after delay
| ^^^^^^^^^^ Not a port.
|
16 | switch1.out1 -> node1.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:15:9
|
14 |
15 | node1.out1 -> switch1.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
16 | switch1.out1 -> node1.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:16:25
|
15 | node1.out1 -> switch1.in1 after delay
16 | switch1.out1 -> node1.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
17 |
lfc: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:21:25
|
20 |
21 | switch2.out1 -> node2.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
22 | node2.out1 -> switch2.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:22:9
|
21 | switch2.out1 -> node2.in1 after delay
22 | node2.out1 -> switch2.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
23 |
lfc: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:28:9
|
27 |
28 | node1.out2 -> switch3.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
29 | switch3.out1 -> node1.in2 after delay
lfc: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:29:25
|
28 | node1.out2 -> switch3.in1 after delay
29 | switch3.out1 -> node1.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
30 |
lfc: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:34:25
|
33 |
34 | switch4.out1 -> node2.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
35 | node2.out2 -> switch4.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_Partitioning.lf:35:9
|
34 | switch4.out1 -> node2.in2 after delay
35 | node2.out2 -> switch4.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
36 | }
lfc: �[1
|
Run lf-lang/action-check-lf-files@main
Error: Command failed: lfc "./examples/C/src/leader-election/NRP_FD_PrimaryFails.lf"
lfc: warning: No sources to provide inputs.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:14:3
|
13 |
14 | node1.out1 -> switch1.in1 after delay
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ No sources to provide inputs.
|
15 | switch1.out1 -> node1.in1 after delay
lfc: error: Not a port.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:14:3
|
13 |
14 | node1.out1 -> switch1.in1 after delay
| ^^^^^^^^^^ Not a port.
|
15 | switch1.out1 -> node1.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:14:9
|
13 |
14 | node1.out1 -> switch1.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
15 | switch1.out1 -> node1.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:15:25
|
14 | node1.out1 -> switch1.in1 after delay
15 | switch1.out1 -> node1.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
16 |
lfc: error: Couldn't resolve reference to Variable 'in1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:20:25
|
19 |
20 | switch2.out1 -> node2.in1 after delay
| ^^^ Couldn't resolve reference to Variable 'in1'.
|
21 | node2.out1 -> switch2.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out1'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:21:9
|
20 | switch2.out1 -> node2.in1 after delay
21 | node2.out1 -> switch2.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out1'.
|
22 |
lfc: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:26:9
|
25 |
26 | node1.out2 -> switch3.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
27 | switch3.out1 -> node1.in2 after delay
lfc: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:27:25
|
26 | node1.out2 -> switch3.in1 after delay
27 | switch3.out1 -> node1.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
28 |
lfc: error: Couldn't resolve reference to Variable 'in2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:32:25
|
31 |
32 | switch4.out1 -> node2.in2 after delay
| ^^^ Couldn't resolve reference to Variable 'in2'.
|
33 | node2.out2 -> switch4.in1 after delay
lfc: error: Couldn't resolve reference to Variable 'out2'.
--> examples/C/src/leader-election/NRP_FD_PrimaryFails.lf:33:9
|
32 | switch4.out1 -> node2.in2 after delay
33 | node2.out2 -> switch4.in1 after delay
| ^^^^ Couldn't resolve reference to Variable 'out2'.
|
34 | }
lfc: �[1
|
Run lf-lang/action-check-lf-files@main
2 file(s) failed compile check
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, lf-lang/action-check-lf-files@main. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
The logs for this run have expired and are no longer available.
Loading