CI

add Emacs temp files to gitignore #26

Sign in to view logs

Triggered via push December 14, 2023 22:20

haselwarter

main

Status Success

Total duration 13m 0s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

1 warning

build (8.16.1, 4.14.1-flambda): theories/ub_logic/hash.v#L8

Interpreting this declaration as if a global declaration prefixed by