Skip to content

Actions: xmap/cora

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
CodeQL CodeQL #1774: Scheduled
4m 29s main
main
4m 29s
Mutation audit (per-BC rotation, nightly) Mutation audit (per-BC rotation, nightly) #122: Scheduled
33m 10s main
main
33m 10s
Mutation audit (per-BC rotation, nightly) Mutation audit (per-BC rotation, nightly) #121: Scheduled
26m 1s main
main
26m 1s
Merge pull request #801 from xmap/feat/procedure-hold-claims Docs #741: Commit e500f75 pushed by xmap
1m 43s main
main
1m 43s
Merge pull request #801 from xmap/feat/procedure-hold-claims CodeQL #1773: Commit e500f75 pushed by xmap
4m 26s main
main
4m 26s
Merge pull request #801 from xmap/feat/procedure-hold-claims CI #1756: Commit e500f75 pushed by xmap
12m 36s main
main
12m 36s
Give a Procedure hold claims, so a fault and a pause don't share one bit Docs #740: Pull request #801 opened by xmap
30s feat/procedure-hold-claims
feat/procedure-hold-claims
30s
Give a Procedure hold claims, so a fault and a pause don't share one bit CI #1755: Pull request #801 opened by xmap
13m 11s feat/procedure-hold-claims
feat/procedure-hold-claims
13m 11s
Give a Procedure hold claims, so a fault and a pause don't share one bit CodeQL #1772: Pull request #801 opened by xmap
4m 27s feat/procedure-hold-claims
feat/procedure-hold-claims
4m 27s
Merge pull request #800 from xmap/fix/tach-audit-port-status-pins CI #1754: Commit 3119d14 pushed by xmap
14m 58s main
main
14m 58s
Merge pull request #800 from xmap/fix/tach-audit-port-status-pins Docs #739: Commit 3119d14 pushed by xmap
1m 52s main
main
1m 52s
Merge pull request #800 from xmap/fix/tach-audit-port-status-pins CodeQL #1771: Commit 3119d14 pushed by xmap
4m 44s main
main
4m 44s
Audit the tach contract, and pin every port's flattened status axis to its owning enum CI #1753: Pull request #800 opened by xmap
12m 40s fix/tach-audit-port-status-pins
fix/tach-audit-port-status-pins
12m 40s
Audit the tach contract, and pin every port's flattened status axis to its owning enum CodeQL #1770: Pull request #800 opened by xmap
4m 34s fix/tach-audit-port-status-pins
fix/tach-audit-port-status-pins
4m 34s
Audit the tach contract, and pin every port's flattened status axis to its owning enum Docs #738: Pull request #800 opened by xmap
27s fix/tach-audit-port-status-pins
fix/tach-audit-port-status-pins
27s
Merge pull request #799 from xmap/fix/status-relay-drop-causal-arrowh… CI #1752: Commit fbe3a77 pushed by xmap
14m 11s main
main
14m 11s
Merge pull request #799 from xmap/fix/status-relay-drop-causal-arrowh… CodeQL #1769: Commit fbe3a77 pushed by xmap
3m 45s main
main
3m 45s
Drop the causal trace's arrowheads, keep one only on the stub CodeQL #1768: Pull request #799 opened by xmap
3m 27s fix/status-relay-drop-causal-arrowheads
fix/status-relay-drop-causal-arrowheads
3m 27s
Drop the causal trace's arrowheads, keep one only on the stub CI #1751: Pull request #799 opened by xmap
12m 40s fix/status-relay-drop-causal-arrowheads
fix/status-relay-drop-causal-arrowheads
12m 40s
Merge pull request #798 from xmap/capture-shortfall Docs #737: Commit 95cc8c9 pushed by xmap
1m 55s main
main
1m 55s
Merge pull request #798 from xmap/capture-shortfall CI #1750: Commit 95cc8c9 pushed by xmap
13m 46s main
main
13m 46s
Merge pull request #798 from xmap/capture-shortfall CodeQL #1767: Commit 95cc8c9 pushed by xmap
3m 0s main
main
3m 0s
Mutation audit (per-BC rotation, nightly) Mutation audit (per-BC rotation, nightly) #120: Scheduled
32m 26s main
main
32m 26s
Record a capture that can never become a Dataset as a Shortfall CI #1749: Pull request #798 synchronize by xmap
12m 37s capture-shortfall
capture-shortfall
12m 37s
Record a capture that can never become a Dataset as a Shortfall CodeQL #1766: Pull request #798 synchronize by xmap
4m 28s capture-shortfall
capture-shortfall
4m 28s