Skip to content

Actions: zenc-lang/zenc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,770 workflow runs
1,770 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
zenc: lifetime elision. Awesome Zenc Examples Verification #147: Commit 60993ab pushed by Zuhaitz-dev
27s main
main
27s
zenc: lifetime elision. CI #428: Commit 60993ab pushed by Zuhaitz-dev
2m 45s main
main
2m 45s
Push on main CodeQL #128: by Zuhaitz-dev
1m 29s main
main
1m 29s
misra: improvements for several rules. Awesome Zenc Examples Verification #146: Commit 462cf2f pushed by Zuhaitz-dev
26s main
main
26s
misra: improvements for several rules. CI #427: Commit 462cf2f pushed by Zuhaitz-dev
2m 21s main
main
2m 21s
Push on main CodeQL #127: by Zuhaitz-dev
1m 32s main
main
1m 32s
Push on main CodeQL #126: by Zuhaitz-dev
1m 33s main
main
1m 33s
zenc: fix typecheck bug. Awesome Zenc Examples Verification #145: Commit 629ede7 pushed by Zuhaitz-dev
27s main
main
27s
zenc: fix typecheck bug. CI #426: Commit 629ede7 pushed by Zuhaitz-dev
3m 6s main
main
3m 6s
zenc: fixes and improvements to escape analysis and some rules. CI #425: Commit 13de37f pushed by Zuhaitz-dev
2m 34s main
main
2m 34s
zenc: fixes and improvements to escape analysis and some rules. Awesome Zenc Examples Verification #144: Commit 13de37f pushed by Zuhaitz-dev
25s main
main
25s
Push on main CodeQL #125: by Zuhaitz-dev
1m 51s main
main
1m 51s
misra: more tests + improvements. CI #424: Commit 35f368c pushed by Zuhaitz-dev
3m 49s main
main
3m 49s
misra: more tests + improvements. Awesome Zenc Examples Verification #143: Commit 35f368c pushed by Zuhaitz-dev
26s main
main
26s
Push on main CodeQL #124: by github-advanced-security AI
1m 47s main
main
1m 47s
Scheduled CodeQL #123: by github-advanced-security AI
1m 30s main
main
1m 30s
misra: tests (directives) Awesome Zenc Examples Verification #142: Commit b0af683 pushed by Zuhaitz-dev
23s main
main
23s
misra: tests (directives) CI #423: Commit b0af683 pushed by Zuhaitz-dev
2m 42s main
main
2m 42s
Push on main CodeQL #122: by Zuhaitz-dev
1m 35s main
main
1m 35s
Stale Issue Handler Stale Issue Handler #70: Scheduled
8s main
main
8s
Awesome Zenc Examples Verification Awesome Zenc Examples Verification #141: Scheduled
23s main
main
23s
misra: more and more tests. CI #422: Commit c87b49b pushed by Zuhaitz-dev
3h 29m 8s main
main
3h 29m 8s
misra: more and more tests. Awesome Zenc Examples Verification #140: Commit c87b49b pushed by Zuhaitz-dev
20s main
main
20s
Push on main CodeQL #121: by Zuhaitz-dev
1m 28s main
main
1m 28s
misra: more tests + diagnosis improvements. CI #421: Commit c5bf575 pushed by Zuhaitz-dev
8h 31m 54s main
main
8h 31m 54s