Skip to content

Actions: kanaka/mal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

latex3: fix one more time-ms overflow Build and Test #606: Pull request #681 opened by asarhaddon
1m 20s asarhaddon:latex3-overflow-679
asarhaddon:latex3-overflow-679
1m 20s
New test for closures Build and Test #605: Pull request #675 synchronize by kanaka
1m 55s asarhaddon:test-closure
asarhaddon:test-closure
1m 55s
zig: move zig unpack path from /mal to /opt Build and Test #604: Commit 1c5ac14 pushed by kanaka
2m 1s master
master
2m 1s
pages build and deployment pages-build-deployment #65: by kanaka
43s master
master
43s
zig: deallocate a varargs function after applying it Build and Test #603: Pull request #591 synchronize by kanaka
1m 49s asarhaddon:zig-segfault
asarhaddon:zig-segfault
1m 49s
zig: deallocate a varargs function after applying it Build and Test #602: Pull request #591 synchronize by asarhaddon
55s asarhaddon:zig-segfault
asarhaddon:zig-segfault
55s
zig: deallocate a varargs function after applying it Build and Test #601: Pull request #591 synchronize by asarhaddon
1m 6s asarhaddon:zig-segfault
asarhaddon:zig-segfault
1m 6s
wasm: add seq Build and Test #600: Commit fbee4ec pushed by kanaka
1m 14s master
master
1m 14s
pages build and deployment pages-build-deployment #64: by kanaka
45s master
master
45s
wasm: add seq Build and Test #599: Pull request #678 opened by loredanacirstea
1m 17s loredanacirstea:wasm-seq
loredanacirstea:wasm-seq
1m 17s
A new implementation in Lean 4 Build and Test #598: Pull request #672 synchronize by loredanacirstea
51m 42s loredanacirstea:lean4
loredanacirstea:lean4
51m 42s
A new implementation in Lean 4 Build and Test #597: Pull request #672 synchronize by loredanacirstea
54m 27s loredanacirstea:lean4
loredanacirstea:lean4
54m 27s
A new implementation in Lean 4 Build and Test #596: Pull request #672 synchronize by loredanacirstea
52m 38s loredanacirstea:lean4
loredanacirstea:lean4
52m 38s
A new implementation in Lean 4 Build and Test #595: Pull request #672 synchronize by loredanacirstea
56m 6s loredanacirstea:lean4
loredanacirstea:lean4
56m 6s
A new implementation in Lean 4 Build and Test #594: Pull request #672 synchronize by loredanacirstea
52m 56s loredanacirstea:lean4
loredanacirstea:lean4
52m 56s
A new implementation in Lean 4 Build and Test #593: Pull request #672 synchronize by loredanacirstea
53m 35s loredanacirstea:lean4
loredanacirstea:lean4
53m 35s
A new implementation in Lean 4 Build and Test #592: Pull request #672 synchronize by loredanacirstea
53m 48s loredanacirstea:lean4
loredanacirstea:lean4
53m 48s
chuck: Fix soft-fail for with-meta Build and Test #591: Commit 43ae30f pushed by wasamasa
1m 56s master
master
1m 56s
pages build and deployment pages-build-deployment #63: by wasamasa
39s master
master
39s
DEBUG: test all four get-changed-files conditions Build and Test #590: Commit 9b0e3b2 pushed by kanaka
1m 13s get-changed-files-node-20
get-changed-files-node-20
1m 13s
DEBUG: test all four change-file conditions. Build and Test #589: Commit 69767de pushed by kanaka
1m 24s get-changed-files-node-20
get-changed-files-node-20
1m 24s
npm_and_yarn in /ts for tough-cookie - Update #875649299 Dependabot Updates #13: by dependabot bot
47s master
master
47s
Update to newer get-changed-files. Build and Test #588: Commit f30f32f pushed by kanaka
1m 26s master
master
1m 26s
pages build and deployment pages-build-deployment #62: by kanaka
34s master
master
34s
DEBUG: test all four change-file conditions. Build and Test #587: Commit e7c994e pushed by kanaka
1m 18s get-changed-files-node-20
get-changed-files-node-20
1m 18s
ProTip! You can narrow down the results and go further in time using created:<2024-08-28 or the other filters available.