Skip to content

Actions: TWal/comparse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: use prop wherever possible .github/workflows/nix.yml #14: Commit bedffbc pushed by TWal
January 9, 2025 12:38 17s main
main
January 9, 2025 12:38 17s
fix: use prop wherever possible .github/workflows/nix.yml #13: Commit bedffbc pushed by TWal
January 9, 2025 10:54 41m 42s pre-main
pre-main
January 9, 2025 10:54 41m 42s
chore: updating for new F* build (#1) .github/workflows/nix.yml #12: Commit 8e8269e pushed by TWal
January 9, 2025 10:50 16s main
main
January 9, 2025 10:50 16s
update flake .github/workflows/nix.yml #11: Commit d5ad7b2 pushed by TWal
January 9, 2025 09:51 56m 44s dev
dev
January 9, 2025 09:51 56m 44s
fix: relax type for mk_parseable_serializeable .github/workflows/nix.yml #10: Commit b3e557f pushed by TWal
November 8, 2024 09:42 17s main
main
November 8, 2024 09:42 17s
fix: relax type for mk_parseable_serializeable .github/workflows/nix.yml #9: Commit b3e557f pushed by TWal
November 7, 2024 21:30 46m 59s pre-main
pre-main
November 7, 2024 21:30 46m 59s
chore: update F* .github/workflows/nix.yml #8: Commit 66471ca pushed by TWal
September 17, 2024 20:22 17s main
main
September 17, 2024 20:22 17s
chore: update F* .github/workflows/nix.yml #7: Commit 66471ca pushed by TWal
September 17, 2024 19:12 41m 22s ci
ci
September 17, 2024 19:12 41m 22s