Skip to content
CI

Improve the build script, re-enable Search commands #70

Sign in to view logs

Improve the build script, re-enable Search commands

Improve the build script, re-enable Search commands #70

Triggered via pull request August 28, 2024 19:15
@arnoudvanderleerarnoudvanderleer
synchronize #53
arnoudvanderleer:CI
Status Success
Total duration 1m 44s
Artifacts –

build-schools.yml

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

Annotations

2 warnings
Build Schools on Linux (Coq latest): 2024-07-Minneapolis/5_Set-level-mathematics/set_level_mathematics_exercises.v#L138
Notation gradth is deprecated. Use isweq_iso instead.
Build Schools on Linux (Coq latest): 2024-07-Minneapolis/5_Set-level-mathematics/set_level_mathematics_exercises.v#L138
Notation gradth is deprecated. Use isweq_iso instead.