Skip to content
Test

Merge branch 'main' of https://github.com/lean-ja/tactic-cheetsheet #58

Sign in to view logs

Merge branch 'main' of https://github.com/lean-ja/tactic-cheetsheet

Merge branch 'main' of https://github.com/lean-ja/tactic-cheetsheet #58

Triggered via push October 26, 2023 02:48
@SeasawherSeasawher
pushed b282ebb
main
Status Success
Total duration 1m 36s
Artifacts –

ci.yml

on: push
build
1m 25s
build
Fit to window
Zoom out
Zoom in