Skip to content

Actions: wuc9521/erdos-rado-thm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

changing upload-artifact version Typst CI #5: Commit 5564ead pushed by wuc9521
November 27, 2024 04:31 19s main
main
November 27, 2024 04:31 19s
changing checkout version Typst CI #4: Commit 1b0f2a4 pushed by wuc9521
November 27, 2024 04:29 11s main
main
November 27, 2024 04:29 11s
changing checkout version Typst CI #3: Commit 2439c83 pushed by wuc9521
November 27, 2024 04:28 Failure main
main
November 27, 2024 04:28 Failure
Merge branch 'main' of https://github.com/wuc9521/erdos-rado-thm Typst CI #2: Commit 521115f pushed by wuc9521
November 27, 2024 04:25 10s main
main
November 27, 2024 04:25 10s
Create main.yml Typst CI #1: Commit b7692a9 pushed by wuc9521
November 27, 2024 04:25 10s main
main
November 27, 2024 04:25 10s