Skip to content

Actions: metanorma/metanorma.org

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
388 workflow run results
388 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled
CodeQL #23: by github-advanced-security bot
October 15, 2023 06:17 1m 57s
October 15, 2023 06:17 1m 57s
PR of all updates since November 2022
links #497: Pull request #720 synchronize by opoudjis
October 12, 2023 13:07 1m 58s doc20230606
October 12, 2023 13:07 1m 58s
PR of all updates since November 2022
build_deploy #389: Pull request #720 synchronize by opoudjis
October 12, 2023 13:07 1m 51s doc20230606
October 12, 2023 13:07 1m 51s
PR #720
CodeQL #22: by opoudjis
October 12, 2023 13:07 2m 34s
October 12, 2023 13:07 2m 34s
PR #722
CodeQL #21: by ronaldtse
October 11, 2023 10:36 1m 29s
October 11, 2023 10:36 1m 29s
Fixing GSOD content
build_deploy #388: Pull request #722 opened by ronaldtse
October 11, 2023 10:35 1m 57s rt-fix-gsod
October 11, 2023 10:35 1m 57s
Fixing GSOD content
links #496: Pull request #722 opened by ronaldtse
October 11, 2023 10:35 2m 2s rt-fix-gsod
October 11, 2023 10:35 2m 2s
Scheduled
CodeQL #20: by github-advanced-security bot
October 8, 2023 06:17 1m 26s
October 8, 2023 06:17 1m 26s
Add note about nested brackets in stem:[]
build_deploy #387: Pull request #721 opened by manuelfuenmayor
October 5, 2023 03:02 1m 32s inline-stem-brackets
October 5, 2023 03:02 1m 32s
Add note about nested brackets in stem:[]
links #495: Pull request #721 opened by manuelfuenmayor
October 5, 2023 03:02 1m 57s inline-stem-brackets
October 5, 2023 03:02 1m 57s
PR #721
CodeQL #19: by manuelfuenmayor
October 5, 2023 03:02 2m 10s
October 5, 2023 03:02 2m 10s
Scheduled
CodeQL #18: by github-advanced-security bot
October 1, 2023 06:17 1m 52s
October 1, 2023 06:17 1m 52s
PR of all updates since November 2022
links #494: Pull request #720 synchronize by opoudjis
September 29, 2023 09:05 4m 39s doc20230606
September 29, 2023 09:05 4m 39s
PR of all updates since November 2022
build_deploy #386: Pull request #720 synchronize by opoudjis
September 29, 2023 09:05 1m 41s doc20230606
September 29, 2023 09:05 1m 41s
PR #720
CodeQL #17: by opoudjis
September 29, 2023 09:05 2m 28s
September 29, 2023 09:05 2m 28s
Scheduled
CodeQL #16: by github-advanced-security bot
September 24, 2023 06:17 1m 32s
September 24, 2023 06:17 1m 32s
Scheduled
CodeQL #15: by github-advanced-security bot
September 17, 2023 06:17 1m 53s
September 17, 2023 06:17 1m 53s
Scheduled
CodeQL #14: by github-advanced-security bot
September 10, 2023 06:17 1m 19s
September 10, 2023 06:17 1m 19s
Scheduled
CodeQL #13: by github-advanced-security bot
September 3, 2023 06:17 2m 20s
September 3, 2023 06:17 2m 20s
PR of all updates since November 2022
build_deploy #385: Pull request #720 synchronize by opoudjis
August 30, 2023 12:11 1m 30s doc20230606
August 30, 2023 12:11 1m 30s
PR of all updates since November 2022
links #493: Pull request #720 synchronize by opoudjis
August 30, 2023 12:11 1m 27s doc20230606
August 30, 2023 12:11 1m 27s
PR #720
CodeQL #12: by opoudjis
August 30, 2023 12:11 1m 47s
August 30, 2023 12:11 1m 47s
Scheduled
CodeQL #11: by github-advanced-security bot
August 27, 2023 06:17 2m 19s
August 27, 2023 06:17 2m 19s
PR of all updates since November 2022
build_deploy #384: Pull request #720 synchronize by opoudjis
August 26, 2023 14:42 1m 10s doc20230606
August 26, 2023 14:42 1m 10s
PR of all updates since November 2022
links #492: Pull request #720 synchronize by opoudjis
August 26, 2023 14:42 1m 22s doc20230606
August 26, 2023 14:42 1m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-08-26 or the other filters available.