.github: Skip duplicate CI runs after merges/autopushes #1636

Sign in to view logs

Triggered via push September 23, 2024 23:30

uf-mil-bot

master

Status Success

Total duration 14s

Artifacts –

ci.yaml

on: push

Check if CI has already be ran

Run tests and build docs

Deploy docs from master