Skip to content

Actions: aantron/markup.ml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add the list of opened elements to report
test #25: Pull request #75 synchronize by craff
July 17, 2023 02:07 9m 43s craff:detail_reports
July 17, 2023 02:07 9m 43s
add the list of opened elements to report
test #24: Pull request #75 synchronize by craff
July 17, 2023 01:24 10m 27s craff:detail_reports
July 17, 2023 01:24 10m 27s
add the list of opened elements to report
test #23: Pull request #75 synchronize by craff
July 17, 2023 01:18 4m 7s craff:detail_reports
July 17, 2023 01:18 4m 7s
add the list of opened elements to report
test #22: Pull request #75 opened by craff
July 17, 2023 01:09 3m 51s craff:detail_reports
July 17, 2023 01:09 3m 51s
added tree_with_loc and trees_with_loc
test #21: Pull request #71 synchronize by craff
July 14, 2023 00:36 11m 42s craff:tree_with_loc
July 14, 2023 00:36 11m 42s
Adjust whitespace after preceding commit
test #20: Commit d77da22 pushed by aantron
July 13, 2023 14:00 13m 2s master
July 13, 2023 14:00 13m 2s
Adjust SVG attributes irrespective of their namespace (#69)
test #19: Commit 70106f8 pushed by aantron
July 13, 2023 13:58 13m 0s master
July 13, 2023 13:58 13m 0s
Adjust SVG attributes irrespective of their namespace
test #18: Pull request #69 synchronize by aantron
July 13, 2023 13:57 8m 31s maurobringolf:master
July 13, 2023 13:57 8m 31s
fix issue #72
test #17: Pull request #73 opened by craff
July 4, 2023 02:38 8m 2s craff:parse_url_query
July 4, 2023 02:38 8m 2s
added tree_with_loc and trees_with_loc
test #16: Pull request #71 synchronize by craff
June 30, 2023 19:26 9m 10s craff:tree_with_loc
June 30, 2023 19:26 9m 10s
added tree_with_loc and trees_with_loc
test #15: Pull request #71 synchronize by craff
June 30, 2023 19:19 6m 58s craff:tree_with_loc
June 30, 2023 19:19 6m 58s
added tree_with_loc and trees_with_loc
test #14: Pull request #71 synchronize by craff
June 30, 2023 19:13 9m 24s craff:tree_with_loc
June 30, 2023 19:13 9m 24s
added tree_with_loc and trees_with_loc
test #13: Pull request #71 synchronize by craff
June 30, 2023 19:10 6m 28s craff:tree_with_loc
June 30, 2023 19:10 6m 28s
added tree_with_loc and trees_with_loc
test #12: Pull request #71 opened by craff
June 30, 2023 19:00 7m 57s craff:tree_with_loc
June 30, 2023 19:00 7m 57s