Skip to content

Commit

Permalink
Publish papers and specs on push to master only (#6246)
Browse files Browse the repository at this point in the history
  • Loading branch information
zeme-wana authored Jun 26, 2024
1 parent 5579d34 commit d3a42f2
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .github/workflows/papers-and-specs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,10 @@
name: "📝 Papers & Specs"

on:
pull_request:
workflow_dispatch:
push:
branches:
- master

jobs:
deploy:
Expand Down

1 comment on commit d3a42f2

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Plutus Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.05.

Benchmark suite Current: d3a42f2 Previous: 5579d34 Ratio
nofib-primetest/40digits 82250 μs 78060 μs 1.05
nofib-primetest/50digits 100300 μs 94770 μs 1.06

This comment was automatically generated by workflow using github-action-benchmark.

CC: @IntersectMBO/plutus-core

Please sign in to comment.