Skip to content

Actions: metamath/metamath-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add CI, add support for metamath-de.pdf CI #13: Pull request #248 synchronize by digama0
December 22, 2023 15:45 2m 12s update_ci
update_ci
December 22, 2023 15:45 2m 12s
remove trailing whitespace CI #12: Commit c107e19 pushed by digama0
December 22, 2023 15:45 1m 56s update_ci
update_ci
December 22, 2023 15:45 1m 56s
Add CI, add support for metamath-de.pdf CI #11: Pull request #248 opened by digama0
December 16, 2023 11:34 2m 23s update_ci
update_ci
December 16, 2023 11:34 2m 23s
add ngerman package CI #10: Commit 18da566 pushed by digama0
December 16, 2023 11:30 2m 11s update_ci
update_ci
December 16, 2023 11:30 2m 11s
upload artifacts separately CI #9: Commit 98cdbd2 pushed by digama0
December 16, 2023 09:27 2m 1s update_ci
update_ci
December 16, 2023 09:27 2m 1s
upload artifacts separately CI #8: Commit 5214b4f pushed by digama0
December 16, 2023 09:24 1m 53s update_ci
update_ci
December 16, 2023 09:24 1m 53s
add ngerman package CI #7: Commit 18da566 pushed by digama0
December 16, 2023 09:10 2m 16s update_ci
update_ci
December 16, 2023 09:10 2m 16s
fix CI #6: Commit 1fb3ecf pushed by digama0
December 16, 2023 09:04 2m 21s update_ci
update_ci
December 16, 2023 09:04 2m 21s
fix CI #5: Commit 46f5de5 pushed by digama0
December 16, 2023 09:00 1m 43s update_ci
update_ci
December 16, 2023 09:00 1m 43s
fix CI #4: Commit 779ad80 pushed by digama0
December 16, 2023 08:56 1m 29s update_ci
update_ci
December 16, 2023 08:56 1m 29s
fix CI #3: Commit af88612 pushed by digama0
December 16, 2023 08:51 1m 21s update_ci
update_ci
December 16, 2023 08:51 1m 21s
add github actions workflow, remove travis CI CI #2: Commit 2318399 pushed by digama0
December 16, 2023 08:46 1m 30s update_ci
update_ci
December 16, 2023 08:46 1m 30s
add github actions workflow, remove travis CI CI #1: Commit bba3162 pushed by digama0
December 16, 2023 08:44 16s update_ci
update_ci
December 16, 2023 08:44 16s