Skip to content

Actions: programmersd21/flint

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
40 workflow runs
40 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: pin ubuntu-24.04, checkout@v5 ci #40: Commit db70c23 pushed by programmersd21
2m 4s main
main
2m 4s
ci: pin clang-format to the LLVM major, show diffs on fmt failure ci #39: Commit 24eac82 pushed by programmersd21
2m 6s main
main
2m 6s
imports that enforce themselves: unused is an error, missing suggests… ci #38: Commit 007cd10 pushed by programmersd21
1m 55s main
main
1m 55s
0.6.1: num(), make install, and the docs to match ci #37: Commit bc62792 pushed by programmersd21
1m 29s main
main
1m 29s
0.6.0: format the last three files so make fmt-check passes ci #36: Commit 27ade6a pushed by programmersd21
1m 44s main
main
1m 44s
0.6.1: docs/modules.md lost its trailing newline ci #35: Commit 75d9913 pushed by programmersd21
2m 11s main
main
2m 11s
0.6.0: documentation, and the breaking change stated in it ci #34: Commit 57aef7d pushed by programmersd21
2m 4s main
main
2m 4s
Revise README for clarity and conciseness ci #33: Commit c6d1e47 pushed by programmersd21
1m 55s main
main
1m 55s
lint: free before_keys/vals on the bag-grow error path, drop noisy na… ci #32: Commit 63e6e15 pushed by programmersd21
2m 53s main
main
2m 53s
lint: fix what clang-tidy found once it was actually running ci #31: Commit 0accc04 pushed by programmersd21
2m 1s main
main
2m 1s
ci: pin clang-tidy to a version that exists in the apt repo ci #30: Commit 38d1822 pushed by programmersd21
1m 44s main
main
1m 44s
ci: make make lint actually run, and get it to pass ci #29: Commit 505c6f4 pushed by programmersd21
1m 14s main
main
1m 14s
build: include stdint.h in object.c for UINT64_C ci #28: Commit 75e3ee5 pushed by programmersd21
1m 19s main
main
1m 19s
build: fix clang -Wnewline-eof, and close the CI gaps that hid it ci #27: Commit 4ec860c pushed by programmersd21
1m 27s main
main
1m 27s
build: make lint passes clean ci #26: Commit 0d8dd18 pushed by programmersd21
26s main
main
26s
docs: em dashes to double hyphens ci #25: Commit 6c48c19 pushed by programmersd21
41s main
main
41s
docs: spec and values describe content equality, not interning ci #24: Commit f785b37 pushed by programmersd21
29s main
main
29s
v0.5.0: documentation, benchmark methodology, release ci #23: Commit 9a2fe06 pushed by programmersd21
1m 56s main
main
1m 56s
runtime: fix header includes and linkage in jsonp and sys ci #22: Commit f7fc6b0 pushed by programmersd21
38s main
main
38s
bench: re-run full suite and update RESULTS.md for v0.4.0 ci #21: Commit 0207c2e pushed by programmersd21
33s main
main
33s
build: remove flint-libraries gitlink and ignore entry ci #20: Commit 83765e4 pushed by programmersd21
50s main
main
50s
release: v0.4.0 documentation, tests, workflow, and stdlib fixes ci #19: Commit b840594 pushed by programmersd21
31s main
main
31s
path: a module written in flint, and the __slice it needed ci #18: Commit 432db26 pushed by programmersd21
31s main
main
31s
math: the correctness tests and the example ci #17: Commit 654e93e pushed by programmersd21
27s main
main
27s
stdlib: a module path, a real math module, and 'import math' ci #16: Commit 6f40995 pushed by programmersd21
32s main
main
32s