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

Update example link in readme Build and profile and CoqDoc #441: Pull request #29 opened by raymyers
September 14, 2024 06:22 Action required raymyers:main
raymyers:main
September 14, 2024 06:22 Action required
Support for nondeterminism in language specifications (#28) Build and profile and CoqDoc #440: Commit 65f49b2 pushed by h0nzZik
July 10, 2024 17:55 13m 49s main
main
July 10, 2024 17:55 13m 49s
Support for nondeterminism in language specifications Build and profile and CoqDoc #439: Pull request #28 synchronize by h0nzZik
July 10, 2024 17:39 6m 23s nondet
nondet
July 10, 2024 17:39 6m 23s
Support for nondeterminism in language specifications Build and profile and CoqDoc #438: Pull request #28 synchronize by h0nzZik
July 10, 2024 17:06 5m 56s nondet
nondet
July 10, 2024 17:06 5m 56s
Support for nondeterminism in language specifications Build and profile and CoqDoc #437: Pull request #28 synchronize by h0nzZik
July 10, 2024 15:32 6m 34s nondet
nondet
July 10, 2024 15:32 6m 34s
Support for nondeterminism in language specifications Build and profile and CoqDoc #436: Pull request #28 synchronize by h0nzZik
July 10, 2024 14:16 5m 59s nondet
nondet
July 10, 2024 14:16 5m 59s
Support for nondeterminism in language specifications Build and profile and CoqDoc #435: Pull request #28 synchronize by h0nzZik
July 9, 2024 21:19 5m 28s nondet
nondet
July 9, 2024 21:19 5m 28s
Support for nondeterminism in language specifications Build and profile and CoqDoc #434: Pull request #28 opened by h0nzZik
July 9, 2024 17:28 8m 5s nondet
nondet
July 9, 2024 17:28 8m 5s
More cleanup (#27) Build and profile and CoqDoc #433: Commit dce78bb pushed by h0nzZik
July 6, 2024 19:36 13m 11s main
main
July 6, 2024 19:36 13m 11s
More cleanup Build and profile and CoqDoc #432: Pull request #27 synchronize by h0nzZik
July 6, 2024 19:24 8m 52s rm-lowlang-2
rm-lowlang-2
July 6, 2024 19:24 8m 52s
More cleanup Build and profile and CoqDoc #431: Pull request #27 synchronize by h0nzZik
July 6, 2024 19:09 3m 45s rm-lowlang-2
rm-lowlang-2
July 6, 2024 19:09 3m 45s
More cleanup Build and profile and CoqDoc #430: Pull request #27 opened by h0nzZik
July 6, 2024 18:48 8m 54s rm-lowlang-2
rm-lowlang-2
July 6, 2024 18:48 8m 54s
Merge pull request #26 from h0nzZik/rm-lowlang Build and profile and CoqDoc #429: Commit de73b75 pushed by h0nzZik
July 6, 2024 17:32 13m 43s main
main
July 6, 2024 17:32 13m 43s
Rm lowlang (1) Build and profile and CoqDoc #428: Pull request #26 synchronize by h0nzZik
July 6, 2024 17:19 8m 49s rm-lowlang
rm-lowlang
July 6, 2024 17:19 8m 49s
Rm lowlang (1) Build and profile and CoqDoc #427: Pull request #26 synchronize by h0nzZik
July 6, 2024 15:30 7m 5s rm-lowlang
rm-lowlang
July 6, 2024 15:30 7m 5s
Rm lowlang (1) Build and profile and CoqDoc #426: Pull request #26 opened by h0nzZik
July 6, 2024 14:45 4m 8s rm-lowlang
rm-lowlang
July 6, 2024 14:45 4m 8s
Merge pull request #25 from h0nzZik/fix-missing-dep Build and profile and CoqDoc #425: Commit be1776a pushed by h0nzZik
June 30, 2024 11:50 11m 1s main
main
June 30, 2024 11:50 11m 1s
fix build-and-profile Build and profile and CoqDoc #424: Pull request #25 opened by h0nzZik
June 30, 2024 11:41 8m 37s fix-missing-dep
fix-missing-dep
June 30, 2024 11:41 8m 37s
Merge pull request #24 from h0nzZik/nicer-benchmarks-3 Build and profile and CoqDoc #423: Commit eff132b pushed by h0nzZik
June 29, 2024 18:37 10m 57s main
main
June 29, 2024 18:37 10m 57s
Nicer benchmarks 3 Build and profile and CoqDoc #422: Pull request #24 synchronize by h0nzZik
June 29, 2024 18:32 4m 53s nicer-benchmarks-3
nicer-benchmarks-3
June 29, 2024 18:32 4m 53s
Nicer benchmarks 3 Build and profile and CoqDoc #421: Pull request #24 synchronize by h0nzZik
June 29, 2024 18:15 5m 52s nicer-benchmarks-3
nicer-benchmarks-3
June 29, 2024 18:15 5m 52s
Nicer benchmarks 3 Build and profile and CoqDoc #420: Pull request #24 synchronize by h0nzZik
June 29, 2024 16:57 8m 33s nicer-benchmarks-3
nicer-benchmarks-3
June 29, 2024 16:57 8m 33s
Nicer benchmarks 3 Build and profile and CoqDoc #419: Pull request #24 opened by h0nzZik
June 29, 2024 16:55 1m 40s nicer-benchmarks-3
nicer-benchmarks-3
June 29, 2024 16:55 1m 40s
Merge pull request #23 from h0nzZik/nicer-benchmarks-2 Build and profile and CoqDoc #418: Commit 977cd4f pushed by h0nzZik
June 29, 2024 16:47 12m 53s main
main
June 29, 2024 16:47 12m 53s
Nicer benchmarks 2 Build and profile and CoqDoc #417: Pull request #23 synchronize by h0nzZik
June 29, 2024 16:34 6m 36s nicer-benchmarks-2
nicer-benchmarks-2
June 29, 2024 16:34 6m 36s