Skip to content

Fix flint headers and replace use of deprecated funcs in flint2/3 #618

Fix flint headers and replace use of deprecated funcs in flint2/3

Fix flint headers and replace use of deprecated funcs in flint2/3 #618

Triggered via pull request October 31, 2023 01:58
Status Failure
Total duration 34m 0s
Artifacts

ci.yml

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