Skip to content

Actions: h0nzZik/minuska

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
440 workflow runs
440 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Towards concrete syntax parser integration Build and profile and CoqDoc #390: Pull request #20 synchronize by h0nzZik
June 27, 2024 17:51 1m 28s parsing-integration-1
parsing-integration-1
June 27, 2024 17:51 1m 28s
Towards concrete syntax parser integration Build and profile and CoqDoc #389: Pull request #20 synchronize by h0nzZik
June 27, 2024 17:25 1m 30s parsing-integration-1
parsing-integration-1
June 27, 2024 17:25 1m 30s
Towards concrete syntax parser integration Build and profile and CoqDoc #388: Pull request #20 synchronize by h0nzZik
June 27, 2024 17:15 1m 52s parsing-integration-1
parsing-integration-1
June 27, 2024 17:15 1m 52s
Towards concrete syntax parser integration Build and profile and CoqDoc #387: Pull request #20 synchronize by h0nzZik
June 27, 2024 17:13 1m 14s parsing-integration-1
parsing-integration-1
June 27, 2024 17:13 1m 14s
Towards concrete syntax parser integration Build and profile and CoqDoc #386: Pull request #20 synchronize by h0nzZik
June 27, 2024 16:43 1m 17s parsing-integration-1
parsing-integration-1
June 27, 2024 16:43 1m 17s
Towards concrete syntax parser integration Build and profile and CoqDoc #385: Pull request #20 synchronize by h0nzZik
June 27, 2024 16:29 1m 9s parsing-integration-1
parsing-integration-1
June 27, 2024 16:29 1m 9s
Towards concrete syntax parser integration Build and profile and CoqDoc #384: Pull request #20 synchronize by h0nzZik
June 27, 2024 16:13 1m 16s parsing-integration-1
parsing-integration-1
June 27, 2024 16:13 1m 16s
Towards concrete syntax parser integration Build and profile and CoqDoc #383: Pull request #20 synchronize by h0nzZik
June 27, 2024 15:59 5m 58s parsing-integration-1
parsing-integration-1
June 27, 2024 15:59 5m 58s
Towards concrete syntax parser integration Build and profile and CoqDoc #382: Pull request #20 synchronize by h0nzZik
June 27, 2024 13:31 7m 38s parsing-integration-1
parsing-integration-1
June 27, 2024 13:31 7m 38s
Towards concrete syntax parser integration Build and profile and CoqDoc #381: Pull request #20 synchronize by h0nzZik
June 27, 2024 13:16 5m 46s parsing-integration-1
parsing-integration-1
June 27, 2024 13:16 5m 46s
Towards concrete syntax parser integration Build and profile and CoqDoc #380: Pull request #20 synchronize by h0nzZik
June 26, 2024 20:24 1m 13s parsing-integration-1
parsing-integration-1
June 26, 2024 20:24 1m 13s
Towards concrete syntax parser integration Build and profile and CoqDoc #379: Pull request #20 synchronize by h0nzZik
June 26, 2024 17:34 7m 10s parsing-integration-1
parsing-integration-1
June 26, 2024 17:34 7m 10s
Towards concrete syntax parser integration Build and profile and CoqDoc #378: Pull request #20 synchronize by h0nzZik
June 26, 2024 16:47 5m 4s parsing-integration-1
parsing-integration-1
June 26, 2024 16:47 5m 4s
Towards concrete syntax parser integration Build and profile and CoqDoc #377: Pull request #20 synchronize by h0nzZik
June 26, 2024 16:33 5m 14s parsing-integration-1
parsing-integration-1
June 26, 2024 16:33 5m 14s
Towards concrete syntax parser integration Build and profile and CoqDoc #376: Pull request #20 synchronize by h0nzZik
June 26, 2024 14:40 1m 6s parsing-integration-1
parsing-integration-1
June 26, 2024 14:40 1m 6s
Towards concrete syntax parser integration Build and profile and CoqDoc #375: Pull request #20 opened by h0nzZik
June 25, 2024 21:55 11m 11s parsing-integration-1
parsing-integration-1
June 25, 2024 21:55 11m 11s
Merge pull request #19 from h0nzZik/symex-4 Build and profile and CoqDoc #374: Commit 7a48358 pushed by h0nzZik
June 25, 2024 21:50 10m 25s main
main
June 25, 2024 21:50 10m 25s
Another Symbolic Execution Lemma Build and profile and CoqDoc #373: Pull request #19 opened by h0nzZik
June 25, 2024 21:42 7m 39s symex-4
symex-4
June 25, 2024 21:42 7m 39s
login Build and profile and CoqDoc #372: Commit 076534b pushed by h0nzZik
June 25, 2024 14:25 6m 45s main
main
June 25, 2024 14:25 6m 45s
try fix Build and profile and CoqDoc #371: Commit 379ef7f pushed by h0nzZik
June 25, 2024 07:53 2m 51s main
main
June 25, 2024 07:53 2m 51s
lowercase :-/ Build and profile and CoqDoc #370: Commit 0e0a7a1 pushed by h0nzZik
June 25, 2024 07:48 2m 41s main
main
June 25, 2024 07:48 2m 41s
try docker image import Build and profile and CoqDoc #369: Commit 8334706 pushed by h0nzZik
June 25, 2024 07:41 2m 40s main
main
June 25, 2024 07:41 2m 40s
Merge pull request #18 from h0nzZik/nix-docker-3 Build and profile and CoqDoc #368: Commit 19812b6 pushed by h0nzZik
June 25, 2024 07:19 8m 28s main
main
June 25, 2024 07:19 8m 28s
fix docker image tag command Build and profile and CoqDoc #367: Pull request #18 opened by h0nzZik
June 25, 2024 07:19 1m 31s nix-docker-3
nix-docker-3
June 25, 2024 07:19 1m 31s
Merge pull request #17 from h0nzZik/nix-docker-2 Build and profile and CoqDoc #366: Commit b33717b pushed by h0nzZik
June 25, 2024 07:14 2m 39s main
main
June 25, 2024 07:14 2m 39s