Skip to content

Actions: aryx/xix

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
719 workflow runs
719 workflow runs

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
misc semgrep #1019: Commit ca7bcfa pushed by aryx
26s master
master
26s
move credits at the end of index.html like in principia semgrep #1018: Commit 7d91aff pushed by aryx
40s master
master
40s
add cretits to index.html semgrep #1017: Commit 444f506 pushed by aryx
23s master
master
23s
docs/index.html: add C LOC / C-to-OCaml ratio columns, fix table fonts semgrep #1016: Commit 4be1589 pushed by aryx
27s master
master
27s
improve website table semgrep #1015: Commit 38f6bfe pushed by aryx
28s master
master
28s
misc semgrep #1014: Commit e3dcc99 pushed by aryx
24s master
master
24s
orio: disable error for now and use french menu for iwp9 screenshot semgrep #1013: Commit e915e04 pushed by aryx
22s master
master
22s
more todo.org semgrep #1012: Commit b56ccdb pushed by aryx
29s master
master
29s
misc semgrep #1011: Commit 48e3132 pushed by aryx
26s master
master
26s
misc semgrep #1010: Commit 1e125c0 pushed by aryx
25s master
master
25s
omk.nw: full pass claude semgrep #1009: Commit 0fecaa6 pushed by aryx
24s master
master
24s
orc.nw: full claude pass semgrep #1008: Commit ad128bc pushed by aryx
25s master
master
25s
resume orc.nw semgrep #1007: Commit cedbc82 pushed by aryx
24s master
master
24s
oed.nw: add some %yoann tags semgrep #1006: Commit fdba4bf pushed by aryx
23s master
master
23s
docs: add XIX favicon (OCaml orange) semgrep #1005: Commit 51ca4af pushed by aryx
21s master
master
21s
docs: add IWP9 paper link to website semgrep #1004: Commit 0ab4cc7 pushed by aryx
23s master
master
23s
docs: expand XIX website with intro, timeline, and orio screenshot semgrep #1003: Commit 6745608 pushed by aryx
27s master
master
27s
remove symlink for now semgrep #1002: Commit 3421c8d pushed by aryx
21s master
master
21s
docs: add .nojekyll to use static HTML semgrep #1001: Commit de74cf7 pushed by aryx
26s master
master
26s
docs: add XIX website (GitHub Pages) semgrep #1000: Commit 33fa558 pushed by aryx
24s master
master
24s
add CLAUDE.md with build commands and architecture overview semgrep #999: Commit a4e70be pushed by aryx
20s master
master
20s
misc semgrep #998: Commit 7be89bc pushed by aryx
22s master
master
22s
misc semgrep #997: Commit c07afa4 pushed by aryx
23s master
master
23s
misc semgrep #996: Commit c11236c pushed by aryx
20s master
master
20s
misc semgrep #995: Commit 8691aae pushed by aryx
21s master
master
21s