Skip to content

Actions: CatalaLang/dates-calc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3 from AltGr/main Main workflow #38: Commit 9125d78 pushed by rmonat
October 14, 2024 13:52 9m 50s 0.0.7
0.0.7
October 14, 2024 13:52 9m 50s
pages build and deployment pages-build-deployment #6: by github-pages bot
September 25, 2024 17:46 29s
September 25, 2024 17:46 29s
Merge pull request #3 from AltGr/main Main workflow #37: Commit 9125d78 pushed by rmonat
September 25, 2024 17:39 9m 17s main
main
September 25, 2024 17:39 9m 17s
Add C implementation; separate and package Python and C implementations Main workflow #36: Pull request #3 synchronize by AltGr
September 25, 2024 17:08 4m 40s AltGr:main
AltGr:main
September 25, 2024 17:08 4m 40s
Add C implementation; separate and package Python and C implementations Main workflow #35: Pull request #3 synchronize by AltGr
September 25, 2024 17:01 6m 25s AltGr:main
AltGr:main
September 25, 2024 17:01 6m 25s
Add C tests (and fix them) Main workflow #34: Commit b5278c6 pushed by AltGr
September 25, 2024 17:00 6m 27s add-c-implem
add-c-implem
September 25, 2024 17:00 6m 27s
Complete the C interface Main workflow #33: Commit 018e8f3 pushed by AltGr
September 11, 2024 10:00 9m 41s add-c-implem
add-c-implem
September 11, 2024 10:00 9m 41s
Add C implementation; separate and package Python and C implementations Main workflow #32: Pull request #3 opened by AltGr
September 11, 2024 09:37 4m 3s AltGr:main
AltGr:main
September 11, 2024 09:37 4m 3s
pages build and deployment pages-build-deployment #5: by github-pages bot
May 17, 2024 09:31 26s
May 17, 2024 09:31 26s
Fix paper link Main workflow #31: Commit c6ba4be pushed by AltGr
May 17, 2024 09:25 7m 4s 0.0.6
0.0.6
May 17, 2024 09:25 7m 4s
Fix paper link Main workflow #30: Commit c6ba4be pushed by R1kM
April 17, 2024 15:32 7m 2s main
main
April 17, 2024 15:32 7m 2s
Update README to add link to paper Main workflow #29: Commit 80dc217 pushed by R1kM
April 17, 2024 15:31 7m 7s main
main
April 17, 2024 15:31 7m 7s
pages build and deployment pages-build-deployment #4: by github-pages bot
March 26, 2024 15:57 43s
March 26, 2024 15:57 43s
Merge pull request #2 from AltGr/nostr Main workflow #28: Commit c409b7d pushed by rmonat
March 26, 2024 15:50 7m 10s main
main
March 26, 2024 15:50 7m 10s
Avoid using Str Main workflow #27: Pull request #2 opened by AltGr
March 26, 2024 14:29 4m 20s AltGr:nostr
AltGr:nostr
March 26, 2024 14:29 4m 20s
Remove stale txt file Main workflow #26: Commit 0dcb42e pushed by R1kM
January 3, 2024 12:53 6m 55s main
main
January 3, 2024 12:53 6m 55s
Remove stale txt file Main workflow #25: Commit 0dcb42e pushed by R1kM
January 3, 2024 12:53 3m 38s artefact
artefact
January 3, 2024 12:53 3m 38s
Finish last auxiliary lemmas: Main workflow #24: Commit 5e034bf pushed by R1kM
January 3, 2024 12:26 4m 34s artefact
artefact
January 3, 2024 12:26 4m 34s
Prove lemma6 Main workflow #23: Commit 9a0fe1e pushed by R1kM
January 3, 2024 12:00 3m 40s artefact
artefact
January 3, 2024 12:00 3m 40s
Lemma5_month Main workflow #22: Commit bb5e90f pushed by R1kM
January 3, 2024 10:42 7m 9s artefact
artefact
January 3, 2024 10:42 7m 9s
State all theorems as in the paper Main workflow #21: Commit 63f3155 pushed by R1kM
December 17, 2023 19:43 4m 0s artefact
artefact
December 17, 2023 19:43 4m 0s
pages build and deployment pages-build-deployment #3: by github-pages bot
December 17, 2023 18:12 31s
December 17, 2023 18:12 31s
Update and comment semantics Main workflow #20: Commit 4adeaf7 pushed by R1kM
December 17, 2023 18:05 6m 57s artefact
artefact
December 17, 2023 18:05 6m 57s
Merge pull request #1 from CatalaLang/python Main workflow #19: Commit 84e2157 pushed by rmonat
November 10, 2023 14:01 6m 50s 0.0.5
0.0.5
November 10, 2023 14:01 6m 50s
pages build and deployment pages-build-deployment #2: by rmonat
November 10, 2023 13:58 35s
November 10, 2023 13:58 35s