Skip to content
CI

import SciLean.Tactic.LSimp.Elab to force compilation #324

Sign in to view logs

import SciLean.Tactic.LSimp.Elab to force compilation

import SciLean.Tactic.LSimp.Elab to force compilation #324

Triggered via push September 11, 2023 19:31
@lecopivolecopivo
pushed d50c623
master
Status Success
Total duration 28m 50s
Artifacts –

main.yml

on: push
build
22m 35s
build
deploy
5m 40s
deploy
Fit to window
Zoom out
Zoom in