Skip to content

Actions: loda-lang/loda-cpp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,466 workflow runs
1,466 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
Fix Windows upgrade: extract to temp dir to avoid overwriting locked … CI #3003: Commit e1cf178 pushed by ckrause
12m 52s main
main
12m 52s
Fix Windows upgrade: extract to temp dir to avoid overwriting locked files CI #3002: Pull request #692 synchronize by Copilot AI
11m 30s copilot/fix-loda-upgrade-windows
copilot/fix-loda-upgrade-windows
11m 30s
Running Copilot coding agent Copilot coding agent #231: by Copilot AI
19m 32s copilot/fix-loda-upgrade-windows
copilot/fix-loda-upgrade-windows
19m 32s
Release Release #177: Manually run by ckrause
3m 32s main
main
3m 32s
use GLIBC 2.31 (#690) CI #3000: Commit 7fd579c pushed by ckrause
23m 18s main
main
23m 18s
use GLIBC 2.31 CI #2999: Pull request #690 synchronize by ckrause
11m 51s GLIBC-2.31
GLIBC-2.31
11m 51s
use GLIBC 2.31 CI #2998: Pull request #690 synchronize by ckrause
24m 55s GLIBC-2.31
GLIBC-2.31
24m 55s
use GLIBC 2.31 CI #2997: Pull request #690 synchronize by ckrause
10m 52s GLIBC-2.31
GLIBC-2.31
10m 52s
use GLIBC 2.31 CI #2996: Pull request #690 synchronize by ckrause
11m 58s GLIBC-2.31
GLIBC-2.31
11m 58s
use GLIBC 2.31 CI #2995: Pull request #690 opened by ckrause
17m 52s GLIBC-2.31
GLIBC-2.31
17m 52s
Addressing comment on PR #582 Copilot coding agent #230: by Copilot AI
6m 23s copilot/support-multi-line-pari-formulas
copilot/support-multi-line-pari-formulas
6m 23s
Support multi-line PARI formulas for multiple functions CI #2993: Pull request #582 synchronize by ckrause
3m 32s copilot/support-multi-line-pari-formulas
copilot/support-multi-line-pari-formulas
3m 32s
update mem settings CI #2992: Commit 75d7a8c pushed by ckrause
6m 10s main
main
6m 10s
Release Release #176: Manually run by ckrause
3m 42s main
main
3m 42s
release v26.3.1 CI #2991: Commit 3288c35 pushed by ckrause
26m 0s main
main
26m 0s
fix json CI #2990: Commit 5c72a5e pushed by ckrause
10m 58s main
main
10m 58s
fix setup CI #2989: Commit d1c6d01 pushed by ckrause
12m 17s main
main
12m 17s
fix changelog CI #2988: Commit 8f54c23 pushed by ckrause
17m 19s main
main
17m 19s
Release Release #175: Manually run by ckrause
3m 38s main
main
3m 38s
fix setup json format CI #2987: Commit 9f8f6da pushed by ckrause
14m 2s main
main
14m 2s
Migrate setup configuration from setup.txt to setup.json with automat… CI #2986: Commit 5bf2cad pushed by ckrause
14m 3s main
main
14m 3s
Migrate setup configuration from setup.txt to setup.json with automatic conversion CI #2985: Pull request #679 synchronize by ckrause
11m 0s copilot/migrate-setup-txt-to-json
copilot/migrate-setup-txt-to-json
11m 0s
Add LEAN formula generation support for nrt operation (#584) CI #2984: Commit 6f0c9bd pushed by ckrause
12m 45s main
main
12m 45s
Add LEAN formula generation support for nrt operation CI #2983: Pull request #584 synchronize by ckrause
22m 48s copilot/support-nrt-operation-lean
copilot/support-nrt-operation-lean
22m 48s
fix offset handling in check command (#689) CI #2982: Commit a369ef4 pushed by ckrause
11m 28s main
main
11m 28s