Jean-Michel Picod c9773e0f80 Fix dependency on tockloader 1.4 ...

Now that it has been released and pushed to pypi, make sure that
tockloader is at least 1.4 version

2020-04-28 10:02:47 +02:00

..

boards_build.yml

Sync with upstream Tock to have reproducible builds.

2020-04-08 15:45:46 +02:00

cargo_audit.yml

Fix cargo audit workflow

2020-03-03 12:05:38 +01:00

cargo_check.yml

Update workflows.

2020-03-13 16:03:31 +01:00

cargo_fmt.yml

Add rustfmt component to cargo_fmt workflow.

2020-04-09 13:38:57 +02:00

cbor_test.yml

Fix extraneous globbing in workflows

2020-03-06 11:35:38 +01:00

crypto_test.yml

Fix extraneous globbing in workflows

2020-03-06 11:35:38 +01:00

mdlint.yml

Add more checks

2020-02-25 14:12:37 +01:00

opensk_build.yml

Add SHA-256 sum computation to CI.

2020-03-12 18:53:16 +01:00

opensk_test.yml

Revert strategy.matrix and fix missing release mode

2020-03-02 14:27:51 +01:00

python.yml

Fix dependency on tockloader 1.4

2020-04-28 10:02:47 +02:00