Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,039 workflow runs
2,039 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #597 from Nadrieril/update-hax Deploy Doc #103: Commit 4fd5cf6 pushed by Nadrieril
March 12, 2025 08:42 1m 27s main
main
March 12, 2025 08:42 1m 27s
Merge pull request #597 from Nadrieril/update-hax Build and test #1982: Commit 4fd5cf6 pushed by Nadrieril
March 12, 2025 08:42 7m 37s main
main
March 12, 2025 08:42 7m 37s
feat: add pretty-print subcommand Build and test #1981: Pull request #596 synchronize by zjp-CN
March 12, 2025 08:33 18m 37s os-checker:subcommand/pretty-print
os-checker:subcommand/pretty-print
March 12, 2025 08:33 18m 37s
Add weekly CI .github/workflows/weekly.yml #8: Pull request #315 synchronize by Nadrieril
March 12, 2025 08:33 11m 16s pnmadelaine/weekly-ci
pnmadelaine/weekly-ci
March 12, 2025 08:33 11m 16s
Add weekly CI Build and test #1980: Pull request #315 synchronize by Nadrieril
March 12, 2025 08:33 9m 51s pnmadelaine/weekly-ci
pnmadelaine/weekly-ci
March 12, 2025 08:33 9m 51s
Add weekly CI Build and test #1979: Pull request #315 reopened by Nadrieril
March 12, 2025 08:27 3m 22s pnmadelaine/weekly-ci
pnmadelaine/weekly-ci
March 12, 2025 08:27 3m 22s
Update hax Build and test #1978: Pull request #597 synchronize by Nadrieril
March 12, 2025 08:27 13m 56s Nadrieril:update-hax
Nadrieril:update-hax
March 12, 2025 08:27 13m 56s
Merge pull request #598 from os-checker/fix/dll-path-on-windows Deploy Doc #102: Commit 1e6b9e5 pushed by Nadrieril
March 12, 2025 08:26 1m 25s main
main
March 12, 2025 08:26 1m 25s
Merge pull request #598 from os-checker/fix/dll-path-on-windows Build and test #1977: Commit 1e6b9e5 pushed by Nadrieril
March 12, 2025 08:26 1m 51s main
main
March 12, 2025 08:26 1m 51s
fix(charon CLI): set RUSTUP_WINDOWS_PATH_ADD_BIN=1 on Windows to add rust driver dll to PATH Build and test #1976: Pull request #598 opened by zjp-CN
March 12, 2025 03:30 18m 3s os-checker:fix/dll-path-on-windows
os-checker:fix/dll-path-on-windows
March 12, 2025 03:30 18m 3s
Update hax Build and test #1975: Pull request #597 opened by Nadrieril
March 11, 2025 17:04 16m 15s Nadrieril:update-hax
Nadrieril:update-hax
March 11, 2025 17:04 16m 15s
feat: add pretty-print subcommand Build and test #1974: Pull request #596 opened by zjp-CN
March 11, 2025 16:33 13m 27s os-checker:subcommand/pretty-print
os-checker:subcommand/pretty-print
March 11, 2025 16:33 13m 27s
Merge pull request #595 from Nadrieril/match-on-char Build and test #1973: Commit f3e61e9 pushed by Nadrieril
March 11, 2025 15:39 4m 35s main
main
March 11, 2025 15:39 4m 35s
Merge pull request #595 from Nadrieril/match-on-char Deploy Doc #101: Commit f3e61e9 pushed by Nadrieril
March 11, 2025 15:39 1m 32s main
main
March 11, 2025 15:39 1m 32s
Update hax Build and test #1972: Pull request #595 synchronize by Nadrieril
March 11, 2025 15:17 16m 47s Nadrieril:match-on-char
Nadrieril:match-on-char
March 11, 2025 15:17 16m 47s
Update hax Build and test #1971: Pull request #595 synchronize by Nadrieril
March 11, 2025 15:00 5m 29s Nadrieril:match-on-char
Nadrieril:match-on-char
March 11, 2025 15:00 5m 29s
Update hax Build and test #1970: Pull request #595 opened by Nadrieril
March 11, 2025 14:59 1m 1s Nadrieril:match-on-char
Nadrieril:match-on-char
March 11, 2025 14:59 1m 1s
Merge pull request #594 from Nadrieril/opam-deps Deploy Doc #100: Commit d4a0925 pushed by Nadrieril
March 11, 2025 14:20 1m 32s main
main
March 11, 2025 14:20 1m 32s
Merge pull request #594 from Nadrieril/opam-deps Build and test #1969: Commit d4a0925 pushed by Nadrieril
March 11, 2025 14:20 4m 35s main
main
March 11, 2025 14:20 4m 35s
Suggest opam install . --deps-only Build and test #1968: Pull request #594 synchronize by Nadrieril
March 11, 2025 14:11 7m 14s Nadrieril:opam-deps
Nadrieril:opam-deps
March 11, 2025 14:11 7m 14s
Suggest opam install . --deps-only Build and test #1967: Pull request #594 opened by Nadrieril
March 11, 2025 14:10 1m 32s Nadrieril:opam-deps
Nadrieril:opam-deps
March 11, 2025 14:10 1m 32s
Merge pull request #586 from Nadrieril/readme2 Deploy Doc #99: Commit 14940c6 pushed by Nadrieril
March 11, 2025 13:43 1m 28s main
main
March 11, 2025 13:43 1m 28s
Merge pull request #586 from Nadrieril/readme2 Build and test #1966: Commit 14940c6 pushed by Nadrieril
March 11, 2025 13:43 4m 39s main
main
March 11, 2025 13:43 4m 39s
Rework README Build and test #1965: Pull request #586 synchronize by Nadrieril
March 11, 2025 12:56 13m 28s Nadrieril:readme2
Nadrieril:readme2
March 11, 2025 12:56 13m 28s
Rework README Build and test #1964: Pull request #586 synchronize by Nadrieril
March 11, 2025 12:54 1m 35s Nadrieril:readme2
Nadrieril:readme2
March 11, 2025 12:54 1m 35s