Skip to content
This repository was archived by the owner on Apr 12, 2023. It is now read-only.
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: jcp19/oldVerifiedSCION
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: jogasser/VerifiedSCION
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 18 commits
  • 1 file changed
  • 1 contributor

Commits on Mar 17, 2022

  1. updated workflow

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    bcebc19 View commit details
    Browse the repository at this point in the history

  2. updated workflow

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    87878a4 View commit details
    Browse the repository at this point in the history

  3. fixed workflow syntax

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    ee970a9 View commit details
    Browse the repository at this point in the history

  4. updated workflow

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    598864e View commit details
    Browse the repository at this point in the history

  5. simplified job

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    d28d6c7 View commit details
    Browse the repository at this point in the history

  6. fixed wrong argument

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    1ab527c View commit details
    Browse the repository at this point in the history

  7. move router to its own job

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    dd88aa2 View commit details
    Browse the repository at this point in the history

  8. added the package argument

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    f8973cd View commit details
    Browse the repository at this point in the history

  9. fixed typo

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    edae10b View commit details
    Browse the repository at this point in the history

  10. changed jobs such that artifact storage & caching is always executed

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    6f58792 View commit details
    Browse the repository at this point in the history

  11. fixed syntax error

    @jogasser
    jogasser committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    ca87cbc View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2022

  1. cache on failure

    @jogasser
    jogasser committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    5024781 View commit details
    Browse the repository at this point in the history

  2. exclude conn as test

    @jogasser
    jogasser committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    8c0eda3 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2022

  1. excluded conn package from main verification

    @jogasser
    jogasser committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    9e9e529 View commit details
    Browse the repository at this point in the history

  2. fixed syntax error

    @jogasser
    jogasser committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    52bf8ee View commit details
    Browse the repository at this point in the history

  3. added timeout to conn

    @jogasser
    jogasser committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    4880b8a View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2022

  1. test with patched gobra version

    @jogasser
    jogasser committed Apr 2, 2022
    Configuration menu
    Copy the full SHA
    cae4046 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2022

  1. removed router verification & caching for testing

    @jogasser
    jogasser committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    70a86c9 View commit details
    Browse the repository at this point in the history
Loading