Skip to content

Actions: ocsigen/tyxml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #2: by github-pages bot
September 27, 2023 09:50 4m 32s
September 27, 2023 09:50 4m 32s
No 5.1 on windows. Main workflow #209: Commit d291653 pushed by Drup
September 27, 2023 09:49 21m 57s 4.6.0
4.6.0
September 27, 2023 09:49 21m 57s
No 5.1 on windows. Main workflow #208: Commit d291653 pushed by Drup
September 27, 2023 09:44 24m 3s master
master
September 27, 2023 09:44 24m 3s
Be uniform with versions. Main workflow #207: Commit 3cf4a32 pushed by Drup
September 27, 2023 09:44 18m 4s master
master
September 27, 2023 09:44 18m 4s
4.5.0 Update Web site #13: Commit 5f4b96c pushed by Drup
September 27, 2023 09:43 13m 26s wikidoc
wikidoc
September 27, 2023 09:43 13m 26s
wikidoc updates Update Web site #12: Commit 88853d4 pushed by Drup
September 27, 2023 09:37 14m 50s wikidoc
wikidoc
September 27, 2023 09:37 14m 50s
Update the CI Main workflow #206: Commit c3a2b54 pushed by Drup
September 27, 2023 09:17 38m 36s master
master
September 27, 2023 09:17 38m 36s
Merge pull request #306 from ilankri/svg-fix-animate Main workflow #205: Commit c05cb5c pushed by Drup
September 27, 2023 09:13 28m 23s master
master
September 27, 2023 09:13 28m 23s
Merge pull request #314 from Mbodin/master Main workflow #204: Commit bf3d9cb pushed by Drup
September 27, 2023 09:11 27m 23s master
master
September 27, 2023 09:11 27m 23s
Merge pull request #317 from xvw/fix-some-typos Main workflow #203: Commit 3ffb4dc pushed by Drup
September 27, 2023 09:10 16m 46s master
master
September 27, 2023 09:10 16m 46s
Merge pull request #319 from LogicalOverflow/master Main workflow #202: Commit becaf65 pushed by Drup
September 27, 2023 09:06 14m 28s master
master
September 27, 2023 09:06 14m 28s
Main workflow Main workflow #201: Scheduled
September 25, 2023 01:41 24m 21s master
master
September 25, 2023 01:41 24m 21s
Main workflow Main workflow #200: Scheduled
September 18, 2023 01:40 24m 24s master
master
September 18, 2023 01:40 24m 24s
Main workflow Main workflow #199: Scheduled
September 11, 2023 01:41 38m 20s master
master
September 11, 2023 01:41 38m 20s
Main workflow Main workflow #198: Scheduled
September 4, 2023 01:40 20m 18s master
master
September 4, 2023 01:40 20m 18s
Main workflow Main workflow #197: Scheduled
August 28, 2023 01:40 27m 43s master
master
August 28, 2023 01:40 27m 43s
Main workflow Main workflow #196: Scheduled
August 21, 2023 01:38 26m 12s master
master
August 21, 2023 01:38 26m 12s
Main workflow Main workflow #195: Scheduled
August 14, 2023 01:38 28m 23s master
master
August 14, 2023 01:38 28m 23s
Main workflow Main workflow #194: Scheduled
August 7, 2023 01:56 28m 40s master
master
August 7, 2023 01:56 28m 40s
Main workflow Main workflow #193: Scheduled
July 31, 2023 01:58 23m 47s master
master
July 31, 2023 01:58 23m 47s
Main workflow Main workflow #192: Scheduled
July 24, 2023 02:02 23m 57s master
master
July 24, 2023 02:02 23m 57s