Skip to content

Actions: orbitinghail/precept

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
239 workflow runs
239 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 #230: by github-advanced-security AI
41s main
main
41s
Scheduled CodeQL #229: by github-advanced-security AI
52s main
main
52s
Scheduled CodeQL #228: by github-advanced-security AI
47s main
main
47s
Scheduled CodeQL #227: by github-advanced-security AI
42s main
main
42s
Scheduled CodeQL #226: by github-advanced-security AI
47s main
main
47s
Scheduled CodeQL #225: by github-advanced-security AI
47s main
main
47s
Scheduled CodeQL #224: by github-advanced-security AI
44s main
main
44s
Scheduled CodeQL #223: by github-advanced-security AI
54s main
main
54s
Scheduled CodeQL #222: by github-advanced-security AI
49s main
main
49s
Scheduled CodeQL #221: by github-advanced-security AI
44s main
main
44s
chore: Release precept version 0.4.1 CI #172: Commit 64bc973 pushed by carlsverre
29s main
main
29s
Push on main CodeQL #220: by carlsverre
44s main
main
44s
Merge pull request #57 from orbitinghail/typecheck-disabled-expectations CI #171: Commit ebbdf97 pushed by carlsverre
23s main
main
23s
Push on main CodeQL #219: by carlsverre
41s main
main
41s
Type-check expectation arguments when precept is disabled CI #170: Pull request #57 opened by carlsverre
29s typecheck-disabled-expectations
typecheck-disabled-expectations
29s
PR #57 CodeQL #218: by carlsverre
42s refs/pull/57/head
refs/pull/57/head
42s
chore: Release precept version 0.4.0 CI #169: Commit 96f41f5 pushed by carlsverre
32s main
main
32s
Push on main CodeQL #217: by carlsverre
49s main
main
49s
Merge pull request #56 from orbitinghail/ghost-observe-layer CI #168: Commit 9dabe9e pushed by carlsverre
32s main
main
32s
Push on main CodeQL #216: by github-advanced-security AI
52s main
main
52s
Add compile-time-checked ghost/observe layer CI #167: Pull request #56 opened by carlsverre
35s ghost-observe-layer
ghost-observe-layer
35s
PR #56 CodeQL #215: by carlsverre
48s refs/pull/56/head
refs/pull/56/head
48s
Scheduled CodeQL #214: by github-advanced-security AI
48s main
main
48s
Scheduled CodeQL #213: by github-advanced-security AI
43s main
main
43s
Scheduled CodeQL #212: by github-advanced-security AI
44s main
main
44s