Skip to content
Coq

define e1000_read/write_step as a Definition instead of Inductive #1309

Sign in to view logs

define e1000_read/write_step as a Definition instead of Inductive

define e1000_read/write_step as a Definition instead of Inductive #1309

Triggered via push March 6, 2024 23:57
@samuelgruettersamuelgruetter
pushed 380cf7b
master
Status Failure
Total duration 3m 48s
Artifacts –

coq.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
build (8.18.0)
Process completed with exit code 2.
build (master)
Process completed with exit code 2.
build (8.18.0)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (master)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.