Skip to content

Actions: metanorma/metanorma-ieee

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

automerge
automerge #283: completed by opoudjis
August 26, 2023 10:29 20s
August 26, 2023 10:29 20s
PR #300
CodeQL #28: by opoudjis
August 26, 2023 10:28 1m 19s
August 26, 2023 10:28 1m 19s
automerge
automerge #281: by codecov bot
August 25, 2023 18:14 36s
August 25, 2023 18:14 36s
automerge
automerge #280: by codecov bot
August 25, 2023 18:14 26s
August 25, 2023 18:14 26s
automerge
automerge #279: completed by metanorma-ci
August 25, 2023 17:27 42m 12s
August 25, 2023 17:27 42m 12s
Push on main
CodeQL #27: by github-actions bot
August 25, 2023 17:26 10m 39s
August 25, 2023 17:26 10m 39s
PR #299
CodeQL #26: by metanorma-ci
August 25, 2023 17:23 4m 13s
August 25, 2023 17:23 4m 13s
Merge pull request #298 from metanorma/features/semantic-citations
rake #378: Commit a678cea pushed by opoudjis
August 25, 2023 12:48 53m 24s main
August 25, 2023 12:48 53m 24s
Push on main
CodeQL #25: by opoudjis
August 25, 2023 12:48 1m 13s
August 25, 2023 12:48 1m 13s
automerge
automerge #276: completed by opoudjis
August 25, 2023 11:07 15s
August 25, 2023 11:07 15s
automerge
automerge #275: completed by opoudjis
August 25, 2023 11:07 10s
August 25, 2023 11:07 10s
automerge
automerge #274: completed by opoudjis
August 25, 2023 10:53 3m 34s
August 25, 2023 10:53 3m 34s
automerge
automerge #273: submitted by github-advanced-security bot
August 25, 2023 10:53 3m 26s
August 25, 2023 10:53 3m 26s
PR #298
CodeQL #24: by opoudjis
August 25, 2023 10:52 1m 5s
August 25, 2023 10:52 1m 5s
Scheduled
CodeQL #23: by github-advanced-security bot
August 24, 2023 09:00 1m 10s
August 24, 2023 09:00 1m 10s
automerge
automerge #271: completed by metanorma-ci
August 21, 2023 18:31 26m 30s
August 21, 2023 18:31 26m 30s
Push on main
CodeQL #22: by github-actions bot
August 21, 2023 18:30 1m 59s
August 21, 2023 18:30 1m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-08-21 or the other filters available.