Skip to content

Actions: koka-community/std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
202 workflow runs
202 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Scheduled CodeQL #220: by github-advanced-security AI
1m 12s main
main
1m 12s
Scheduled CodeQL #219: by github-advanced-security AI
1m 17s main
main
1m 17s
Scheduled CodeQL #218: by github-advanced-security AI
1m 13s main
main
1m 13s
CI: test against latest koka (dev branch) (#54) Test #67: Commit f79a7ca pushed by TimWhiting
26m 6s main
main
26m 6s
Push on main CodeQL #217: by github-advanced-security AI
1m 30s main
main
1m 30s
CI: test against latest koka (dev branch) Test #66: Pull request #54 synchronize by timbertson
1m 40s ci
ci
1m 40s
PR #54 CodeQL #216: by timbertson
1m 4s refs/pull/54/head
refs/pull/54/head
1m 4s
CI: test against latest koka (dev branch) Test #65: Pull request #54 synchronize by timbertson
1m 43s ci
ci
1m 43s
PR #54 CodeQL #215: by timbertson
1m 3s refs/pull/54/head
refs/pull/54/head
1m 3s
CI: test against latest koka (dev branch) Test #64: Pull request #54 synchronize by timbertson
1m 39s ci
ci
1m 39s
PR #54 CodeQL #214: by timbertson
1m 3s refs/pull/54/head
refs/pull/54/head
1m 3s
CI: test against latest koka (dev branch) Test #63: Pull request #54 synchronize by timbertson
26m 25s ci
ci
26m 25s
PR #54 CodeQL #213: by timbertson
58s refs/pull/54/head
refs/pull/54/head
58s
CI: test against latest koka (dev branch) Test #62: Pull request #54 synchronize by timbertson
1m 51s ci
ci
1m 51s
PR #54 CodeQL #212: by timbertson
1m 2s refs/pull/54/head
refs/pull/54/head
1m 2s
CI: test against latest koka (dev branch) Test #61: Pull request #54 synchronize by timbertson
51s ci
ci
51s
PR #54 CodeQL #211: by timbertson
1m 10s refs/pull/54/head
refs/pull/54/head
1m 10s
CI: test against latest koka (dev branch) Test #60: Pull request #54 synchronize by timbertson
30s ci
ci
30s
PR #54 CodeQL #210: by timbertson
1m 1s refs/pull/54/head
refs/pull/54/head
1m 1s
Scheduled CodeQL #209: by github-advanced-security AI
1m 20s main
main
1m 20s
CI: test against latest koka (dev branch) Test #59: Pull request #54 synchronize by timbertson
24m 25s ci
ci
24m 25s
PR #54 CodeQL #208: by timbertson
1m 7s refs/pull/54/head
refs/pull/54/head
1m 7s
Scheduled CodeQL #207: by github-advanced-security AI
1m 14s main
main
1m 14s
Scheduled CodeQL #206: by github-advanced-security AI
1m 12s main
main
1m 12s
CI: test against latest koka (dev branch) Test #58: Pull request #54 synchronize by timbertson
27s ci
ci
27s