Externer Interrupt setzt Flag-Bit nicht

Mein Ziel ist es, PWM-Impulse zu messen. Aber um das zu erreichen, mache ich kleine Schritte, also ist mein erstes Ziel, einen Pin zu setzen, wenn eine Flanke des PWM-Signals erkannt wird. Das PWM-Signal gelangt über den INT1-Pin (RB1) in den Mikrocontroller (pic18f25k80, Datenblatt ). Ich habe den Code geschrieben, um den externen Interrupt zu initialisieren:

#include <stdio.h>
#include <stdlib.h>
#include <pic18f25k80.h>
#include "config.h"


void main() {
        TRISB1 = 1;                 // INT1 as input
        LATB1 = 0;                  // Clear INT1
        TRISC6 = 0;                 // RC6 as output
        LATC6 = 0;                  // Clear RC6
    
        //Setup of INT1
        RCONbits.IPEN = 0;          //Disable priorities
        INTCONbits.GIE_GIEH = 1;    //Enable Global interrupt
        INTCONbits.PEIE_GIEL = 1;   //Enable peripheral interrupts
        INTCON2bits.INTEDG1 = 1;    // Edge select for INT1
        INTCON3bits.INT1IE = 1;     // Enable the INT1 external interrupt
        //INTCON3bits.INT1IP = 0;     // Low priority
        INTCON3bits.INT1IF = 0;        //Clear external interrupt flag bit
    
        while(1) {
        }
    }
    //Interrupt Service Routine
    
    #pragma code isr=0x08
    #pragma interrupt isr
    
    void isr(void)
    {
        if(INTCON3bits.INT1IF){
            LATC6 = 1;
        }
    }
    
    #pragma code

Es scheint, dass das Interrupt-Flag nicht hoch geht, weil der RC6-Pin niedrig ist. Ich habe das mit einem Oszilloskop gemessen. Was mache ich falsch?

Übrigens ist das die richtige Art, eine ISR anzurufen?