Skip to content

Actions: metanorma/isodoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,196 workflow runs
1,196 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on main
CodeQL #107: by opoudjis
November 13, 2023 10:46 19m 28s main
November 13, 2023 10:46 19m 28s
PR #543
CodeQL #106: by opoudjis
November 13, 2023 10:17 1m 33s fix/passthrough-all
November 13, 2023 10:17 1m 33s
fix detection of scope clause to be in main body of text: https://git…
rake #1056: Commit 2afe2bd pushed by opoudjis
November 13, 2023 01:51 17m 32s main
November 13, 2023 01:51 17m 32s
Push on main
CodeQL #105: by opoudjis
November 13, 2023 01:51 1m 5s main
November 13, 2023 01:51 1m 5s
date corrected: https://github.com/metanorma/metanorma-iso/issues/1045
rake #1055: Commit 63ad607 pushed by opoudjis
November 12, 2023 08:38 17m 9s main
November 12, 2023 08:38 17m 9s
Push on main
CodeQL #104: by opoudjis
November 12, 2023 08:38 1m 28s main
November 12, 2023 08:38 1m 28s
Push on main
CodeQL #103: by opoudjis
November 12, 2023 08:33 1m 6s main
November 12, 2023 08:33 1m 6s
date corrected: https://github.com/metanorma/metanorma-iso/issues/1045
rake #1054: Commit 4b062f4 pushed by opoudjis
November 12, 2023 08:33 11m 41s main
November 12, 2023 08:33 11m 41s
Merge pull request #542 from metanorma/fix/toc-html-ordering
rake #1053: Commit 46496f5 pushed by opoudjis
November 12, 2023 06:13 15m 38s main
November 12, 2023 06:13 15m 38s
Push on main
CodeQL #102: by ronaldtse
November 12, 2023 06:13 1m 28s main
November 12, 2023 06:13 1m 28s
PR #542
CodeQL #101: by opoudjis
November 12, 2023 05:55 1m 15s fix/toc-html-ordering
November 12, 2023 05:55 1m 15s
Scheduled
CodeQL #100: by github-advanced-security bot
November 10, 2023 11:18 1m 4s main
November 10, 2023 11:18 1m 4s
Merge pull request #541 from metanorma/features/private-charset
rake #1051: Commit 6933d17 pushed by opoudjis
November 8, 2023 13:52 23m 4s main
November 8, 2023 13:52 23m 4s
Push on main
CodeQL #99: by opoudjis
November 8, 2023 13:52 1m 4s main
November 8, 2023 13:52 1m 4s
PR #541
CodeQL #98: by opoudjis
November 8, 2023 13:29 1m 10s features/private-charset
November 8, 2023 13:29 1m 10s
Scheduled
CodeQL #97: by github-advanced-security bot
November 3, 2023 11:18 1m 9s main
November 3, 2023 11:18 1m 9s
Scheduled
CodeQL #96: by github-advanced-security bot
October 27, 2023 11:15 1m 38s main
October 27, 2023 11:15 1m 38s
version bump
rake #1049: Commit 4f4579c pushed by opoudjis
October 23, 2023 09:41 1h 7m 55s v2.6.6
October 23, 2023 09:41 1h 7m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-10-23 or the other filters available.