Skip to content

Actions: h0nzZik/minuska

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
441 workflow runs
441 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #5 from h0nzZik/dist-fedora Build and profile and CoqDoc #341: Commit 6769968 pushed by h0nzZik
April 21, 2024 20:30 6m 3s main
main
April 21, 2024 20:30 6m 3s
dist/ but the packages are not there yet Build and profile and CoqDoc #340: Pull request #5 opened by h0nzZik
April 21, 2024 17:29 5m 36s dist-fedora
dist-fedora
April 21, 2024 17:29 5m 36s
Merge pull request #4 from h0nzZik/dist-doc Build and profile and CoqDoc #339: Commit c3a1754 pushed by h0nzZik
April 21, 2024 17:15 5m 50s main
main
April 21, 2024 17:15 5m 50s
Documentation; update flake; wip vagrant Build and profile and CoqDoc #338: Pull request #4 synchronize by h0nzZik
April 21, 2024 17:09 5m 45s dist-doc
dist-doc
April 21, 2024 17:09 5m 45s
Documentation; update flake; wip vagrant Build and profile and CoqDoc #337: Pull request #4 synchronize by h0nzZik
April 21, 2024 16:57 9m 44s dist-doc
dist-doc
April 21, 2024 16:57 9m 44s
Documentation; update flake; wip vagrant Build and profile and CoqDoc #336: Pull request #4 synchronize by h0nzZik
April 21, 2024 16:54 6m 46s dist-doc
dist-doc
April 21, 2024 16:54 6m 46s
Documentation; update flake; wip vagrant Build and profile and CoqDoc #335: Pull request #4 synchronize by h0nzZik
April 21, 2024 16:50 5m 42s dist-doc
dist-doc
April 21, 2024 16:50 5m 42s
Documentation; update flake; wip vagrant Build and profile and CoqDoc #334: Pull request #4 opened by h0nzZik
April 21, 2024 16:27 5m 35s dist-doc
dist-doc
April 21, 2024 16:27 5m 35s
Merge pull request #3 from h0nzZik/bench-1 Build and profile and CoqDoc #333: Commit d75e3dc pushed by h0nzZik
April 21, 2024 12:18 5m 51s main
main
April 21, 2024 12:18 5m 51s
benchmarks Build and profile and CoqDoc #332: Pull request #3 synchronize by h0nzZik
April 21, 2024 11:52 5m 33s bench-1
bench-1
April 21, 2024 11:52 5m 33s
benchmarks Build and profile and CoqDoc #331: Pull request #3 opened by h0nzZik
April 21, 2024 11:37 5m 32s bench-1
bench-1
April 21, 2024 11:37 5m 32s
Merge pull request #2 from h0nzZik/example-imp Build and profile and CoqDoc #330: Commit 177e6d7 pushed by h0nzZik
April 21, 2024 10:09 5m 45s main
main
April 21, 2024 10:09 5m 45s
example: count to 10 Build and profile and CoqDoc #329: Pull request #2 opened by h0nzZik
April 21, 2024 08:48 5m 37s example-imp
example-imp
April 21, 2024 08:48 5m 37s
forgotten files Build and profile and CoqDoc #328: Commit 0575d68 pushed by h0nzZik
April 21, 2024 08:22 5m 55s main
main
April 21, 2024 08:22 5m 55s
fix tests Build and profile and CoqDoc #327: Commit 1afa1f9 pushed by h0nzZik
April 21, 2024 08:13 5m 24s main
main
April 21, 2024 08:13 5m 24s
cleanup & fix the build Build and profile and CoqDoc #326: Commit cacfb5a pushed by h0nzZik
April 21, 2024 07:55 5m 17s main
main
April 21, 2024 07:55 5m 17s
finally Build and profile and CoqDoc #325: Commit 00ae73a pushed by h0nzZik
April 20, 2024 17:59 4m 2s main
main
April 20, 2024 17:59 4m 2s
fix decode encode even more Build and profile and CoqDoc #324: Commit c27ef18 pushed by h0nzZik
April 20, 2024 17:32 5m 24s main
main
April 20, 2024 17:32 5m 24s
better encode/decode of builtin values Build and profile and CoqDoc #323: Commit dd357ba pushed by h0nzZik
April 20, 2024 17:25 5m 20s main
main
April 20, 2024 17:25 5m 20s
WIP changes Build and profile and CoqDoc #322: Commit 63e2651 pushed by h0nzZik
April 20, 2024 15:53 5m 30s main
main
April 20, 2024 15:53 5m 30s
WIP imp Build and profile and CoqDoc #321: Commit 8165e3f pushed by h0nzZik
April 20, 2024 07:12 5m 45s main
main
April 20, 2024 07:12 5m 45s
a check that invalid semantics does not compile Build and profile and CoqDoc #320: Commit 3c2c0f4 pushed by h0nzZik
April 20, 2024 06:34 5m 37s main
main
April 20, 2024 06:34 5m 37s
RewritingTheory2_wf_heuristics Build and profile and CoqDoc #319: Commit ee32851 pushed by h0nzZik
April 20, 2024 05:53 4m 44s main
main
April 20, 2024 05:53 4m 44s
Merge pull request #1 from h0nzZik/contexts Build and profile and CoqDoc #318: Commit 3d2c435 pushed by h0nzZik
April 19, 2024 16:47 4m 39s main
main
April 19, 2024 16:47 4m 39s
Contexts, builtin ints Build and profile and CoqDoc #317: Pull request #1 synchronize by h0nzZik
April 19, 2024 16:41 4m 22s contexts
contexts
April 19, 2024 16:41 4m 22s