Skip to content

Actions: kanaka/mal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
423 workflow runs
423 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

A new implementation in Lean 4 Build and Test #598: Pull request #672 synchronize by loredanacirstea
August 30, 2024 21:31 51m 42s loredanacirstea:lean4
loredanacirstea:lean4
August 30, 2024 21:31 51m 42s
A new implementation in Lean 4 Build and Test #597: Pull request #672 synchronize by loredanacirstea
August 30, 2024 19:13 54m 27s loredanacirstea:lean4
loredanacirstea:lean4
August 30, 2024 19:13 54m 27s
A new implementation in Lean 4 Build and Test #596: Pull request #672 synchronize by loredanacirstea
August 30, 2024 18:27 52m 38s loredanacirstea:lean4
loredanacirstea:lean4
August 30, 2024 18:27 52m 38s
A new implementation in Lean 4 Build and Test #595: Pull request #672 synchronize by loredanacirstea
August 30, 2024 16:32 56m 6s loredanacirstea:lean4
loredanacirstea:lean4
August 30, 2024 16:32 56m 6s
A new implementation in Lean 4 Build and Test #594: Pull request #672 synchronize by loredanacirstea
August 30, 2024 00:02 52m 56s loredanacirstea:lean4
loredanacirstea:lean4
August 30, 2024 00:02 52m 56s
A new implementation in Lean 4 Build and Test #593: Pull request #672 synchronize by loredanacirstea
August 29, 2024 23:55 53m 35s loredanacirstea:lean4
loredanacirstea:lean4
August 29, 2024 23:55 53m 35s
A new implementation in Lean 4 Build and Test #592: Pull request #672 synchronize by loredanacirstea
August 29, 2024 15:55 53m 48s loredanacirstea:lean4
loredanacirstea:lean4
August 29, 2024 15:55 53m 48s
chuck: Fix soft-fail for with-meta Build and Test #591: Commit 43ae30f pushed by wasamasa
August 28, 2024 23:58 1m 56s master
master
August 28, 2024 23:58 1m 56s
pages build and deployment pages-build-deployment #63: by wasamasa
August 28, 2024 23:58 39s
August 28, 2024 23:58 39s
DEBUG: test all four get-changed-files conditions Build and Test #590: Commit 9b0e3b2 pushed by kanaka
August 28, 2024 21:28 1m 13s get-changed-files-node-20
get-changed-files-node-20
August 28, 2024 21:28 1m 13s
DEBUG: test all four change-file conditions. Build and Test #589: Commit 69767de pushed by kanaka
August 28, 2024 21:24 1m 24s get-changed-files-node-20
get-changed-files-node-20
August 28, 2024 21:24 1m 24s
npm_and_yarn in /ts for tough-cookie - Update #875649299 Dependabot Updates #13: by dependabot bot
August 28, 2024 21:21 47s
August 28, 2024 21:21 47s
Update to newer get-changed-files. Build and Test #588: Commit f30f32f pushed by kanaka
August 28, 2024 21:21 1m 26s master
master
August 28, 2024 21:21 1m 26s
pages build and deployment pages-build-deployment #62: by kanaka
August 28, 2024 21:21 34s
August 28, 2024 21:21 34s
DEBUG: test all four change-file conditions. Build and Test #587: Commit e7c994e pushed by kanaka
August 28, 2024 21:16 1m 18s get-changed-files-node-20
get-changed-files-node-20
August 28, 2024 21:16 1m 18s
Update to newer get-changed-files. Build and Test #586: Commit baba785 pushed by kanaka
August 28, 2024 21:14 1m 22s get-changed-files-node-20
get-changed-files-node-20
August 28, 2024 21:14 1m 22s
WIP: test remove and rename. Build and Test #585: Commit 09b6e14 pushed by kanaka
August 28, 2024 21:09 1m 2s get-changed-files-node-20
get-changed-files-node-20
August 28, 2024 21:09 1m 2s
chuck: Rework internal representation for perf Build and Test #584: Commit 02299da pushed by wasamasa
August 28, 2024 21:08 4m 0s master
master
August 28, 2024 21:08 4m 0s
pages build and deployment pages-build-deployment #61: by wasamasa
August 28, 2024 21:08 40s
August 28, 2024 21:08 40s
WIP: try changing just zig. Build and Test #583: Commit 009d867 pushed by kanaka
August 28, 2024 21:06 1m 46s get-changed-files-node-20
get-changed-files-node-20
August 28, 2024 21:06 1m 46s
Update to newer get-changed-files. Build and Test #582: Commit ed0484f pushed by kanaka
August 28, 2024 21:04 1m 26s get-changed-files-node-20
get-changed-files-node-20
August 28, 2024 21:04 1m 26s
npm_and_yarn in /ts for tough-cookie - Update #875618683 Dependabot Updates #12: by dependabot bot
August 28, 2024 19:44 2m 46s
August 28, 2024 19:44 2m 46s
docs/graph: script fixes (e.g. GHA). Update all data Build and Test #581: Commit 74410ca pushed by kanaka
August 28, 2024 19:44 1m 56s master
master
August 28, 2024 19:44 1m 56s
pages build and deployment pages-build-deployment #60: by kanaka
August 28, 2024 19:44 44s
August 28, 2024 19:44 44s
A new implementation in Lean 4 Build and Test #580: Pull request #672 synchronize by loredanacirstea
August 28, 2024 19:38 55m 2s loredanacirstea:lean4
loredanacirstea:lean4
August 28, 2024 19:38 55m 2s